Find Academic Supervisors

Javier EsparzaView profile

Professor

• Theoretical Computer Science
• Software Verification
• Model Checking
• +9 more

Javier Esparza is a Professor and Chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich (TUM), Germany. He has held academic positions at several prestigious institutions including the University of Stuttgart, University of Edinburgh, and Technische Universität München since 1990. His work focuses on theoretical computer science with applications in software verification and formal methods. His educational background includes: M.S. in (Theoretical) Physics from the University of Zaragoza (Spain, 1987) Ph.D. in Computer Science from the University of Zaragoza (Spain, 1990) Habilitation in Computer Science from the University of Hildesheim (Germany, 1994) Professor Esparza's research interests span multiple areas of theoretical computer science and formal methods. He has made significant contributions to the fields of software verification, model checking, and Petri nets. His work on algorithms for the design and verification of reactive and distributed systems has been particularly influential. He has developed theoretical foundations and practical tools for analyzing systems with infinitely many states, pushing the boundaries of what can be formally verified. His research on formal models for distributed systems, particularly Petri nets and process algebras, has provided new insights into concurrency theory. Additionally, his work on the analysis of probabilistic systems and applications of linear and constraint programming to verification problems has opened new avenues for research. His recent publications demonstrate a continued focus on fundamental problems in verification and theoretical computer science, with particular emphasis on population protocols, model checking techniques, and theoretical foundations of distributed computing. His work bridges the gap between theoretical insights and practical applications in software reliability. His scientific achievements have been recognized with several prestigious awards: Doctor honoris causa in Informatics, Masaryk University (2009) Dissertation prize, University of Zaragoza (1990) TeachInf Award for best Bachelor course at TU München (2009) TeachInf Award for best Master course at TU München (2010) Diploma for excellent Teaching, TU München (2011) Member of Academia Europaea (2011) Professor Esparza has successfully advised numerous PhD students who have gone on to make their own significant contributions to computer science. His research has been consistently supported by competitive grants from major funding bodies including the German Research Council (DFG), the British Engineering and Physical Sciences Research Council, and the European Union. His research projects have often involved international collaborations, reflecting the global recognition of his work. He leads a vibrant research group at TUM focused on theoretical computer science and verification. The group has developed several influential software tools including Rabinizer, Peregrine, Owl, and Strix, which are widely used in both academia and industry for verification tasks. His group maintains strong collaborations with research institutions worldwide, particularly in Europe.

Orna GrumbergView profile

Professor

• Model checking
• Automated verification
• Abstraction and refinement
• +7 more

Orna Grumberg is a Leumi Chair Professor in the Computer Science Department at the Technion - Israel Institute of Technology. She has held this professorship since 2005 and was awarded the Leumi Chair in Science in 2011. Professor Grumberg serves on the Steering Committee of the Computer-Aided Verification (CAV) conference and has been actively involved in the academic community through editorial boards and conference committees. Her educational background is deeply rooted at the Technion, where she received her B.Sc., M.Sc., and Ph.D. in Computer Science. Professor Grumberg's research spans several critical areas in computer science, with a primary focus on formal verification methods. Her work has significantly advanced the field of model checking and automated verification systems. She has made substantial contributions to abstraction techniques, refinement methods, and counterexample analysis in verification processes. Her research extends to compositional model checking, SAT-based approaches, distributed verification systems, and applications to security vulnerability detection. Her theoretical work on temporal logics and automata on infinite objects provides the mathematical foundation for many practical verification tools. The publication record of Professor Grumberg demonstrates a consistent research trajectory focused on improving model checking techniques. Her work shows evolution from foundational model checking approaches to more specialized techniques like abstraction-refinement, SAT-based solving, and security applications. The research spans theoretical computer science, practical software engineering applications, and hardware verification, reflecting the interdisciplinary nature of formal methods. Professor Grumberg has received recognition through her leadership roles in the field, including serving on the Steering Committee of the CAV conference and editorial boards of prestigious journals like "Information and Computation" and "Formal Methods in System Design". Her book "Model Checking" co-authored with E.M. Clarke and D. Peled has become the standard reference in the field. As an educator and mentor, Professor Grumberg has shaped the verification landscape in Israel. She served as Associate Dean for Graduate Studies at the Technion and established the software engineering track with a strong verification component. Her introductory model checking course attracts approximately 100 students annually. Her students now hold prominent positions in academia (Hebrew University, Tel-Aviv University) and industry (particularly at IBM). She maintains strong industry collaborations, with ongoing projects with IBM on UML Verification and with Rafael on Finding Security Vulnerabilities in Network Protocols. Professor Grumberg leads research groups that form the foundation for verification teams in major Israeli technology companies like IBM and Intel, demonstrating the practical impact of her academic work.

