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

Arthur Azevedo de Amorimمشاهده پروفایل

استادیار

• Programming Languages
• Formal Verification
• Security
• +۳ مورد دیگر

Arthur Azevedo de Amorim is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology's College of Computing. His research focuses on making software more secure and reliable using techniques based on formal verification, programming languages, and type systems. Previously, he held postdoctoral positions at Boston University and Carnegie Mellon University after completing his Ph.D. at the University of Pennsylvania under Benjamin Pierce and co-advised by Cătălin Hrițcu. His educational background includes undergraduate studies in computer science and engineering at Unicamp and Polytechnique. He is also one of the authors of Software Foundations, an introductory textbook to the Coq proof assistant, and maintains an active blog about Coq. Dr. de Amorim's research spans several critical areas in programming languages and security. His work on cryptographic protocols leverages recent advances in program verification (particularly separation logic) to verify cryptographic protocols. His research on compartmentalization analyzes formal guarantees of techniques for limiting the scope of vulnerabilities in low-level languages like C and C++. These research areas reflect his commitment to bridging theoretical foundations with practical security applications. His recent publications demonstrate strong activity across multiple top-tier conferences including POPL, PLDI, CCS, and ICALP, with research spanning formal verification, secure compilation, differential privacy, and programming language theory. His work consistently combines theoretical rigor with practical applications in security and reliability. Dr. de Amorim has served on numerous program committees for major programming languages conferences including POPL, PLDI, ICFP, and CoqPL, demonstrating his active engagement with the research community. He has also contributed to important educational resources through his work on Software Foundations. He currently advises several graduate students at RIT working on various aspects of programming languages and security. His lab develops multiple open-source software projects including Cryptis (for verifying cryptographic protocols), Deriving (a Coq library for automating class instances), and Extructures (a Coq library of finite data structures).

James Cheneyمشاهده پروفایل

استاد

• Databases and data provenance
• Programming languages and compilers
• Generic programming
• +۷ مورد دیگر

James Cheney is a Personal Chair of Programming Languages and Systems at the University of Edinburgh, working in the Laboratory for Foundations of Computer Science within the School of Informatics. He leads the Principles of Provenance research group and has been a Turing Fellow from 2018 to 2023. His educational background includes a PhD in Computer Science from Cornell University (2004), an MS in Mathematics from Carnegie Mellon University (1998), and a BS in Computer Science and Mathematics from Carnegie Mellon University (1998). Cheney's research focuses on the intersection of databases and programming languages, with particular emphasis on data provenance. His work spans several key areas: Databases and data provenance Programming languages and compilers Generic programming Logic and automated theorem proving Compression and information theory XML and related technologies His recent publications demonstrate a strong focus on language-integrated query systems, type systems for programming languages, and formal approaches to data provenance. These works often bridge theoretical foundations with practical applications in database systems and programming language design. Cheney has received several notable awards and recognitions: Royal Society University Research Fellowship (2008-2016) Turing Fellow (2018-2023) ERC Consolidator Grant for the Skye project (2016-2021) Google Research Award for Language-integrated provenance As an advisor, Cheney has supervised numerous PhD students and postdoctoral researchers who have gone on to positions at institutions including New York University, LSE, University of Southampton, Meta, and others. His research has been supported by various grants from DARPA, EPSRC, AFOSR, EU FP7, and industry partners including Google, Microsoft Research, and Huawei. Cheney leads the Principles of Provenance group, which conducts fundamental research on data provenance and its applications in security, data curation, and scientific computing. The group has worked on projects including Skye (a programming language for scientific data curation), ADAPT (a DARPA-funded project on advanced persistent threat prevention), and language-integrated provenance systems.

Nikas Christosمشاهده پروفایل

استاد

• European Economic Integration
• International Economics
• Labor Economics
• +۴ مورد دیگر

