جست‌وجوی استاد و پژوهشگر

Ahmet Erolمشاهده پروفایل

استاد

• Tax Law
• Financial Law
• Public Law
• +۴ مورد دیگر

Ahmet Erol is a full Professor of Law at Yeditepe University, Faculty of Law , specializing in Tax Law and Financial Law . He concurrently served as Dean at Beykent University Faculty of Law in 2022 and has previously held professorial and associate professorial positions at Kadir Has University and Yeditepe University . Education PhD in Finance, Institute of Social Sciences, Istanbul University (1999–2002) Thesis: “Restructuring of the financial and economic units of the state in Turkey 1980–1990” MA in Economics, Institute of Social Sciences, Istanbul University (1984–1992) Thesis: “Government debt in Turkey in terms of its economic effects (1981–1990)” BA in Business Administration, Marmara University, Faculty of Economics and Administrative Sciences (1980–1984) Research Interests Prof. Erol’s research spans the entire spectrum of Turkish and comparative tax law , with particular emphasis on: constitutional and administrative dimensions of taxation; banking, finance, and capital markets taxation; international taxation, including transfer pricing and double-tax treaties; digital economy, e-commerce, and social-media taxation; tax procedure, taxpayer rights, and dispute-resolution mechanisms. He has authored more than thirty monographs and one hundred scholarly articles , consistently addressing emerging fiscal challenges posed by technological innovation and globalization. Awards & Honors While specific named awards are not listed, Prof. Erol’s prolific publication record in TR DİZİN and SSCI-indexed journals, invitation to deliver keynote addresses at national and international conferences, and appointment to deanships collectively testify to his scholarly distinction. Advising & Grants He has supervised five master’s theses to completion at Kadir Has University and Beykent University , covering topics from financial development and economic growth to constitutional limits on tax-rate authority. His research has been supported by institutional grants from Istanbul University , Maliye Bakanlığı , and TOBB . Laboratories & Teams Although no dedicated laboratory is mentioned, Prof. Erol leads a research cluster on Tax Policy and Constitutional Law within Yeditepe University’s Faculty of Law, collaborating closely with doctoral candidates and external tax practitioners.

Christian Braunerمشاهده پروفایل

استاد

• Fiber Composites
• Lightweight Construction
• Manufacturing Simulation
• +۳ مورد دیگر

Prof. Dr. Christian Brauner serves as a Professor and Group Leader of the Structural Mechanics group (Lightweight Construction and Fiber Composite Technologies) at the Institute of Polymer Technology within the School of Engineering and the Environment at the University of Applied Sciences Northwestern Switzerland (FHNW). He has held this position since 2017 and concurrently serves as Chairman of the Board of Composite United Switzerland since 2018. His educational background includes a Diploma in Mechanical Engineering (Dipl.-Ing. FH) from Bielefeld University of Applied Sciences (1991-2005) and a Master’s degree (M.Sc.) in “Computer Aided Mechanical Engineering” from FH Flensburg (2006-2008). He completed his doctorate at the University of Bremen on numerical methods for manufacturing process modeling. Prof. Brauner's research focuses on fiber composite design methods, manufacturing simulation (draping, infusion, curing, warping), multiphysical modeling, and material development. He specializes in Production 4.0 integration—virtually mapping manufacturing processes with online monitoring systems. Current projects include infrared curing of thermoset composites, ultrasonic welding techniques, fatigue testing of dynamically loaded components, and high-temperature aerospace composites. His work spans automotive, marine, medical devices, and footwear applications, demonstrating cross-industry relevance of composite technologies. He leads multiple research initiatives including the EU project on high-temperature aviation composites, SuCoHS (sustainable composites), and Filapodo (patient-specific orthopedic filaments). As initiator of the NTN Innovation Booster Plastics for Zero Emission (since 2022), he drives sustainability in plastics engineering while teaching advanced composites courses across FHNW’s academic programs. Prof. Brauner heads the Structural Mechanics group at FHNW’s Institute of Polymer Technology, leveraging experience from building an eight-person department at Bremen’s Fiber Institute where he developed simulation methods to replace empirical industrial practices with knowledge-based manufacturing planning.

• Digital education
• Sociology of technology
• Education policy
• +۱۱ مورد دیگر

