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

Grigorios Kyriakopoulosمشاهده پروفایل

پژوهشگر

• Engineering
• Environment
• Energy
• +۱۲ مورد دیگر

Dr. Grigorios L. Kyriakopoulos (National Technical University of Athens, School of Electrical and Computer Engineering) is a multidisciplinary academic with 25+ years of teaching experience at NTUA and 10+ years across institutions like the Naval Academy and Athens School of Pedagogical and Technological Education. Holding dual PhDs in Low Carbon Economy and Chemical Engineering, he has 22 academic qualifications spanning Environmental Design, Energy, Theology, and Mental Health Counselling. PhD: Low Carbon Economy (Democritus University of Thrace, 2022) PhD: Chemical Engineering (NTUA, 2005) MSc: Environmental Design of Cities & Buildings (Hellenic Open University, 2018) MSc: Energy (Heriot-Watt University, 2017) MA: Orthodox Theology (Hellenic Open University, 2016) As a Researcher at NTUA, his work bridges Engineering, Energy, and Environmental Economics , with 134 publications, 2160 peer-reviewed papers reviewed, and 6700+ manuscript evaluations. He ranks in the World's Top 2% of Highly Cited Scientists (Stanford University, 2020-2023) and received the Sentinels of Science Award (2016) . His editorial roles include Frontiers in Environmental Science and PLOS ONE , while leading special issues on Microplastics Pollution and Digital Transformation Sustainability . Key research themes include Circular Economy , Renewable Energy Systems , and Behavioral Ecology , with empirical work on Wastewater Reuse and Climate Neutrality implementation. His 17833 citations (Scopus top-250 papers) reflect global impact, particularly in Energy Policy and Environmental Systems . Conference participation spans 500+ reviews at events like NEFES and DTI , with leadership in SMART-ICAE 2018 and NEFES 2022 .

• Computational Complexity
• Graph Algorithms
• Distributed Algorithms
• +۶ مورد دیگر

Aris T. Pagourtzis is a Professor of Computer Science at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), where he also serves as the Head of the Computer Science Division. He is additionally a Lead Researcher at the Archimedes Research Center, Athena RC. His academic career includes positions at the University of Ioannina, the University of Liverpool, the ETH Zuerich, the University of Athens, and the Athens University of Economics and Business. Education: Diploma in Electrical Engineering (1989) and Ph.D. in Electrical and Computer Engineering (1999), both from the National Technical University of Athens Professor Pagourtzis's research spans multiple areas of theoretical computer science, with particular emphasis on computational complexity, graph algorithms, distributed algorithms, approximation algorithms, network algorithms, cryptography, and counting complexity. His work often bridges theoretical foundations with practical applications in network design, security protocols, and optimization problems. He has developed novel algorithms for problems ranging from community detection in networks to Byzantine fault-tolerant protocols and privacy-preserving voting systems. His recent publications show a continued focus on fundamental algorithmic problems while expanding into newer areas like temporal graph analysis, blockchain applications, and privacy-preserving technologies. There's a clear trend toward addressing real-world challenges through rigorous theoretical frameworks, particularly in distributed systems, secure computation, and optimization under constraints. Professor Pagourtzis has served on program and organizing committees for numerous theoretical computer science and cryptography conferences, co-chairing CIAC 2017 and FCT 2021. His research has received funding from diverse sources including US, UK, French, EU, and Greek national resources. He is actively involved in teaching both undergraduate and graduate courses at NTUA, including Algorithms and Complexity, Foundations of Computer Science, Computational Cryptography, and Network Algorithms and Complexity. He leads the Computation and Reasoning Laboratory (corelab) at NTUA, which focuses on theoretical computer science research.

Todd Millsteinمشاهده پروفایل

استاد

• Network Verification
• Programming Languages
• Probabilistic Programming
• +۳ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.

David Naumannمشاهده پروفایل

استاد

• formal methods
• software security
• relational verification
• +۷ مورد دیگر