Nikas Christos serves as Professor in the Department of International and European Studies at the University of Macedonia, concurrently holding academic positions in the Master in Shipping and Sea Transports (Economics and Politics) and Master's Degree in International Studies programs. His academic credentials include: B.A. (with honors) in Economics, University of Macedonia (1983) Diploma of Advanced European Studies, College of Europe, Bruges, Belgium (1984) Master of Advanced European Studies, College of Europe, Bruges, Belgium (1986) Ph.D. in Economics, University of York, U.K. (1992) Professor Christos specializes in the Political Economy of European Integration, with research spanning EU economic governance, labor market dynamics, and migration patterns. His scholarly output comprises 14 books and 28 scientific journal articles analyzing structural aspects of European economic systems, supplemented by conference papers and additional publications. He teaches core courses including European Economic Integration (Δ18012), International Political Economy and Defense (ΜΔΣ0203), Labour Market and Emigration in the EU (ΝΕΠ0105), and The Economics of Migration (HRMS105), reflecting his expertise in transnational economic frameworks and policy implementation within the European Union context.

Dominik Helmمشاهده پروفایل

استاد

• Program Analysis
• Static Analysis
• Call Graph Algorithms
• +۵ مورد دیگر

Dominik Helm serves as an interim professor at the University of Duisburg-Essen and is a researcher at the Software Technology Group, Technical University of Darmstadt since 2018. He holds a Dr.-Ing. degree and serves as the lead maintainer of the OPAL static analysis framework. Helm is also affiliated with ATHENE (National Research Center for Applied Cybersecurity) and CRISP, where he contributes to cybersecurity research focusing on 'Security at Large' for comprehensive systems. Dr. Helm's research centers on modularization and automatic parallelization of collaborative static analyses to improve precision, soundness, and performance. His work specifically targets the OPAL framework for Java VM bytecode, with expertise spanning purity and immutability analyses, modular call graphs, and bug/security vulnerability detection. His research bridges theoretical foundations with practical implementation, addressing real-world challenges in static analysis. His publication record shows consistent contributions to top-tier conferences (PLDI, ISSTA, ESEC/FSE, ASE) with recent work focusing on cross-language analysis, modular call graph algorithms, and evaluation of static analysis precision. Helm has demonstrated particular interest in making static analysis more practical through modularity and parallelization. As an educator, Helm teaches courses including Software Engineering, Type Systems, Quality Assurance, and Program Analysis at the University of Duisburg-Essen. He has supervised multiple student teams through bachelor and master projects, guiding research on call graphs for dynamic languages, IDE solvers, alias analysis, and immutability analysis. Dr. Helm actively contributes to the academic community through program committee service for ICSE, ISSTA, ASE, and other major conferences. His work with the OPAL framework represents a significant contribution to the static analysis community, providing a platform for developing and composing modular analyses for Java bytecode processing and analysis.

Peter W. O'Hearnمشاهده پروفایل

استاد

• Programming Languages
• Formal Verification
• Separation Logic
• +۵ مورد دیگر

Peter W. O'Hearn is a Professor of Computer Science at University College London and a Research Scientist at Meta AI (FAIR). He has held academic positions at Syracuse University, Queen Mary University of London, and University College London, before joining Facebook (now Meta) in 2013 as part of the acquisition of the verification startup Monoidics. His career spans over 25 years of research in programming languages and logic, with significant contributions to both theoretical foundations and practical industrial applications. O'Hearn's research primarily focuses on formal reasoning about programs, with his most notable contributions being the co-invention (with John Reynolds) of Separation Logic and the development of Incorrectness Logic. His work bridges the gap between theoretical computer science and practical software engineering, emphasizing how fundamental theory, tool development, and real-world application can mutually reinforce each other. He has consistently advocated for the integration of formal methods into industrial software development practices. His research has led to the development of the Infer program analyzer, which runs internally on Meta's code bases and has detected over 100,000 bugs that have been fixed by developers. Infer is also used in production at other major companies including Amazon, Mozilla, Spotify, and Marks and Spencer. His recent work on Incorrectness Logic represents a paradigm shift from traditional program verification approaches, focusing on bug finding rather than correctness proving. O'Hearn has received numerous prestigious awards recognizing both his theoretical contributions and practical impact: Fellow of the Royal Society (elected 2018) Fellow of the Royal Academy of Engineering (2016) 2016 Gödel Prize 2016 CAV Award Two POPL MIP awards Honorary doctorate from Dalhousie University (2018) 2021 IEEE Cybersecurity Award for Practice Throughout his career, O'Hearn has successfully translated theoretical advances into practical tools used at scale in industry. His work on Separation Logic led directly to Infer, while his more recent work on Incorrectness Logic aims to provide foundations for next-generation bug catching tools. He has maintained a strong academic presence while working in industry, continuing his professorship at UCL alongside his role at Meta. O'Hearn leads research efforts at the intersection of formal methods and practical software engineering at Meta, focusing on scaling static analysis techniques to handle the massive codebases typical of modern technology companies. His work has significantly influenced how large tech companies approach software verification and bug detection.