Professor Sandra Leaton Gray is a distinguished academic at University College London (UCL), where she serves as Professor of Education Futures at the UCL Institute of Education (IOE) within the Curriculum, Pedagogy & Assessment department. She also holds significant governance roles as a member of the UCL Council, the main governing body of the university, and as a Senior Member of Wolfson College, University of Cambridge. Her academic career spans multiple institutions including the University of East Anglia and the University of Cambridge, with a consistent focus on the intersection of education, technology, and social policy. Professor Leaton Gray's educational background includes: Doctor of Philosophy from University of Cambridge (2004) Master of Philosophy from University of Cambridge (1999) ATQ07 - Holder of a PGCE in higher education, secondary education, further education, lifelong learning from Roehampton University (1993) Her research interests center on the sociology of technology and its impact on children and young people, with particular emphasis on AI ethics in educational contexts. She explores education futures, the future of assessment, educational testing, and curriculum reform through a critical lens that considers digital ethics, children's biometrics, and the knowledge economy. Her work addresses pressing contemporary issues including the recovery from the COVID-19 pandemic's impact on education systems, with a strong commitment to addressing educational inequality and promoting democratic values in technologically mediated learning environments. Professor Leaton Gray approaches these topics through the frameworks of sociology, policy analysis, and educational futures thinking, always with attention to the lived experiences of learners in digital contexts. Professor Leaton Gray's extensive publication record reveals a clear trajectory of increasing focus on digital technologies in education, particularly AI and biometrics, while maintaining her foundational interest in educational sociology and policy. Her recent work demonstrates a sophisticated understanding of how technological systems intersect with power structures in educational assessment and how these dynamics impact equity and access. The growing emphasis on AI in her recent publications reflects both the rapid development of educational technologies and her strategic positioning at the forefront of critical analysis of these innovations. Professor Leaton Gray has received numerous professional recognitions: Fellow of the College of Teachers (since 2007) Fellow of the Incorporated Society of Musicians (since 1993) Fellow of the London College of Music (since 1990) Principal Fellow of the Higher Education Academy (since 2005) Senior Member of Wolfson College, University of Cambridge (since 2006) As an advisor and consultant, Professor Leaton Gray has significantly influenced education policy at national and international levels, working with organizations including the UN, UK Government, EU Commission, OECD, Royal Colleges of Medicine, British Dental Association, International Baccalaureate Organisation, BBC, Channel 4, Pearson, and the Biometrics Institute. Her current role as Researcher in Residence at the University of Passau, Germany (2024-2025) leading the project 'Education Futures: Visions of Artificial Intelligence, Biometrics and Digital Surveillance within Bavarian Schools' demonstrates her ongoing commitment to shaping educational practices through research. She has also directed significant projects including the 'My Life Online' research project, the 'Future of the Artificially Intelligent Examination,' and the 'Optimising 2020 secondary school transition processes during the Covid-19 pandemic.' Professor Leaton Gray is actively involved in several important governance and advisory roles that extend her influence beyond traditional academic boundaries. She serves as a member of the UK Government's College of Experts in the Ministry of Culture, Media and Sport (DCMS), the UK Ministry of Science, Innovation and Technology, the Privacy Expert Group of the Biometrics Institute, the UK Cabinet Office's International Best Practice Advisory Group, and as an expert advisor to the UK Government's Centre for Data Ethics and Innovation. Her participation in the OECD's ONE AI working group further demonstrates her international standing in the field of educational technology policy.

Dong Hyun Kimمشاهده پروفایل

استاد

• Design Methodology
• Digital Drawing Representation by VR/AR
• Technology for Living
• +۲ مورد دیگر

Dong Hyun Kim is a Professor in the Department of Architecture at Sejong University , where he has been since 2006. His academic journey includes a M.Arch from Yale University (2002), an M.S. (1995), and a B.S. (1993) in Architecture from Seoul National University. Education: M.Arch, Yale University (2002) M.S., Seoul National University (1995) B.S., Seoul National University (1993) KIM's research focuses on Design Methodology , Digital Drawing Representation using VR/AR , and Building 3D Printing . His work explores the intersection of Parametric Architecture and Technology for Living , emphasizing innovative fabrication techniques and digital tools in architectural design. Recent publications highlight his expertise in Daylighting Performance Assessment (2024) and Deep Neural Network-Based Parameterization Frameworks (2023). His 2018 study on 3D printing technologies and 2009 work on digital design methodologies underscore his long-term commitment to advancing architectural fabrication. KIM's professional experience includes roles at major firms like Daewoo Corp/Construction (1995-1999) and Pei, Cobb, Freed and Partners (2003-2005), prior to his academic career.

Eugene H. Spaffordمشاهده پروفایل

استاد