Sagiv ShmuelView profile

Professor

• Software verification
• Shape analysis
• Smart contracts
• +7 more

Prof. Sagiv Shmuel is a Full Professor at Tel-Aviv University's Department of Computer Science. He has held various academic roles, including Associate Professor (2004–2005), Senior Lecturer (2000–2004), and visiting positions at institutions such as the University of Chicago and University of Copenhagen. His research focuses on software verification, shape analysis, smart contracts, and programming languages. Education: Ph.D. in Computer Science, Technion (1986–1990) B.A. in Computer Science, Technion (1982–1985), cum laude Research Interests: His work addresses challenges in static analysis, formal verification, and program analysis. Notable areas include invariant inference, smart contract security, and parametric shape analysis. These contributions have led to practical tools like Ivy and the foundation of Certora, a company specializing in smart contract verification. Awards: ACM Fellow (2016) Friedrich Wilhelm Bessel Research Award (2002) Microsoft Outstanding Collaborator Award (2016) Grants & Leadership: Principal Investigator (PI) of a Senior ERC Grant (1.57M Euros) for software composition verification Editor of Foundations and Trends in Programming Languages Chair of program committees for POPL, SAS, and other leading conferences His research has been applied to real-world systems, such as improving the Java concurrent library and ensuring kernel extension security in Linux.

Nicolas HalbwachsView profile

Researcher

• Embedded Systems Verification
• Synchronous Programming
• Formal Methods
• +3 more

Nicolas Halbwachs is a Research Director at CNRS and Director of the Verimag Laboratory, affiliated with the University of Grenoble. His work focuses on formal methods for embedded systems, synchronous programming, and verification techniques. He co-developed the Lustre language, which forms the basis of the industrial tool Scade, and contributed to Linear Relation Analysis for program verification. Halbwachs has held positions including Invited Professor at Stanford University (1992-93) and has been recognized with the 2004 Michel Monpetit Award. He has supervised 10 PhD theses and contributed to major research projects like the SYRF Esprit project and the ASSERT initiative. His research spans verification of real-time systems, abstract interpretation, and automated invariant discovery in array-manipulating programs. Education: State Thesis in Mathematics (Grenoble, 1984), Third Cycle Thesis in Computer Science (Grenoble, 1979) Research Highlights: Synchronous Programming Foundations, Linear Relation Analysis, Lustre Language Development Leadership: Editor of Formal Methods in System Design, Program Committee Chair for CAV'99, TACAS'05, and EMSOFT'09 His recent work addresses invariant discovery in array-based programs, extending abstract interpretation techniques to handle complex data structures.

• Software Engineering
• Formal Methods
• Automatic Test Generation
• +5 more

Prof. Maria Christakis is a full professor at TU Wien's Faculty of Informatics, leading the Rigorous Software Engineering Group and the Software Engineering Research Unit. Her research focuses on developing reliable software tools and improving developer productivity through formal methods, automatic test generation, and program analysis. She holds a PhD from ETH Zurich and a diploma from the National Technical University of Athens. Her work bridges verification and systematic testing, with notable contributions to fuzzing, static analysis, and neural network certification. Key projects include tools like Harvey (smart contract fuzzer), DeepSearch (neural network attack framework), and Nomos (specification language for machine learning models). Her research has received awards including the Best Presentation Award at FSE'20 and a Distinguished Paper Award at ICSE'16. She advises multiple PhD and master's students and teaches courses in advanced software engineering and formal methods. Current projects explore green fuzzer benchmarking, compositional smart contract verification, and testing code translation models. Grants: Austrian Science Fund (FWF) doctoral school on Automated Reasoning Labs/Teams: Rigorous Software Engineering Group, Software Engineering Research Unit