David Naumann is Professor and Department Chair of Computer Science at Stevens Institute of Technology. His leadership in the department and active research program positions him as a key figure in programming languages and formal methods research. Naumann's research focuses on formal methods and software security, with particular emphasis on relational and hyperproperty verification , fine-grained confidentiality/integrity policies , and program analysis and verification . His work bridges theoretical foundations with practical applications in security-critical systems. He has developed novel program logics and verification techniques that enable precise reasoning about information flow and security properties. His recent publications (2022-2025) reveal a strong trend toward modular relational verification techniques with applications to pointer programs, distributed systems, and concurrent applications. The research spans theoretical foundations (algebraic structures for alignment) to practical tools (WhyRel prototype), demonstrating both depth and breadth in addressing verification challenges. Naumann has served as program committee co-chair for IEEE Computer Security Foundations Symposium (2021-2022) and has been active on committees for POPL, CCS, CSF, ECOOP, and other top venues. His editorial service includes ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing, and Journal of Object Technology. He leads the Cypress research group at Stevens Institute of Technology and has secured significant funding from NSF, Microsoft Research, and Siemens. His mentoring extends to numerous PhD students who have gone on to successful careers in academia and industry.

• Database Information Management
• Big Data Management Systems
• Data Structures
• +۲ مورد دیگر

Ioannis Tsaknakis is an Associate Professor at the Department of Electrical & Computer Engineering, School of Engineering, University of Peloponnese. He holds a PhD in computational geometry and multidimensional data structures from the University of Patras (2004) and has been actively involved in software systems research since 2004. His work spans Database Information Management , Big Data Systems , and Knowledge Mining , with a focus on data structures and computational geometry. Research Interests : Information Management in Databases Big Data Management Systems Computational Geometry Knowledge Mining in Databases/Web Publications highlight his contributions to IoT-driven educational frameworks, machine learning applications, and cryptographic systems for data security. He has taught courses on software design and data management since joining the University of Peloponnese in 2019. Contact : jtsaknakis@uop.gr . Office hours are in Building K (Monday & Tuesday, 8:00-9:00).

• Software Technology
• Artificial Intelligence
• Educational Software
• +۵ مورد دیگر

Maria Virvou serves as Professor and Chair of the Department of Informatics at the University of Piraeus, where she also directs the Graduate Program in Informatics and leads the Research Laboratory 'Software Technology'. She holds significant institutional leadership roles including membership in the University Senate and has chaired the Department of Informatics for multiple terms. As Editor-in-Chief of Springer book series 'Learning and Analytics in Intelligent Systems' and 'Artificial Intelligence-Enhanced Software and Systems Engineering', she maintains substantial academic influence across international scholarly platforms. Dr. Virvou earned her PhD in Computer Science and Artificial Intelligence from the University of Sussex with a scholarship from the State Scholarships Foundation, a Master of Science in Computer Science from University College London, and her undergraduate degree from the Department of Mathematics at the National and Kapodistrian University of Athens. Her educational background in both mathematics and computer science has provided a strong foundation for her interdisciplinary research approach. Professor Virvou's research spans Software Technology, Artificial Intelligence, Educational Software and Games, User Modeling, and Human-Computer Interaction. She has pioneered work in personalized interactive software systems, applying fuzzy logic and machine learning techniques to create adaptive educational environments. Her recent work demonstrates a strategic expansion into AI applications for healthcare, with significant contributions to medical diagnostics using large language models and multimodal AI systems. She has also made notable advances in smart tourism applications through personalization techniques. With over 400 publications to her name, Professor Virvou's scholarly output shows a clear progression from foundational work in user modeling toward increasingly sophisticated AI applications across multiple domains. Her publication trends reveal a strategic focus on explainable AI, multimodal systems, and practical implementations that bridge theoretical advances with real-world applications, particularly in healthcare and education sectors. Ranked #1 worldwide in 'User Modelling' publications (147,450 total publications) according to Scopus Ranked #1 worldwide in 'Educational Software' publications according to both Scopus and Microsoft Academic Search Recognized among the top 2% of most influential Artificial Intelligence scientists worldwide by Stanford University General Co-Chair at the 14th IISA Conference 2023 Invited Keynote Speaker at the 35th IEEE International Conference on Software Engineering Education and Training (CSEE&T 2023) As Director of the Research Laboratory 'Software Technology', Professor Virvou has built a robust research team focused on AI applications across multiple domains. She co-founded and co-chairs the IEEE Intelligent Information Systems and Applications international conference series, creating a significant platform for scholarly exchange. Her leadership extends to editorial roles with major academic publishers and active participation in international research collaborations that have secured substantial funding for innovative projects in AI and software engineering.