• Information Security
• Cybersecurity
• Computer Forensics
• +۲ مورد دیگر

Dr. Eugene H. Spafford ("Spaf") is a Distinguished Professor in the Department of Computer Sciences at Purdue University, serving since 1987. He holds courtesy appointments in Philosophy, Communication, Electrical and Computer Engineering, Nuclear Engineering, and Political Science. As founder and Executive Director Emeritus of CERIAS and the COAST Laboratory, he has shaped information security research and education. His research centers on information security, computer crime investigation, and information ethics. Spafford's work in cybersecurity, computer forensics, and computing ethics has established him as a leading figure in the field. He emphasizes practical security solutions and ethical considerations in technology. Recent publications address cybersecurity myths, deception-based security techniques, and password security, alongside memorials for computing pioneers. This blend reflects his dual focus on advancing security research and preserving the field's history. Spafford has advised numerous graduate students and secured significant funding for CERIAS, fostering interdisciplinary collaboration. He currently serves as Editor-in-Chief of Computers & Security and on the board of the Computing Research Association. Leading CERIAS, Spafford built one of the world's premier academic centers for information assurance, integrating expertise from computer science, engineering, and social sciences to address complex security challenges.

• Inorganic Chemistry
• Coordination Chemistry
• Bioinorganic Chemistry
• +۴ مورد دیگر

Ioannis Plakatouras is Professor of Inorganic Chemistry in the Department of Chemistry at the University of Ioannina, Greece, where he has held an uninterrupted academic career since 1997, progressing from Assistant Professor to full Professor in 2011. He leads the Laboratory of Magnetochemistry, has co-supervised numerous MSc and PhD students, and has participated in several national and European research programmes. Education B.Sc. in Chemistry, Department of Chemistry, University of Ioannina, 1988 – Grade: Very Good Ph.D. in Inorganic Chemistry, Department of Chemistry, University of Ioannina, 1992 – Grade: Excellent (supervisor: Assist. Prof. Spiros P. Perlepes) Research interests His research focuses on the synthesis and characterization of coordination compounds , spanning from classic Werner-type complexes to extended coordination polymers and metal–organic frameworks. A major theme is bioinorganic chemistry , investigating the interaction of essential (Cu²⁺, Zn²⁺) and toxic (Ni²⁺) metal ions with peptide fragments derived from histones and enzymes. Complementary work targets the design of Gd(III) and lanthanide complexes as MRI contrast agents and the study of magnetochemical properties of transition-metal and lanthanide systems. Research output & trends With over 65 peer-reviewed publications, his work shows a clear evolution from fundamental synthetic and structural studies of mononuclear complexes (late 1980s–1990s) to the construction of multi-dimensional coordination polymers and supramolecular architectures (2000s–2010s). Recent articles increasingly integrate computational chemistry and explore functional materials with potential biomedical applications, reflecting a strategic shift towards translational inorganic chemistry. Awards & fellowships NFWO Post-doctoral Fellowship, Belgium, July 1989 National Hellenic Research Foundation Fellowship, Sep 1989 – Aug 1990 SERC Post-doctoral Fellowship, United Kingdom, Mar 1993 – Feb 1996 Advising & grants He has directed 10 MSc theses and 4 PhD theses, and served on 10 additional PhD supervisory committees. Funding has been secured through HERACLITUS (2003–2007) , COST Action D18 (2000–2006) , EPEAEK & EPEAEK II “Bioinorganic Chemistry” , and regional “PEP” Epirus programmes. Laboratories & teams Since 1999 he has been Scientific Coordinator of the Laboratory of Magnetochemistry , University of Ioannina, managing instrumentation for magnetic susceptibility and EPR measurements. He is also a member of the Scientific Committee of the Laboratory of X-ray Crystallography, facilitating single-crystal and powder diffraction studies.

Corinne Coenمشاهده پروفایل

دانشیار

• Team Cooperation
• Organizational Behavior
• Complex Systems
• +۴ مورد دیگر

