Find Academic Supervisors

Ivan GavranView profile

Researcher

• Formal Verification
• Reinforcement Learning
• Multi-Robot Systems
• +3 more

Ivan Gavran is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS), focusing on foundational and applied aspects of computer science. His primary research interests include formal verification, reinforcement learning, multi-robot systems, and cyber-physical systems. He explores the intersection of formal methods with machine learning and robotics, aiming to create robust, provably correct systems. His work emphasizes practical applications such as smart contract verification, human-robot collaboration, and distributed task planning. He has developed tools like Lassie for interactive theorem proving and Antlab for multi-robot task coordination. Gavran’s contributions bridge theoretical computer science with real-world systems, addressing challenges in security, reliability, and scalability. While no formal awards are listed in the provided text, his publications reflect significant engagement with leading conferences in formal methods and robotics. His research often involves collaborative projects, leveraging MPI-SWS’s interdisciplinary environment to tackle complex problems in distributed systems and artificial intelligence.

• Algorithms
• Computational Geometry
• Data Structures
• +5 more

Erik Demaine is a Professor at the Massachusetts Institute of Technology (MIT), holding positions in the Department of Electrical Engineering and Computer Science (EECS) within the School of Engineering. He is also affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL) and the Theory of Computation (TOC) group. His research focuses on algorithms, computational geometry, data structures, complexity theory, discrete mathematics, and interdisciplinary areas like biology (protein folding) and computational archaeology. He is renowned for his interdisciplinary work, blending mathematics, computer science, and art. Notable contributions include the Carpenter's Rule Theorem, which proves planar linkages can be straightened without intersection, and foundational work on folding and unfolding problems. His collaborative approaches, including 'supercollaboration,' emphasize open problems and interdisciplinary methods. He has been featured in documentaries such as NOVA's The Origami Revolution and authored influential books like Geometric Folding Algorithms and Games, Puzzles, and Computation . Awards: MacArthur Fellowship (2003) Tetris Master Key Projects: Curved-crease sculptures in MoMA's permanent collection Virtual Glass software for glass design Origami-based computational models Demaine's work bridges academia and art, with notable exhibitions at the Museum of Modern Art (MoMA) and collaborative projects with his father, Martin Demaine. His research often explores playful yet rigorous computational challenges, reflecting his belief in the interplay between theory and creativity.

• Philosophy of Science
• Scientific Realism
• Epistemology
• +5 more

Ioannis Votsis is a Professor of Philosophy at Northeastern University London, serving as Research Head for the 'Reimagining Higher Education in the Age of AI' cluster. He holds a BA from UC Berkeley (1998) and a PhD from the London School of Economics (2004). His research focuses on philosophy of science, scientific realism, epistemology, metaphysics, and AI ethics. He has held visiting roles at Stanford, LSE, and the University of Pittsburgh, and leads projects on analogical reasoning, neuro-symbolic systems, and machine learning epistemology. Prof. Votsis co-edited special issues on democracy, computationalism, and scientific underdetermination, and chairs Northeastern’s diploma program. He actively contributes to interdisciplinary initiatives, including the Turing Institute’s Data Science group and the LSE’s Philosophy of Science Advisory Board. His work explores the intersection of AI, scientific methodology, and human cognition, with recent TEDx talks addressing AI’s societal impact and philosophical debates. Teaching responsibilities include courses on epistemology, philosophy of science, and critical reasoning. He has held academic roles across Europe, including as Assistant Director at the Düsseldorf Center for Logic and Philosophy of Science. His research is supported by grants from the German Research Foundation and the British Academy.

James LathropView profile

Associate Professor

• Human Computer Interaction
• Software Engineering
• Programming Languages
• +3 more

James Lathrop is an Associate Professor in the Department of Computer Science at Iowa State University with affiliations in the Laboratory for Molecular Programming. His research focuses on molecular programming, chemical reaction networks, and formal verification methods applied to biological systems. He holds a Ph.D. in Computer Science (Iowa State University, 1997), M.S. in Computer Science (Iowa State, 1994), and prior degrees in Electrical Engineering. Education: Ph.D. Computer Science, Iowa State University, 1997 M.S. Computer Science, Iowa State University, 1994 M.S. Electrical and Computer Engineering, University of California Irvine, 1987 B.S. Electrical Engineering, California State University Long Beach, 1983 Research interests include developing programming languages for molecular systems, verification of biochemical processes, and fault localization in molecular computing. Recent work emphasizes imperative and functional approaches to chemical reaction network control, with applications in nanotechnology and systems biology. Publications from 2023-2024 demonstrate focus on verification techniques for chemical systems, molecular programming languages, and formal methods applied to biochemical networks. No scientific awards are explicitly listed in the provided information. Advising and grants details are not specified here. Active participation in the Laboratory for Molecular Programming reflects ongoing collaborative work in this domain.