Gabriel Haritosمشاهده پروفایل

استاد مهمان

• History of Israeli Foreign Policy
• Israeli-Greece-Cyprus Political Relations
• Middle East International Relations
• +۳ مورد دیگر

Gabriel Haritos is a Visiting Professor at Panteion University's Department of International, European and Area Studies, specializing in the History of Political Relations between Israel, Greece, and Cyprus. He concurrently teaches at Ben-Gurion University of the Negev (Israel Studies Program) and the University of Cyprus (Department of History and Archaeology). His research focuses on Israeli foreign policy, the Israeli political system, and Middle Eastern international relations, with a particular emphasis on Israel's relations with Cyprus and Greece. Haritos holds a Law degree from the National and Kapodistrian University of Athens (1996), an MA in Mediterranean International Relations from the University of the Aegean (2007), and a PhD in International Relations from the University of Macedonia (2016). His doctoral research examined Israel's foreign policy toward Cyprus (1946–1960) using declassified Israeli archives. He has conducted postdoctoral research at Ben-Gurion University's Azrieli Center for Israel Studies, focusing on Israel-Cyprus relations during Cyprus' early independence (1960–1963). His research has been supported by scholarships from the Cypriot Public Information Office and the Moshe Dayan Center. He has authored two monographs: «The Democratization of the Arab States as a Priority of U.S. Mideast Policy» (2008) and «Cyprus, the Neighboring Island» (2018/2020). His work frequently appears in Greek, Cypriot, and Israeli media. Haritos has held senior research positions at the Cyprus Center for European and International Affairs (University of Nicosia since 2018) and the Moshe Dayan Center. His teaching spans multiple universities, including a groundbreaking joint course on Israel-Greece-Cyprus relations taught across three institutions in 2020–2021. His research integrates primary archival sources with geopolitical analysis, emphasizing decolonization, minority politics, and energy diplomacy in the Eastern Mediterranean.

Panagiota Fatourouمشاهده پروفایل

استاد

• Parallel and Distributed Computing
• Concurrent Data Structures
• Transactional Memory
• +۸ مورد دیگر