Corinne Coen is an Associate Professor of Organizational Behavior at the Weatherhead School of Management, Case Western Reserve University. She joined the faculty in 2009 and has established herself as an expert in team dynamics, cooperative behavior, and complex systems within organizational contexts. Her work bridges theoretical organizational behavior with practical applications for enhancing team performance and cooperation. Dr. Coen's educational background includes: PhD in Business from University of Michigan Business School (2001) Master of Business Administration from University of Chicago Graduate School of Business (1987) Bachelor of Arts from University of Michigan, School of Literature, Science & Arts (1981) Professor Coen's research focuses on understanding why people cooperate in teams and how managers can foster greater cooperation. She investigates cooperative dynamics within teams, between teams, and designs team structures that elicit productive interdependence. As an expert in complex systems and emergence, she applies computational and simulation approaches to study organizational phenomena. Her work examines how simple interactions among individuals lead to complex group behaviors and outcomes, with particular attention to team problem-solving, resource allocation, and the effects of team structure on performance. Her extensive publication record reveals consistent themes in team cognition, cooperation dynamics, and complex systems approaches to organizational behavior. Over the past two decades, her research has evolved from examining basic cooperation mechanisms in social dilemmas to more complex investigations of multiteam systems, emergent properties in teams, and the application of computational modeling to organizational phenomena. Recent work emphasizes practical applications of team structure design to balance efficiency and diversity in problem-solving contexts. Dr. Coen has received numerous prestigious awards recognizing her contributions to research and teaching: Doctoral Teaching and Mentoring Award (2022, Weatherhead School of Management) Diekhoff Award for Best Graduate Mentor Nominee (2016, Case Western Reserve University) WSOM Undergraduate Teaching Award - First Runner Up (2016) Doctoral Teaching and Mentoring Award (2015) Emerging Impact Award (2014) Outstanding Leadership and Contribution Award (2008, Academy of Management) Lewis-Progressive Fellowship (2014, 2015) As an educator, Dr. Coen teaches courses including Developing Interpersonal Skills for Managers, Leading Organizations, Leading Teams through Interpersonal Relationships, and Research Methods. She has received multiple teaching awards recognizing her effectiveness in the classroom and her mentorship of doctoral students. Her service to the academic community includes committee work at Case Western Reserve University, editorial roles for academic journals, and panel participation for the National Science Foundation.

• Frame Theory
• Operator Theory
• Packing Problems
• +۷ مورد دیگر

John Jasper is an Assistant Professor in the Department of Mathematics and Statistics at the Air Force Institute of Technology (AFIT), Wright-Patterson Air Force Base, Ohio. He holds a PhD in Mathematics from the University of Oregon and has previously served as a postdoc at the University of Missouri, a visiting assistant professor at the University of Cincinnati, and an assistant professor at South Dakota State University. Education: PhD in Mathematics, University of Oregon (2011), advised by Marcin Bownik His research centers on frame theory, operator theory, and packing problems , with strong connections to harmonic analysis, combinatorics, algebra, and discrete geometry. His work explores the structure and construction of equiangular tight frames, Grassmannian codes, and the diagonals of self-adjoint operators, often using group actions and finite field geometries. Many of his recent publications focus on optimal arrangements of lines and vectors in complex and real spaces, with applications in signal processing and quantum information. The 15 most recent publications reflect a consistent research trajectory in mathematical signal processing , particularly in constructing optimal configurations of vectors using combinatorial and algebraic methods. Key themes include equiangular tight frames, Grassmannian packings, operator diagonals, and finite field frame theory. These works frequently appear in high-impact journals such as IEEE Transactions on Information Theory , Applied and Computational Harmonic Analysis , and Linear Algebra and its Applications . Scientific Awards and Honors: No awards explicitly listed in the provided text. Advising and Grants: While no formal list of students is provided, John Jasper collaborates extensively with leading researchers such as Matthew Fickus, Dustin G. Mixon, Marcin Bownik, and Emily King. His research is supported in part by the National Science Foundation. He co-organizes the CodEx Seminar, a pan-university remote seminar on harmonic analysis, combinatorics, and algebra, indicating active engagement in academic community building and mentoring. Labs, Teams, and Research Groups: John Jasper is part of a vibrant research group focused on frame theory and discrete geometry, collaborating with mathematicians across institutions. He contributes to the CodEx Seminar, which serves as a virtual research hub connecting scholars in harmonic analysis and related fields. His work is deeply collaborative, often involving interdisciplinary teams working on theoretical foundations with applications in coding and signal processing.

Xiliu Yangمشاهده پروفایل

پژوهشگر

• Human-Robot Collaboration
• Augmented Reality in Construction
• Computational Design
• +۳ مورد دیگر