Louise DennisView profile

Associate Professor

• Artificial Intelligence
• Autonomous Systems
• Formal Verification
• +3 more

Dr. Louise Dennis is an Associate Professor at the University of Manchester's Department of Computer Science, specializing in artificial intelligence, autonomous systems, and formal verification. Her work focuses on developing verifiable systems, ethical reasoning in AI, and agent-based architectures. She contributes to the Centre for Digital Trust and Society and the Centre for Robotics and Artificial Intelligence, advancing research in safety-critical systems and human-AI collaboration. Her research interests span formal verification of autonomous systems, machine ethics, and agent programming languages. Notable projects include work on BDI agent models, ROS-based robotics verification frameworks, and ethical decision-making modules for space and nuclear systems. She actively participates in interdisciplinary initiatives addressing future computing risks and AI transparency. Key contributions include developing verification tools like Agent JPF and the PROSPER Toolkit, as well as pioneering ethical reasoning frameworks for autonomous robots. Recent work emphasizes explainability in safety-critical contexts and assurance case methodologies for robotic systems. Dr. Dennis collaborates internationally on standards for transparent autonomous systems (e.g., IEEE P7001) and advises on critical infrastructure resilience. She has delivered invited talks on machine ethics and verification, and her research spans robotics, cybersecurity, and space exploration applications.

• Software Engineering
• Formal Verification
• Concurrent Programming
• +3 more

Prof. Dr. Andreas Podelski is a Professor of Software Engineering at the Institute of Computer Science (Institut für Informatik) at the University of Freiburg, part of the Faculty of Engineering. His research focuses on formal verification, software model checking, and requirements engineering, with a particular emphasis on improving the reliability and safety of complex software systems. He leads the SystemValid project, funded by the German Federal Ministry of Education and Research (BMBF), which aims to validate requirements in system and software development to reduce errors early in the design phase. Key contributions include the development of verification tools like Ultimate Automizer and Ultimate Taipan , which are used in international competitions (e.g., SMT-COMP). His work bridges theoretical foundations and practical applications, addressing challenges in concurrent systems and safety-critical software. Podelski has been recognized as an IEEE Fellow (2022) and has collaborated with industry partners like Bosch on real-world applications of formal methods. His research also extends to teaching and academic leadership, contributing to courses on software engineering, formal methods, and verification. He actively engages in interdisciplinary projects, such as the European Flagship initiative DigiTwins , and has published extensively on topics including automated testing, concurrency, and model-driven engineering.

Florian SextlView profile

Research Fellow

• Program Verification
• Formal Methods
• Programming Languages
• +3 more

Florian Sextl is a Research Fellow and university assistant at the Formal Methods in Systems Engineering research unit at TU Wien, where he conducts research on program verification and formal foundations of programming languages. His work focuses on memory safety fundamentals, particularly through separation logic-based methods and the Rust programming language. Current projects explore biabduction techniques for ensuring memory safety across Rust-C foreign function interfaces and compositional shape analysis. Sextl teaches Program Analysis courses and has supervised research on join operators for bi-abductive analysis of low-level code. He maintains expertise in interactive theorem proving with Isabelle/HOL and Rocq.

• Embedded Systems
• Formal Verification
• Synchronous Languages
• +1 more

Timothy Bourke holds dual appointments as a Researcher at Inria (PARKAS team) and Adjunct Professor at École polytechnique's Informatics Department. His research develops rigorous methods for modeling, programming, and verifying embedded control systems, with applications ranging from medical devices to wireless protocols. Dr. Bourke employs synchronous languages and interactive theorem provers to create practical verification approaches. His team has worked on projects involving robotic wheelchairs, microkernel operating systems, and wireless routing protocols. Current research focuses on bridging theoretical frameworks with real-world embedded system challenges. As an active member of the programming languages community, he serves on program committees for leading conferences including EMSOFT, ECRTS, and iFM. His pedagogical contributions include courses on programming language theory at École normale supérieure and École polytechnique.

• Interactive Theorem Proving
• Automated Theorem Proving
• Proof Theory
• +3 more