Dr. Panagiota Fatourou is a Professor in the Department of Computer Science at the University of Crete and a senior researcher at the Institute of Computer Science (ICS), Foundation for Research and Technology - Hellas (FORTH). She holds a dual affiliation, contributing significantly to both institutions. She has previously served as faculty at the University of Ioannina and held postdoctoral positions at the Max-Planck-Institut für Informatik and the University of Toronto. She has also been a visiting professor at École Polytechnique Fédérale de Lausanne (EPFL). Her research spans the theoretical and practical foundations of parallel and distributed computing. She is a leading expert in concurrent data structures, transactional memory, and the use of persistent memory in system design. Her work integrates theoretical rigor with practical implementation, often publishing in top-tier venues like PPoPP, PODC, SPAA, and PVLDB. Recent publications highlight her focus on efficient garbage collection for multiversioning, persistent data structures, and distributed data series similarity search, reflecting a trend towards high-performance, fault-tolerant systems for modern hardware. Best Paper Award, PPoPP 2022 Marie-Curie Individual Fellowship FSMP Distinguished Professor Fellowship ACM Distinguished Speaker Featured ACM Member Dr. Fatourou has a strong record of leadership and mentorship. She has advised numerous MSc and PhD students and is actively recruiting for her PERSIST project, funded by HFRI. She has led major research initiatives, including the EU-funded TransForm network and the GreenVM project. Her leadership extends to the broader community, where she has served as Past Chair of the ACM Europe Council, Chair of the Greek ACM-W Chapter, and on the steering committees of PODC and OPODIS. She has also co-organized key events on gender equality in computing, such as the Summits on Gender Equality in Computing (GEC) and the WISTEM Summer School. She is deeply involved in the academic service, frequently serving on program committees for premier conferences such as SPAA, NETYS, and SRDS. Her laboratory and research team at FORTH ICS and the University of Crete focus on building the theoretical underpinnings and practical implementations of next-generation concurrent and distributed systems.

Rodoula Makriمشاهده پروفایل

پژوهشگر

• Microwave Engineering
• Millimeter Wave Technology
• RF and Wireless Systems
• +۸ مورد دیگر

Dr. Rodoula Makri serves as a Senior Researcher at the Research University Institute of Communications and Computer Systems (RICC-NTUA) of the National Technical University of Athens, based at the Microwave and Fiber Optics Laboratory (MICOL) since 2000. Promoted to the highest research rank (Researcher A') in 2015, she concurrently holds a Lecturer position at the Military Academy of Evelpidon's Department of Mathematics and Engineering Sciences since 2008, teaching electronics and telecommunications. Her academic credentials include: Diploma in Electrical Engineering (1992, NTUA) PhD in Microwaves and Wireless Telecommunications (1999, NTUA) Master of Business Administration (2001, Athens University of Economics and Business/NTUA) Dr. Makri's research spans microwave engineering , millimeter-wave systems , and critical infrastructure security , with expertise in RF circuit design, antenna systems, and electromagnetic modeling. Recent work integrates AI-driven security frameworks and resilience assessment methodologies for telecommunications networks, reflecting strategic adaptation to emerging threats in 5G and critical infrastructure domains. Her dual technical-business background enables unique cross-disciplinary approaches to complex engineering challenges. Analysis of her 15 most recent publications reveals a decisive pivot from pure microwave engineering (evident in 2018's CMOS mixer design) toward security applications, with 9 of 15 papers (2019-2023) addressing drone detection, 5G vulnerabilities, and resilience frameworks like RESISTO. This evolution aligns with European Commission priorities, particularly Horizon 2020 security initiatives, while maintaining core microwave expertise for defense applications like K-band radar systems. Dr. Makri has secured substantial research funding through 30+ competitive projects, including: European Commission Programs : Horizon 2020, FP7 (serving as Principal Investigator and Technical Manager) Greek NSRF Projects : General Secretariat for Research and Technology initiatives Flagship Projects : RESISTO (telecom security architecture), TARGET Mobility (wireless systems), Rural Wings (satellite e-learning) Her work operates within NTUA's Microwave and Fiber Optics Laboratory (MICOL), featuring advanced RF measurement capabilities including anechoic chamber testing and field deployment systems. Current collaborations focus on EU-funded consortia developing integrated cyber-physical protection for critical infrastructure operators.

Ronghui Guمشاهده پروفایل

دانشیار

• Programming Languages
• Operating Systems
• Blockchain
• +۷ مورد دیگر