Xiliu Yang is a Research Associate at the Institute of Computational Design and Construction (ICD) , University of Stuttgart. Bachelor of Arts in Architecture, University of Hong Kong Master of Science (Distinction), ITECH programme, University of Stuttgart Her research explores the intersection of human–robot collaboration (HRC) , augmented reality (AR) systems , and timber prefabrication . She investigates how AR interfaces can enhance multi-user workflows with industrial robots, focusing on safety protocols, task allocation, and user agency in automated environments. Recent publications highlight her work on large-scale multi-human-robot systems , error-handling in AR-assisted construction , and asymmetric AR instruction methods . Her studies often involve industry partnerships and real-world fabrication demonstrators, such as the livMatS biomimetic shell and Spatial Lacing composite systems. Scientific Awards: IntCDC Thesis Grant Research Residency at Autodesk Technology Centre She previously co-founded 3DNA , a startup developing cloud-based platforms for eyewear manufacturing, and contributed to distributed robotic platforms for fibrous material fabrication.

Markus Stockerمشاهده پروفایل

پژوهشگر

• Knowledge Synthesis
• Data Science
• Artificial Intelligence
• +۴ مورد دیگر

Markus Stocker is a researcher leading the Knowledge Infrastructures Lab at TIB - Leibniz Information Centre for Science and Technology. He holds a PhD in Environmental Informatics from the University of Eastern Finland, an MSc in Environmental Sciences from the same university, and an MSc in Computer Science from the University of Zurich. His work focuses on research infrastructures, knowledge synthesis, and FAIR data principles, with a strong emphasis on environmental and earth sciences. He collaborates with major European infrastructures like ACTRIS, ICOS, and NEON. His research interests include neurosymbolic systems, digital scholarship, and the integration of research data across disciplines. Prior roles include a postdoc at PANGAEA (University of Bremen) and positions at Hewlett Packard Labs and Clark & Parsia. He actively contributes to the Research Data Alliance, co-chairing the WG Persistent Identification of Instruments. Markus has pioneered projects like the Open Research Knowledge Graph (ORKG) and the sciqa benchmark for scientific question answering. His work emphasizes interoperability, automation, and community-driven knowledge curation, addressing challenges in data management and scholarly communication.

Judith Reitzمشاهده پروفایل

استاد

• Interior Architecture
• Social Impact Design
• Sustainable Design
• +۳ مورد دیگر

Judith Reitz is a full-time Professor at the Peter Behrens School of Arts , part of Hochschule Düsseldorf (University of Applied Sciences) . She has served as Dean of the Architecture department since 2019 and leads the PBSA Design.Build. - Studio for Social Impact since 2011. Previously, she held academic positions at Texas A&M University (2007-2016) and RWTH Aachen (2006-2011). Academic Education: Meisterklasse (Masterclass) under Zaha Hadid at University of Applied Arts Vienna (2001-2003). Academic background in Architecture at RWTH Aachen (1997-2001), graduating with honors. Research Interests include Interior Architecture, Social Impact Design, Vernacular Architecture , and Sustainable Construction . Her work focuses on material reuse, energy-efficient methods, and integrating cultural contexts into architectural solutions. Publications emphasize community-driven projects in South Africa, blending traditional techniques with modern computational design. Scientific Awards include multiple Architizer A+ Awards (2017), STO Förderpreis for sustainability (2016), and recognition in media like AIT and DOMUS . Her 15 most recent articles (2002-2016) explore topics from neovernacular structures to mobile refugee facilities , reflecting interdisciplinary collaboration with institutions such as ACSA and CAADRIA . Grants include the Springorum Preis (RWTH Aachen, 2003) and Stipendium Deutsche Akademie Villa Massimo Rom (2007). She has advised research teams like Thomas Georg Schaplik and co-founded the BFR lab (2006), a Cologne-based architecture and research firm. Judith Reitz is a member of Bund Deutscher Architekten (BDA) since 2011.

Benjamin Gregoireمشاهده پروفایل

پژوهشگر

• Compilers
• Formal Verification
• Cryptography
• +۳ مورد دیگر

Benjamin Gregoire is a Researcher at INRIA Sophia Antipolis , affiliated with the Marelle Team . His work focuses on compilers , formal verification , cryptography , proof assistants , and type theory . Education : PhD in Computer Science, Université Paris 7 (2003) Research Interests : Dr. Gregoire specializes in formal verification of cryptographic systems, compiler design for security-critical applications, type-based termination, and proof assistants like Coq. His projects include the INRIA-Microsoft Research Joint Lab , ANR Scalp (Security of Cryptographic Algorithms with Probabilities), and ANR DeCert (Certified Decision Procedures). He led the Mobius project (IP FET) and contributed to Java security validation via the JACK tool . Scientific Awards : He received the Best Paper Award at CRYPTO 2011 for 'Computer-Aided Security Proofs for the Working Cryptographer.' Advising & Collaborations : Dr. Gregoire has advised PhD students Michael Armand , Julien Charles , Sylvain Heraud , and Jorge-Luis Sacchini , with former advisee Cesar Kunz . He collaborates with teams including Marelle and INRIA-Microsoft Research .