Fei Heمشاهده پروفایل

دانشیار

• formal methods
• program analysis
• automated reasoning
• +۲ مورد دیگر

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.

Yannis Theodoridisمشاهده پروفایل

استاد

• Moving Objects Databases
• Location-Based Services
• Data Mining for Spatial Objects
• +۳ مورد دیگر

Yannis Theodoridis is a Professor at the Department of Informatics, University of Piraeus, leading the Information Systems Laboratory (InfoLab). He specializes in spatiotemporal databases, mobility analytics, and maritime data science. His research focuses on trajectory analysis, location-based services, and big data frameworks for transportation and maritime surveillance. Key projects include the MOD (Moving Objects Databases) initiative, the ARGOS framework for real-time trajectory prediction, and contributions to the HERMES trajectory database engine. He has advised 7 PhD students and co-authored numerous papers in IEEE and ACM venues. His work addresses challenges like vessel collision risk assessment, urban mobility optimization, and maritime event detection. He serves on the editorial board of the International Journal of Data Warehousing and Mining and contributes to conferences like PCI and ECML PKDD. His labs emphasize interdisciplinary approaches to mobility data science, integrating machine learning with domain-specific analytics.

• Artificial Intelligence
• Decision Support Systems
• Knowledge Management
• +۳ مورد دیگر

Professor Gregoris Mentzas is a faculty member at the National Technical University of Athens, School of Electrical and Computer Engineering, where he directs the Division of Industrial Electric Devices and Decision Systems. His research focuses on AI-enabled decision systems, knowledge management, and semantic technologies applied to digital enterprises and e-government. With over 350 publications, he ranks among the top 2% most cited scientists globally. Research Interests: Artificial intelligence for decision augmentation, big data analytics in personalized health and smart mobility, semantic web technologies, and industrial internet of things. Current projects investigate trustworthy AI frameworks and hybrid intelligence systems for Industry 5.0. Teaching: Leads courses in Digital Enterprise Management, Strategic Information Systems, and Project Management at undergraduate and postgraduate levels, incorporating industry case studies and experiential learning approaches. Awards & Leadership: Top 2% Highly Cited Scientist (PLOS Biology 2021) 5 Best Paper Awards in international conferences Director of Information Management Unit (1997-present) Board Member of Institute of Communication and Computer Systems (2006-2009) Projects & Funding: Secured over €18 million in research grants through 60+ European projects with industry partners including SAP, IBM, and Siemens. Research outcomes led to three technology spin-offs.

• VLSI Design
• Built-In Self-Test (BIST)
• Test Data Compression
• +۷ مورد دیگر

Chr. Kavousianos is an Assistant Professor in the Department of Informatics at the University of Ioannina, Greece. He is actively engaged in research and teaching in the fields of VLSI design, testability, and low-power testing. He has been involved in major national and international research programs such as Heracleitus II, Pythagoras, and NSF-SRC (USA). Research Interests: His research focuses on advanced techniques in built-in self-test (BIST), test data compression, scan-based testing, fault tolerance, and embedded control architectures. He explores methods to reduce test data volume, power consumption during testing, and improve defect coverage in integrated circuits. Publication Trends: His recent publications (2004–2011) show a strong trend toward defect-aware testing, power-efficient test compression, and multicore SoC testing. He frequently collaborates with leading researchers, including Prof. Krishnendu Chakrabarty (Duke University). His work on multilevel Huffman coding and reseeding techniques has been highly influential, with one paper among the most accessed in 2004. Special Distinction for Excellent Academic Performance from TEE, 1996 Doctoral Scholarship 'In Memory of Professor Maritsa', 1999 Postdoctoral Scholarship from IKY, 2002 Advising and Grants: He has supervised multiple postdoctoral researchers, PhD candidates (e.g., Vasilis Tenentes, Emmanouil Kalligeros), and master’s students. He has led research projects such as 'Embedded Control Architectures' (Heracleitus II) and 'Design Techniques for Embedded Self-Control Circuits' (Pythagoras II). His international collaboration with Duke University included a postdoctoral research role in 2009. Labs and Teams: He leads a research group at the University of Ioannina with postdocs, PhD students, and visiting professors, including Prof. Krishnendu Chakrabarty. His team works on cutting-edge VLSI testing and design methodologies.