Ronghui Gu is the inaugural Tang Family Associate Professor of Computer Science at Columbia University's Fu Foundation School of Engineering and Applied Science. He leads a research group focused on building verified systems software and serves on program committees for major conferences including PLDI, POPL, OSDI, and SOSP. His educational background includes: Ph.D. in Computer Science from Yale University (2016), where he received the Distinguished Dissertation Award B.S. in Computer Science from Tsinghua University (2011), graduating with Highest Distinction (3 out of 140) Gu's research centers on certified software systems, spanning programming language design, OS kernel development, formal semantics, compiler development, proof engineering, and concurrency. His work bridges theoretical foundations with practical systems, particularly in the areas of formal verification for operating systems, distributed protocols, and quantum computing. He has pioneered approaches that combine formal methods with machine learning techniques to automate verification tasks that were previously intractable. Analysis of his publication record shows a clear trajectory from foundational work on verified operating systems (CertiKOS, mCertiKOS) to broader applications in distributed systems (DistAI, DuoAI), quantum computing (Gleipnir, Giallar, HyperQ), and blockchain security. His recent work increasingly focuses on automation techniques that make formal verification practical for real-world systems. His notable achievements include: OSDI Jay Lepreau Best Paper Award (2021) SOSP Best Paper Award (2019) Multiple Amazon Research Awards (2021-2025) NSF CAREER Award (2023) VMware Systems Research Award (2023) CACM Research Highlight Gu has secured substantial research funding including a $4.5 million DARPA grant for Verified Enclave Layers. He has advised numerous PhD students who have gone on to positions at top institutions and companies. As founder of CertiK, a Web3 cybersecurity unicorn valued at $2 billion, he has successfully translated academic research into real-world impact, securing over $300 billion in cryptocurrency assets. His lab maintains active collaborations with industry partners including VMware, AWS, Google, and quantum computing companies, focusing on making formal verification practical for critical systems.

June Andronickمشاهده پروفایل

دانشیار

• Formal Methods
• Theorem Proving
• Software Verification
• +۴ مورد دیگر

June Andronick is a conjoint Associate Professor at the University of New South Wales and CEO/co-founder of Proofcraft, a company specializing in formal verification of software systems. She also serves as CEO of the seL4 Foundation and was previously a Principal Researcher at CSIRO's Data61 (formerly NICTA). Her research focuses on increasing the reliability of critical software systems through mathematical proofs that ensure code behaves as expected and meets security and safety requirements. She previously led the Trustworthy Systems group, renowned for the formal verification of the seL4 microkernel, and her current research emphasizes concurrency reasoning for operating system code. Dr. Andronick's work bridges theoretical formal methods with practical software systems, with significant contributions to operating systems verification. Her publication 'COMPLX: a verification framework for concurrent imperative programs' (CPP 2017) demonstrates her focus on practical verification frameworks for complex software systems. MIT's Technology Review TR35 award (2011) - recognition as one of the world's top young innovators She has served on program committees for major computer science conferences including PLDI (External Program Committee 2020, Program Committee 2019) and POPL, demonstrating her leadership in the programming languages research community. Through Proofcraft, she provides commercial support, training, and consulting to help organizations implement formal verification in their software development processes.

Martin Bodinمشاهده پروفایل

پژوهشگر

• Programming Languages
• Formal Methods
• Program Analysis
• +۴ مورد دیگر

Martin Bodin is a Researcher at Inria in Grenoble, France, where he is a member of the Spades team. Previously, he completed a PhD at Inria Rennes and held postdoctoral positions at the Center for Mathematical Modeling (CMM) in Santiago de Chile and at Imperial College London in the Verified Trustworthy Software Specification research group. Dr. Bodin's research focuses on programming languages design, formalizations, and analyses. He specializes in applying formal methods to real-world programming languages using the Coq/Rocq proof assistant. His work addresses the challenge of formalizing complex languages with many special behaviors that can lead to serious programming mistakes. He believes formal methods can help programmers detect and avoid these mistakes. His research has resulted in formalizations of widely used programming languages including JavaScript, R, and WebAssembly. Notably, his formalizations of JavaScript and R are among the largest in the field. To manage this complexity, he helped design "skeletons," a formalism to express and derive formally-proven program analyses from large formalizations. Currently, Dr. Bodin is working with IREM within the LiberAbaci project to understand how to design mathematics courses that incorporate Coq/Rocq-based tutorials, collaborating with mathematics teachers for mathematics students.