• Structural Engineering
• Steel Structures
• Thin-Walled Structures
• +۷ مورد دیگر

Dr Gatheeshgar Perampalam is a Senior Lecturer in Civil Engineering at Teesside University's School of Computing, Engineering and Digital Technologies. He holds a PhD in Structural Engineering (2021) from Northumbria University and a BEng (Hons) in Civil Engineering (2017) from the University of Peradeniya, Sri Lanka. His research focuses on advanced structural analysis of cold-formed steel systems, modular construction optimization, and fire/thermal performance of building materials. PhD: Structural Engineering, Northumbria University (2021) BEng: Civil Engineering (First Class), University of Peradeniya (2017) Key research areas include steel structures, numerical modeling, sustainable construction practices, and energy-efficient building designs. His recent work explores machine learning applications in structural performance prediction and thermal efficiency improvements in light-gauge steel panels. He has contributed 68 research outputs and collaborated with industry partners like Intelligent Steel Solutions. Current affiliations include Teesside University and active participation in research networks related to structural engineering and sustainability.

Keri Ryanمشاهده پروفایل

استاد

• Seismic Engineering
• Structural Dynamics
• Earthquake-Resistant Design
• +۳ مورد دیگر

Keri Ryan is the E.W. McKenzie Foundation Endowed Professor and Chair in the Department of Civil and Environmental Engineering at the University of Nevada, Reno. She leads pioneering research in seismic resilience, focusing on earthquake-resistant design of structures including mass timber buildings, seismic isolation systems, and nonstructural component performance. Her work advances high-performance, low-damage structural engineering techniques through experimental validation at full-scale. Research spans: Seismic isolation systems for buildings and bridges 3D dynamic response of structures to ground shaking Damage-tolerant lateral systems using innovative materials Performance of nonstructural components during earthquakes Soil-structure interaction effects Resilient tall timber construction Publications emphasize experimental validation through large-scale shake table testing, particularly of the groundbreaking 10-story NHERI TallWood mass timber building. Recent work explores seismic performance of stair systems, exterior walls, and partition details under realistic earthquake simulations. Awards include the prestigious E.W. McKenzie Foundation Endowed Professorship. Dr. Ryan directs significant research initiatives like the NSF-funded NHERI TallWood Project and a GAANN grant supporting PhD fellowships in structural infrastructure resilience. She actively advises graduate students, noting that working with them 'on the brink of discovery' is a career highlight. Her laboratory work includes full-scale structural testing at facilities like NHERI@UCSD.

Benjamin Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-based Security
• +۴ مورد دیگر

Benjamin Pierce is the Henry Salvatori Professor in the Department of Computer and Information Science at the University of Pennsylvania. His research spans programming languages, formal verification, and sustainable computing, with a focus on practical applications in software reliability and security. He leads initiatives like Carbon Connect (NSF Expedition in Sustainable Computing) and serves on climate-focused committees such as Penn's Faculty Senate Select Committee on the Climate Emergency. Research Interests Pierce's work integrates theoretical and applied computer science, emphasizing: Programming Languages : Type systems, language-based security, and compiler verification Formal Methods : Computer-assisted verification, proof automation, and property-based testing Sustainability : Reducing computing's environmental impact through algorithmic efficiency and policy Recent Publications His 2023-2025 publications demonstrate a strong focus on enhancing software testing (e.g., Tyche for property-based testing), advancing formal verification tools (e.g., Coq deautomation), and pioneering sustainable computing frameworks. Climate-related research is a growing theme. Awards and Honors 2024: Distinguished Paper Award (ICSE) 2020: Best Paper Award (POPL) 2015: Most Influential Paper Award (ACM SIGPLAN) 2013: LICS Test of Time Award 2012: ACM Fellow Advising and Grants He advises 8 PhD students on topics ranging from type systems to verified compilation. Notable projects include: NSF-funded Carbon Connect expedition SHF grant for usable property-based testing Development of verification tools (VERSE, Unison) Professional Activities Serves on editorial boards for Journal of Functional Programming and Logical Methods in Computer Science , and organizes major conferences (PLDI, POPL, OOPSLA). Advocates for low-carbon virtual conferences.