Wilhelm ReinhardView profile

Professor

• Compilers for programming languages
• Static program analysis
• Safety-critical embedded systems
• +1 more

Wilhelm Reinhard is a Full Professor of Informatics at Saarland University, holding the Chair for Programming Languages and Compiler Construction since 1978. He also serves as Scientific Director of Schloss Dagstuhl (Leibniz Center for Informatics) since 1990. His roles include coordinating projects like AVACS and Predator, and he is affiliated with AbsInt GmbH. Reinhard earned his Dr. rer. nat from TU München in 1977. Education: 1977: Dr. rer. nat in Computer Science, TU München Research Focus: His work centers on compiler design, static program analysis, safety-critical systems, and real-time systems. He emphasizes timing guarantees for embedded systems. Awards and Honors: ACM Fellow (2000) Konrad-Zuse Medal (2009) ACM Distinguished Service Award (2010) Professional Activities: He chairs conferences like EMSOFT and LCTES, and advises institutions such as CWI. He has been a key figure in European research networks (ARTIST2, ARTIST DESIGN).

Andreas ZellerView profile

Professor

• Software Security
• Automated Software Debugging
• Software Testing and Analysis
• +3 more

Andreas Zeller is a Full Professor of Computer Science at Saarland University and a faculty member at CISPA Helmholtz Center for Information Security in Germany. His research focuses on software engineering, automated debugging, and software testing/analysis, with foundational contributions like Delta Debugging and the SZZ algorithm. He has held academic positions since 2001 and leads projects funded by ERC grants, including the 'Semantics of Software Systems (S3)' initiative. Education: Ph.D. in Computer Science (1997, focused on software versioning). Research interests include mining software repositories, input grammar inference, fuzzing, and open science practices. He has authored influential papers (e.g., 'Mining Software Histories to Guide Software Changes' with over 1,700 citations) and interactive textbooks like The Fuzzing Book and The Debugging Book . Key awards include ACM Fellow (2010), ERC Advanced Grants (2011, 2023), and multiple 10-Year Most Influential Paper Awards. His group at CISPA/Saarland includes PhD students and postdocs working on testing, debugging, and security.

Ezio BartocciView profile

Professor

• Cyber-Physical Systems
• Formal Methods
• Runtime Verification
• +5 more

Univ. Prof. Dr. Ezio Bartocci is a Professor at TU Wien, leading the Forschungsbereich Cyber-Physical Systems . His research focuses on formal methods, runtime verification, and probabilistic systems in Cyber-Physical Systems (CPS). He leads projects like 'Distribution Recovery for Invariant Generation of Probabilistic' and 'Trustworthy IoT for CPS'. Key interests include specification mining, probabilistic hyperproperties, and developing tools like MoonLight for spatio-temporal monitoring. Recent work explores reinforcement learning ethics, neural network verification, and adaptive testing frameworks. His contributions span conferences such as HSCC and RV, with notable publications on parameter synthesis, fault localization in CPS, and moment-based analysis of probabilistic loops. Research Interests : Cyber-Physical Systems (CPS) design and validation Formal specification and verification techniques Probabilistic systems and hyperproperties Runtime monitoring and adaptive testing Neural networks and ethical AI Labs/Teams : Active in TU Wien's Cyber-Physical Systems research unit, collaborating with industry and academia on CPS security and autonomous systems.

• Geoinformatics
• Cartography
• Geographic Information Systems
• +3 more