Stefan Hetzl is an Associate Professor at Vienna University of Technology (TU Wien), affiliated with the School of Informatics and the Institute of Computer Science. His research focuses on computational logic, proof theory, and formal languages, with a particular emphasis on automated and interactive theorem proving. He contributes to the development of the GAPT system for proof analysis and participates in projects like the Automated Analysis of Mathematical Proofs funded by the Austrian Science Fund (FWF). Interactive Theorem Proving Automated Theorem Proving Proof Theory Theory of Formal Languages Hetzl has supervised multiple academic theses, including Diploma Theses on topics such as open induction, finite languages, and cyclic superposition. His publications span areas like cut-elimination, Herbrand sequents, and higher-order logic, reflecting a deep engagement with structural invariance and algorithmic transformations in formal proofs. While no explicit awards are listed, his work contributes significantly to the theoretical foundations of computer science and mathematical logic.

Pascal SchreckView profile

Professor

• Geometric Computing
• Formal Methods in Geometry
• Automated Deduction
• +3 more

Pascal Schreck is a Professor of Computer Science at the University of Strasbourg, affiliated with the Department of Computer Science within the UFR of Mathematics and Computer Science. He is a researcher at the ICube laboratory and has held administrative roles, including Director of the Computer Science Department (2008–2011) and course coordinator for specialized programs. His research focuses on geometric computing, formal methods in geometry, automated deduction, and geometric constraint solving, with contributions to theorem proving, computational geometry, and CAD applications. His work integrates algebraic and geometric approaches to solve problems like constructibility in geometric constructions, incidence geometry, and constraint systems. He has developed methods using Coq proof assistants for formal verification and explored topics such as homotopy-based solutions for geometric constraints. His contributions span theoretical advancements and practical applications in areas like 3D modeling and medical trajectory planning. Key research trends include leveraging formal systems (e.g., Coq) for mechanized proofs, analyzing geometric constructs' feasibility, and improving algorithms for constraint resolution. His publications address foundational geometry theorems (e.g., Dandelin-Gallucci), combinatorial geometry, and automated construction verification. He has also contributed to international workshops and conference proceedings on automated deduction in geometry. As a member of the ICube laboratory and the IGG Team (Geometric and Graphical Computing), Schreck collaborates on interdisciplinary projects, bridging mathematics, computer science, and engineering. His work emphasizes rigorous formalization, algorithm optimization, and practical implementation in geometric problem-solving domains.

Tobias NipkowView profile

Professor

• Logic
• Term Rewriting
• Functional Programming
• +4 more

Tobias Nipkow is a Professor for Logic and Verification at the Department of Informatics, Technical University of Munich (since 2011), previously serving as Professor for Theory of Programming (1992-2011). His career spans academic roles at The University of Manchester, MIT, and University of Cambridge, including positions as Lecturer, Research Associate, and Advanced SERC Fellow. Research Interests focus on foundational aspects of computer science, particularly Formal verification of algorithms and systems Interactive theorem proving Term rewriting systems Semantics of programming languages Development of proof assistants Automated reasoning techniques Notable Publication Trends include extensive contributions to Isabelle/HOL formalization, verification of programming languages, and critical advancements in term rewriting and automated deduction. His work bridges theoretical foundations with practical verification tools. Scientific Awards Herbrand Award for Distinguished Contributions to Automated Reasoning (2021) Editorial Leadership includes tenure as Editor-in-Chief of the Journal of Automated Reasoning (2007-2020) and co-founding editor roles for ACM Transactions in Computational Logic and Logical Methods in Computer Science .

Son HoangView profile

Associate Professor

• Formal Methods
• Autonomous Systems
• Program Semantics
• +3 more

Dr. Son Hoang is an Associate Professor in the School of Electronics and Computer Science at the University of Southampton, where he leads research in formal methods and autonomous systems. He is a core member of the Cyber-Physical Systems Group and serves as Admissions Tutor for the Aerospace Electronic Engineering program. Hoang holds a first-class honors degree in Computer Engineering (2001) and a PhD (2006) from the University of New South Wales, Australia, where he developed the Probabilistic B-Method and supporting toolkit. His research focuses on formal system development , program semantics , and autonomous systems verification . Current projects include HD-Sec (Holistic Design of Secure Systems on Capability Hardware) and HICLASS (Enabling Development of Complex and Secure Aerospace Systems). His work consistently applies formal methods like Event-B and UML-B to safety-critical domains. Publication analysis reveals Hoang's research centers on formal verification techniques for autonomous and cyber-physical systems, with recent emphasis on: safety-security coengineering, exception handling mechanisms, human intervention modeling in autonomous vehicles, and requirements engineering for critical systems. Awards: Best paper award at ICECCS 2014 Best paper award at iFM 2007 Hoang supervises PhD candidates including Haider Mahmood Al-Shareefy, and mentors undergraduate/master's students in software engineering projects. His grant portfolio includes EPSRC-funded research on secure hardware and aerospace systems. He leads developments in the Rodin formal methods platform and contributes to the university's Event-B @ Soton initiative.