Tiago Cogumbreiroمشاهده پروفایل

استادیار

• Concurrency Theory
• Parallel Programming
• Formal Methods
• +۶ مورد دیگر

Tiago Cogumbreiro is an Assistant Professor at the University of Massachusetts Boston, where he has been a faculty member since Fall 2018. His research focuses on advancing the foundations of parallel programming through rigorous quality assurance of languages and runtimes. Dr. Cogumbreiro received his PhD from the University of Lisbon (ULisboa) in March 2015 under Francisco Martins, where he developed techniques to handle barrier deadlocks including the Armus runtime verification tool. His educational background includes a B.Sc. from Universidade dos Açores, followed by research assistant work at Imperial College London (supervised by Nobuko Yoshida) and postdoctoral research at Georgia Tech and Rice University (supervised by Vivek Sarkar). As an expert in formal methods for high-performance computing, Dr. Cogumbreiro's work centers on detecting concurrency errors in parallel programs with special emphasis on GPU systems. His research spans theoretical contributions to deadlock avoidance policies and practical applications of Coq and Why3 for certified algorithms. Recent work demonstrates sophisticated approaches to static analysis of data-races in GPU programming, addressing fundamental challenges in parallel system reliability. His publication pattern reveals a consistent trajectory from foundational work on futures-based deadlock avoidance (2017) through behavioral type systems (2019) to current innovations in GPU program analysis (2023-2024). These contributions form a cohesive research program focused on mathematically rigorous approaches to parallel system correctness. Dr. Cogumbreiro actively contributes to the programming languages community through committee service at major conferences including PLDI (2020 Artifact Evaluation), SPLASH (2025 OOPSLA Review Committee), and PPoPP. His GitHub activity shows ongoing development of formal verification tools, particularly Coq-based projects like gorn-coq and habanero-coq that implement his theoretical contributions.

Delphine Demangeمشاهده پروفایل

دانشیار

• Programming Languages
• Compiler Verification
• Formal Semantics
• +۳ مورد دیگر

Delphine Demange is an Associate Professor in Computer Science at University of Rennes, working in the Epicure research group (formerly Celtique) at IRISA (UMR 6074 / Inria). Her research focuses on formal methods for programming languages and compilers, with particular emphasis on compiler verification, program semantics, and language-based security. Her research interests include formal semantics of programming languages, program transformations, compiler verification, static analysis, computer-aided verification, and language-based security. She has made significant contributions to the formal verification of compiler intermediate representations, particularly static single assignment (SSA) form, and has worked extensively on verified compilation techniques. Her publication record shows a consistent focus on formal verification of programming language constructs and compiler components. Recent work (2023-2025) centers on dataflow circuits and solvers, while earlier work (2015-2020) focused on SSA-based optimizations, garbage collection verification, and information-flow security architectures. Her research demonstrates a strong commitment to applying formal methods to practical compiler and language implementation problems. Her scientific awards include the EAPLS Best PhD Dissertation Award in 2012 and the Gilles Kahn PhD Thesis Award in 2013 for her thesis Semantic Foundations of Intermediate Program Representations . She serves on numerous program committees for major programming languages conferences including CC, CGO, OOPSLA, and POPL, and has held leadership roles such as Program Co-Chair for CC 2021 and General Co-Chair for JFLA 2023 and 2024. She is also a member of the CC Steering Committee (2021-2024). Her teaching portfolio includes undergraduate and graduate courses in programming, algorithmics, compilation, and program verification, with a particular focus on trustworthy programming techniques using deductive verification in Why3.

Cormac Flanaganمشاهده پروفایل

استاد

• Programming Languages
• Security
• Information Flow Control
• +۴ مورد دیگر