Christoph Traun is a Researcher in Geoinformatics at Paris Lodron University Salzburg, affiliated with the International Institute for Geoinformatics. With continuous project involvement since 2001, he currently contributes to ongoing initiatives including TStour (Tien Shan tourism development, 2025-2026) and previously led roles in GI-N2K and ENERGEO projects focused on geospatial workforce development and environmental monitoring. His research centers on advanced cartographic techniques and geospatial analysis, with significant contributions to animated choropleth maps, value generalization methods, and spatial autocorrelation applications. Recent work explores AI integration in cartography (e.g., generative KI systems) and GIS education innovation, particularly examining ChatGPT's impact on teaching methodologies. He maintains strong focus on practical applications in urban planning, sustainability assessment, and tourism development. Traun's publication record reveals evolving trends from foundational GIS education research toward cutting-edge geovisualization and AI-driven spatial analysis. His 2021-2025 output demonstrates increasing emphasis on temporal data visualization, ethical AI implementation, and interdisciplinary urban studies. Award for outstanding teaching (2015) Special Achievement in GIS Award: UNIGIS (2014) As project staff in five major grants totaling over 15 years of continuous funding, Traun has secured significant resources for geospatial research including EU-funded initiatives like ENERGEO (environmental impact of energy use) and VESTA-GIS (vocational GIS training). His collaborative approach involves partnerships across Europe and Central Asia, with recent work focusing on workforce development and sustainable tourism metrics. He actively participates in the UNIGIS network and contributes to academic discourse through conference workshops and public lectures on geovisualization principles, most recently presenting at the u3Green Workshop (2024) and TStour seminar series.

Heinz DoblerView profile

Professor

• Software Development
• Compiler Design
• Static Program Analysis
• +3 more

Heinz Dobler serves as a Professor at the University of Applied Sciences Upper Austria, Hagenberg Campus, affiliated with the Research Center Hagenberg. With an h-index of 28 and 43 research outputs spanning 1986-2024, his career demonstrates sustained contributions to software engineering and programming languages. His research focuses on software development methodologies, compiler construction (particularly parsing techniques and semantic evaluation), static program analysis, and genetic programming. Significant work includes innovations in software testing for class libraries and educational approaches for programming novices, reflecting both theoretical depth and practical application. Recent publications (2010-2024) reveal consistent advancement in compiler technologies and software engineering. Key trends include hybrid parsing techniques (BoB), framework-independent genetic programming (GPDL), and testable task design for programming education. His work bridges formal language theory with real-world software development challenges. Scientific awards: No major awards are documented in available records, though his h-index of 28 indicates substantial scholarly impact. Dobler has supervised at least two students, as noted in institutional records. While specific grant details are absent, his leadership in organizing the annual DACHS symposium series (2020-2024) demonstrates active involvement in collaborative research initiatives and academic community building. As a core member of the Research Center Hagenberg, he contributes to software engineering research teams and drives the DACHS symposium series, which fosters interdisciplinary collaboration in compiler design, genetic programming, and software testing. His ongoing 2024 activities confirm active research leadership within the institution.

• Programming Languages
• Logic Programming
• Constraint Programming
• +4 more

Ulrich Neumerkel is an Assistant Professor in the Department of Compilers and Languages at Technische Universität Wien (TU Wien). He holds academic titles of Dipl.-Ing. (FH) and Dr.techn. His primary research focuses on programming languages, logic programming, and constraint programming, with significant contributions to Prolog optimization, garbage collection, and formal methods. He is also actively involved in educational initiatives, developing declarative programming tools and curricula. Neumerkel teaches courses such as Logic Programming and Constraints, Advanced Logic Programming, and Programming 2. He leads research in formal semantics of Prolog, constraint solver design, and memory management techniques. His work includes contributions to ISO/IEC Prolog standards and the development of tools like the Vienna Abstract Machine (VAM) and the GUPU environment for Prolog education. His research interests span compiler design, termination analysis, and program transformation. He has supervised students, including M. Seidl, on diploma theses related to virtual machine comparison and other topics. Neumerkel's affiliations include the Compilers and Languages group within TU Wien's Institute for Information Systems Engineering.

• Software Engineering
• Semantic Analysis
• Microservices
• +3 more