Kostas Magoutisمشاهده پروفایل

استاد

• Distributed computer systems
• Cloud computing
• Scalable data stores and stream processing
• +۳ مورد دیگر

Kostas Magoutis is Professor and Chair of the Computer Science Department at the University of Crete , and a collaborating researcher at FORTH-ICS . His research focuses on scalable distributed systems, cloud computing, IoT, and quantum-enhanced control. Education and Career: Ph.D. in Computer Science, Harvard University (2003) Research Staff Member, IBM T. J. Watson Research Center (2003-2009) Assistant Professor (2014-2019, tenured 2017) and Associate Professor (2020-2024), University of Crete Professor and Chair, University of Crete (2024-present) Research Interests: His work spans distributed computer systems , cloud computing , scalable data stores and stream-processing engines , Internet of Things , and the emerging area of quantum-enhanced control . Representative projects include the H.F.R.I.-funded QUADS (2025-2028) on quantum-enhanced adaptive systems, STREAMSTORE (2020-2023) on elastic stream processing, SmartCityBus on IoT-driven public transport, and the EU FP7 PaaSage project on model-based cloud lifecycle management. Awards and Honors: Best Paper Awards: USENIX ATC 2002, USENIX BSDCon 2002, IEEE SRDS 2014 (Best Student Paper), IoT 2024 (Runner-up) Grand Challenge Audience Award, ACM DEBS 2022 Best Poster Award, ACM EuroSys 2022 EU Marie Curie IEF Fellow (2009-2011) Alexander S. Onassis Fellow (1994-1995) and J. William Fulbright Scholar (1993-1994) Students and Mentoring: He has supervised or co-supervised more than 30 Ph.D., M.Sc. and undergraduate students, including Antonis Papaioannou (Ph.D. 2021), Efthimios Papageorgiou (current Ph.D.), and numerous M.Sc. graduates now in industry and academia. Labs and Teams: At FORTH-ICS he leads activities within the Distributed Systems and Storage Laboratory, coordinating research on scalable storage, stream processing, and IoT data management. The lab collaborates closely with European and national initiatives, hosting visiting researchers and industry partners.

• Informatics Law
• Cyber Law
• Data Protection
• +۹ مورد دیگر

Ioannis Iglezakis is an Associate Professor at the School of Law, Aristotle University of Thessaloniki (AUTH), specializing in the intersection of law and technology. His academic career spans over three decades with continuous contributions to informatics law, cyber law, data protection, and privacy law. At AUTH, he teaches courses including Law of Informatics, Computers and Law I (Cyberlaw I), Computers and Law II (Privacy and Security in the Information Society), Legal Aspects of Cybercrime, Internet-Law, and Law and Information Technology. Dr. Iglezakis earned his undergraduate degree in Law from AUTH in 1987, followed by a Magister Legum Europae from Hannover University in 1993. He completed his postgraduate studies in History, Philosophy and Sociology of Law at AUTH in 1990 and earned his PhD in Law from AUTH in 1999. His educational background combines Greek legal training with European legal perspectives. His research interests focus on the legal challenges posed by digital technologies, with particular emphasis on data protection, privacy law, cybercrime regulation, digital rights, and the application of GDPR in various contexts. He has published extensively on topics including the right to be forgotten, digital identity management, workplace surveillance in the digital age, hate speech online, and the legal implications of emerging technologies like blockchain and artificial intelligence. His work bridges theoretical legal analysis with practical applications in the rapidly evolving digital landscape. The trends in his publications reveal a consistent focus on the evolving relationship between law and technology, with increasing attention to GDPR implementation, health data protection, and the challenges of algorithmic decision-making. His work spans multiple disciplines including legal theory, privacy studies, cyber security, and digital governance, reflecting the interdisciplinary nature of modern informatics law. Dr. Iglezakis has supervised over 50 master's theses at AUTH, mentoring the next generation of legal scholars in areas including cloud computing contracts, personal data protection, social media law, intellectual property in digital environments, and cybercrime. His administrative roles have included membership on the European Educational Programs Committee (2011-2012) and the Legal Committee of AUTH (2013-2014). His research projects include the 2018-2019 study on 'Legal Issues of Mobile Applications Development, Distribution and Use,' the 2014 '6th International Conference on Informatics Law,' and the 2013-2015 Center of Excellence for Cybercrime for Education, Research and Training in Greece. These projects highlight his commitment to addressing practical legal challenges in the digital domain while contributing to academic discourse.