Cormac Flanagan is a Professor in the Department of Computer Science and Engineering at the Baskin School of Engineering, University of California Santa Cruz. His research focuses on programming languages, security, and software verification, with particular expertise in concurrent programming, information flow control, and program analysis. Flanagan's research interests span multiple areas of programming languages and software security. He has made significant contributions to the fields of information flow control, concurrent programming verification, and dynamic analysis techniques. His work on dynamic race detection, particularly the FastTrack algorithm, has been highly influential in the field, earning him a PLDI Most Influential Paper Award. He has also pioneered techniques for secure information flow, including the development of faceted values and secure multi-execution approaches, which earned him a POPL Most Influential Paper Award. His recent publications demonstrate a continued focus on program verification, with particular attention to concurrent software, JavaScript verification, and serverless computing security. Flanagan's work often bridges theoretical foundations with practical implementations, resulting in tools like the Anchor Verifier for concurrent software that provide practical verification solutions for real-world programming challenges. Fellow of the Association for Computing Machinery Alfred P. Sloan Foundation Fellow POPL Most Influential Paper Award for 'Multiple Facets for Dynamic Information Flow' PLDI Most Influential Paper Award for 'FastTrack: Efficient and Precise Dynamic Race Detection' PLDI Most Influential Paper Award for 'Extended Static Checking for Java' ECOOP 2024 Distinguished Paper Award for 'Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning' CSF Distinguished Paper Award for 'Transparent IFC Enforcement: Possibility and (In)Efficiency Results' PLDI Distinguished Artifact Award for 'BigFoot: Static Check Placement for Dynamic Race Detection' ECOOP Best Paper Award for 'RedCard: Redundant Check Elimination for Dynamic Race Detectors' ISSTA Distinguished Paper Award for 'Exploiting Purity for Atomicity' UCSC Excellence in Teaching Award Professor Flanagan has advised numerous PhD students who have gone on to successful careers in industry and academia, including positions at Google, Shape Security, and San Jose State University. He serves as Steering Committee Chair for the ACM Conference on Programming Language Design and Implementation (PLDI) and as Associate Editor for ACM Transactions on Programming Languages and Systems (TOPLAS). His research has been supported by various grants from funding agencies, though specific details are not provided in the available information. Flanagan leads research projects including the Anchor Verifier for Concurrent Software, data race detection tools, the RoadRunner dynamic analysis infrastructure, and work on cooperable concurrency. His research group at UC Santa Cruz focuses on developing practical techniques for ensuring software reliability and security, with applications to concurrent programming, web security, and cloud computing environments.

• Computer Science
• Formal Methods
• Programming Languages
• +۳ مورد دیگر

Thomas A. Henzinger is President and Professor at the Institute of Science and Technology Austria (IST Austria), a position held since 2009. Previously, he served as professor at EPFL (2005-2009) and UC Berkeley (1996-2005), establishing himself as a leading figure in formal methods and system verification. His educational background includes a PhD in Computer Science from Stanford University (1991), an MSc from the University of Colorado Boulder (1989), and a Diplom-Ingenieur from Johannes Kepler University Linz (1988). Henzinger's research centers on formal methods for system design and verification. He develops theoretical frameworks and practical tools for analyzing concurrent, distributed, and cyber-physical systems. Key contributions span model checking, abstraction techniques, quantitative analysis, and real-time system verification, with applications in software engineering and biological modeling. Recent publications (2015-2022) demonstrate sustained innovation in asynchronous programming, distributed algorithms, and robustness analysis. His work bridges theoretical foundations with practical verification challenges, particularly in sequentialization of asynchronous programs, Lipschitz robustness for timed systems, and worst-case execution time analysis. Major scientific recognition includes: ACM Fellow (2001) IEEE Fellow (2001) Wittgenstein Award (2000) Royal Society Milner Award (2014) Henzinger has supervised numerous PhD students at UC Berkeley and EPFL, with research funded by NSF, DARPA, and ERC grants including an Advanced Grant. His leadership extends to program committees of premier conferences like PLDI and POPL. As IST Austria President, he drives strategic initiatives for interdisciplinary research while maintaining active contributions to computer science through publications and community engagement.