Johann Glock is a PhD candidate and university assistant (Univ.-Ass.) in the Software Engineering Research Group (SERG) at the University of Klagenfurt, Austria. His research is supervised by Prof. Martin Pinzger. He is affiliated with the Department of Informatics Systems and contributes to the Team ICS Eder. His work focuses on software engineering challenges, including developer understanding of code changes, microservice API evolution, and semantic analysis techniques. Education: Holds BSc and MSc degrees (exact institutions unspecified). Research interests span semantic differencing, API evolution strategies, software quality metrics, and developer productivity tools. His recent publications investigate symbolic execution-based methods for code comprehension and empirical studies on microservice architecture challenges. Publications emphasize practical software engineering solutions, with a focus on improving developer workflows and system maintainability. He has contributed to tools like PASDA for semantic code comparison and studies on design patterns' impact on software quality. No scientific awards are explicitly mentioned. Teaching involvement includes software practicum courses and project supervision. Active in the Interactive Systems Research Team (IAS) and contributes to ongoing projects in software engineering and HCI.

Manuel HermenegildoView profile

Professor

• Constraint Programming
• Logic Programming
• Functional Programming
• +7 more

Manuel Hermenegildo is a Full Professor at the Technical University of Madrid (UPM) and Director of the IMDEA Software Research Institute in Spain. He held the Prince of Asturias Endowed Chair at the University of New Mexico (2003-2008) and was previously a project leader at MCC (1986-1989) and Adjunct Associate Professor at the University of Texas at Austin (1987-1990). Education: M.S. and Ph.D. in Computer Engineering, University of Texas at Austin (1986) Engineer's Degree in Electrical and Telecommunications Engineering, Technical University of Madrid (1981) His research spans programming language design , abstract interpretation-based analysis , parallelizing compilers , and parallel/distributed processing . His work integrates theoretical advances with practical implementations like the Ciao system and PiLLoW library. Recent publications focus on parallelization , program verification , mobile code security , and distributed programming . Key methodologies include abstract interpretation , constraint logic programming , and compiler optimization . Scientific Awards: ACM Fellow Julio Rey Pastor Prize (highest Spanish national award in Mathematics and ICT) Aritmel Prize in Computer Science President of the Association for Logic Programming He has led numerous national and international projects, served as area editor for journals like Theory and Practice of Logic Programming , and participated in EU advisory committees (ISTAG, CREST). His work on the Abstraction Carrying Code (ACC) approach advances mobile code safety and trusted computing.

• Formal Methods
• Software Engineering
• Machine Learning
• +3 more

Eva Schenner is a Researcher at TU Wien's Department of Software Engineering, affiliated with both the Office Services and eduLAB teams. She specializes in formal methods, program analysis, and machine learning applications in software engineering. Her work focuses on testing tools, smart contract certification, and probabilistic models for material design. She has led multiple high-profile projects, including the FWF-funded 'Types4Strings' (2024–2027), WWTF's 'Effective Formal Methods for Smart-Contract Certification' (2023–2027), and an Amazon Research Award project on testing Dafny (2024–2027). Her research also spans metamorphic testing of machine-learning models and probabilistic hybrid models for material design. Education: Mag.a phil. (Master of Philosophy) Her awards include Amazon and Google Research Awards, and grants from the WWTF and Max-Planck-Gesellschaft. She actively contributes to initiatives like Bebras, promoting computational thinking education since 2007. Labs/Teams: Involved in the Software Engineering group within the Faculty of Informatics, collaborating with industry partners like Amazon and Google.

• Computer Science
• Cybersecurity
• Web Security
• +3 more

Magdalena Maria Solitro is a PreDoc Researcher at the Security and Privacy department of Technische Universitat Wien (Vienna University of Technology). Her research focuses on cybersecurity , web security , and formal methods , with a recent publication on sound reachability analysis for WebAssembly at the IEEE Computer Security Foundations Symposium (CSF) 2024 . She has contributed to projects such as Browsec , CDL-BOT , ForSmart , and SFB SPyCoDe , spanning from 2018 to 2027. Her work addresses critical challenges in software security and program analysis.