Efthymios N. Karatzasمشاهده پروفایل

استادیار

• Numerical Analysis
• Computational Mathematics
• Optimal Control
• +۵ مورد دیگر

Efthymios N. Karatzas serves as an Assistant Professor in the Department of Mathematics at Aristotle University of Thessaloniki, Faculty of Sciences, within the Computer Science and Numerical Analysis Section. He maintains an active research profile in computational mathematics with strong institutional affiliations including collaborations with SISSA mathLab and FORTH Institute of Applied and Computational Mathematics. His academic credentials include: PhD in Mathematics, National Technical University of Athens (2015) Master's in Applied Mathematical Sciences – Computational Mathematics, NTUA (2009) Master's in Applied Mathematics, University of Patras (2001) Bachelor's in Mathematics (Computational Mathematics), University of Patras (1999) Dr. Karatzas' research program centers on advanced numerical techniques for partial differential equations , with pioneering work in reduced order modeling , embedded boundary methods , and optimal control systems . His expertise spans computational fluid dynamics, uncertainty quantification, and biomechanical applications, characterized by methodological innovation in handling geometrically complex domains through cut finite element approaches and shifted boundary formulations. Analysis of his 15 most recent publications reveals a cohesive research trajectory focused on developing efficient numerical frameworks for parametrized PDE systems. His work consistently bridges theoretical rigor with practical implementation, particularly in advancing reduced basis methods for fluid-structure interaction and biological modeling, demonstrating significant contributions to computational mathematics through high-impact journal publications. No major scientific awards are documented in the available sources. Dr. Karatzas demonstrates research leadership through project management roles including Scientific Manager for the ELIDEK project at NTUA (2019-2021) and Project Manager for the European Social Fund HEaD initiative at SISSA (2017-2019). His grant administration experience encompasses coordinating interdisciplinary teams and securing external funding for computational mathematics research. He maintains active collaborations with the SISSA mathLab in Trieste (particularly with Prof. Gianluigi Rozza's group) and the FORTH Institute in Crete, participating in international workshops including the Reduced Order Methods in CFD Summer School (2019) and SIAM UQ conferences. His research network spans computational mathematics groups across Europe with emphasis on advancing numerical methodologies for real-world engineering and biological applications.

• Power Systems
• Renewable Energy
• Smart Grids
• +۷ مورد دیگر

Dr. Aris Dimeas is a Researcher at the National Technical University of Athens in the Department of Electric Power and Industrial Applications . He holds a diploma and PhD in Electrical and Computer Engineering from NTUA and has extensive experience in power systems operations, renewable energy integration, and smart grid technologies. Specialized in AI applications for power systems Developed control software for demand side management Consultant for PPC (2007-2012) Research Focus : Smart grids and digital twin implementations Renewable energy market dynamics Microgrid optimization and control algorithms Collaborations : Active participant in EU research projects, collaborating with HEDNO and other energy grid operators on electronic meters and intelligent network deployments. Teaching : Instructs courses on electric energy systems, power system analysis, and energy management.

John Regehrمشاهده پروفایل

استاد

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

John Regehr is a Professor at the School of Computing, University of Utah, specializing in compilers, software testing, and formal verification. His research develops tools to improve software correctness and efficiency, including Csmith (random C program generator) and C-Reduce (test-case reducer). His group focuses on compiler validation, fuzzing techniques, and superoptimization, primarily targeting the LLVM infrastructure. Research interests span compilers, testing methodologies, formal verification, embedded systems, and program analysis. Recent work emphasizes practical tools backed by formal methods to detect and prevent software errors. Publications demonstrate strong trends in compiler verification and testing, with consistent focus on LLVM optimization correctness, translation validation, and automated bug detection through fuzzing and synthesis techniques. Scientific awards include: PLDI 2015 Distinguished Paper Award ICST 2014 Best Paper Award ACM SIGSOFT Distinguished Paper Award Leads a research group developing tools like Souper (superoptimizer) and Alive2 (translation validator). Maintains active academic service through program committees (PLDI, CGO, OOPSLA) and contributes to open-source compiler infrastructure.