Pierre CorbineauView profile

Assistant Professor

• Formal Proof Systems
• Certified Security Protocols
• Interactive Theorem Proving
• +3 more

Pierre Corbineau is an Assistant Professor in the Distributed and Complex Systems Group at the VERIMAG laboratory, teaching at Polytech'Grenoble engineering school within Joseph Fourier University. Previously, he held postdoctoral positions at Radboud University Nijmegen and completed his PhD at Laboratoire de Recherche en Informatique (LRI) in the Démons team. Education: PhD in Computer Science (2005), University Paris 11 Master's thesis (2001), University Paris 7 Research Interests: Focuses on certified security protocols, formal proof systems, and web-based collaborative theorem proving. Develops declarative proof languages (e.g., C-zar for Coq) and contributes to automated reasoning in type theory. Explores first-order logic proof search and equational reasoning. Teaching: Manages courses in microcontrollers, object-oriented programming, and UNIX system programming. Serves as pedagogic manager for Year 3 in the 3I department. Previously taught logic for mathematics aggregation preparation. Software Contributions: Developed C-zar (part of Coq since v8.1), a PTS type checker, and probabilistic binary tree implementations. Contributed to Coq's core functionality through reflective proof techniques and formal validation frameworks.

• Artificial Intelligence
• Multi-Agent Systems
• Preference Elicitation
• +6 more

Scott Buffett is an Adjunct Professor at the Faculty of Computer Science, University of New Brunswick, and an Associate Research Officer at the National Research Council Canada (NRC), working in the Learning and Collaborative Technologies Group under the Information and Communications Technology Portfolio. He holds a PhD in Computer Science from the University of New Brunswick (UNB). His primary research focus is on artificial intelligence, particularly multi-agent systems, preference elicitation, workflow/process mining, and social commerce. He has developed systems like OmniBid, which demonstrates mechanism design for automated negotiations that balance individual utility and societal welfare. His work extends to privacy in e-commerce, data mining, and machine learning. Education: PhD (UNB), MSc in Automated Theorem Proving. Current teaching includes MBA courses in Production and Operations Management and Social Network Analysis. Past courses include Decision-Theoretic Agents and FORTRAN Programming. He supervises graduate students in preference modeling, negotiation systems, and workflow analytics. His research has been published extensively in conferences like CAI, ICEC, and journals like Electronic Commerce Research and Applications. He is active in collaborative technologies and data-driven process optimization. Research Interests: Multi-Agent Systems: Negotiation mechanisms, utility theory, and societal welfare optimization. Preference Elicitation: Techniques for extracting user preferences with minimal intrusion, including Bayesian methods and clustering. Workflow Mining: Dynamic process modeling for real-time guidance in industries like manufacturing and energy. Social Commerce: Analyzing social network effects on commercial interactions using network analysis techniques. Privacy and Data Analytics: Frameworks for privacy compliance in collaborative environments and energy management systems. Publications: Over 30 peer-reviewed articles, including work on automated negotiation, process mining theory, and preference network adaptation. Recent focus on dynamic process composition and socially aware commerce systems.

Mark van den BrandView profile

Professor

• Software Engineering
• Digital Twin Engineering
• Model-Driven Engineering
• +4 more

Mark van den Brand is a Full Professor of Software Engineering and Technology at Eindhoven University of Technology (TU/e), where he holds the chair in Software Engineering and serves as Scientific Director of the Digital Twin Lab (part of EAISI). He concurrently holds a Visiting Professorship at Royal Holloway University of London. His academic journey includes a PhD in Computer Science from Radboud University (1992), prior roles as part-time Associate Professor at Vrije Universiteit Amsterdam, and senior research positions at CWI. He also serves as Editor-in-Chief of the Journal on Software Engineering of Autonomous Systems (JSEAS) and editorial board member of Computer Languages, Systems and Structures . His research focuses on software engineering fundamentals, digital twins, model-driven engineering, safety-critical systems, and automotive software. Key contributions include work on domain-specific languages, model consistency, and safety assessment frameworks. He leads the Software Engineering and Technology cluster at TU/e and directs educational initiatives in the Department of Mathematics and Computer Science. Recent publications emphasize digital twin engineering, model management, and automotive systems safety. He collaborates internationally on projects like the C-ITS reference architecture and functional safety for autonomous driving. His work bridges academic research with industrial challenges through tools like SAMOS and COGENT, addressing scalability and consistency in large-scale systems. Current educational responsibilities include courses on programming, digital systems, and data science. He actively engages with industry through the TU/e innovation ecosystem, focusing on impactful research solutions for modern software engineering problems.