Find Academic Supervisors

Deian StefanView profile

Associate Professor

• Security
• Programming Languages
• Systems
• +7 more

Deian Stefan is an Associate Professor in the Computer Science and Engineering (CSE) Department at University of California, San Diego (UCSD) . His research focuses on secure systems , spanning security , programming languages , and systems . Notably, he works on WebAssembly , JavaScript JITs , and language-based security (e.g., constant-time programming, memory safety, information flow control). Education : PhD in Computer Science from Stanford University (2015), M.Eng and B.Eng in Electrical Engineering from Cooper Union (2011) His research trend emphasizes secure compilation , transient execution attacks , and hardware-software co-design for security . Key themes include SFI (Software Fault Isolation) , constant-time cryptography , and WebAssembly hardening . Scientific Awards Distinguished paper awards at POPL 2023, IEEE MICRO Top Picks 2024 IEEE Cybersecurity Award for Practice 2022 CSA W first place (2020), DJB Prize (2010) He teaches graduate courses like CSE 227: Graduate Computer Security and CSE 291: Building Secure Systems , covering topics from supply chain attacks to hardware defenses . He co-founded web-security startup Intrinsic (acquired by VMWare).

Vivek SarkarView profile

Professor

• Parallel Computing
• Heterogeneous Computing
• High-Performance Computing
• +5 more

Vivek Sarkar is currently the Chair of the School of Computer Science and the Stephen Fleming Chair for Telecommunications in the College of Computing at Georgia Institute of Technology. His career spans both industry and academia, with significant contributions to parallel computing, including programming models, compilers, and runtime systems. Ph.D. from Stanford University (1995-2007: IBM Academy of Technology member) 2007-2017: Chair of Computer Science Department at Rice University 2017-present: Georgia Institute of Technology Research Interests focus on programmability and productivity in parallel, heterogeneous, and high-performance computing systems. His work encompasses: Programming language design (e.g., X10, Habanero-C/C++) Compiler optimization and runtime systems Formal verification for parallel programs Education initiatives (Coursera specialization on parallel programming) Recent Publications highlight verification techniques in compilers, machine learning integration for code optimization, and Rust-based interfaces for distributed C++ systems. Scientific recognitions include: ACM Fellow IEEE Fellow 2020 ACM-IEEE CS Ken Kennedy Award He has mentored over 30 Ph.D. students/postdocs and leads the Habanero Extreme Scale Software Research Laboratory , which develops scalable parallel programming frameworks. Current advisory roles include: US Department of Energy’s ASCAC (2009-present) Computing Research Association (CRA) Board (2015-2022) Founding co-chair of CRA-Industry committee (2021)

• Computability Theory
• Mathematical Logic
• Higher-Order Computation
• +7 more

John Longley is a part-time Lecturer in the School of Informatics at the University of Edinburgh, affiliated with the Laboratory for Foundations of Computer Science. His research is centered on higher-order computability, mathematical logic, and game semantics in programming languages. Research Interests: His work explores the foundations of computation, especially what it means for operations of higher types to be computable. He investigates various models including Kleene computability, λ-algebras, and intensional models. His research bridges mathematical logic and theoretical computer science, with applications in programming language semantics and constructive mathematics. John Longley's publications, including the comprehensive book Higher-Order Computability (2015), reflect a deep engagement with computability at higher types. His recent works continue to explore foundational models, sequentiality, continuity, and realizability, forming a cohesive body of work in theoretical computer science. He has also developed educational tools like Stratagem and Eriskay to teach game semantics interactively. Scientific Awards: No specific awards mentioned in the provided texts. Advising and Grants: While no explicit list of students or grants is provided, his role as a lecturer and active researcher suggests involvement in student supervision and research funding. He has co-authored significant works and maintains a research group presence via his laboratory affiliation. Labs and Teams: He is a member of the Laboratory for Foundations of Computer Science (LFCS), a leading research group in theoretical computer science at the University of Edinburgh, contributing to foundational research in logic, semantics, and computability.

Jean-Cédric ChappelierView profile

Senior Lecturer

• Computational Linguistics
• Natural Language Processing
• Machine Learning
• +3 more

Jean-Cédric Chappelier is a Senior Lecturer and Researcher at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences. He works in computational linguistics and natural language processing, with a focus on robust parsing techniques, semantic indexing, and clustering algorithms. His research interests span computational linguistics, natural language processing, machine learning, tree substitution grammars, and semantic indexing. His publications from 2000-2006 demonstrate expertise in stochastic parsing, ontology-based indexing, and community structure analysis in complex networks. He has supervised multiple EPFL PhD students including Florian Seydoux and Emmanuel Eckard. Jean-Cédric holds an Ms.Sci. and Ph.D. in Computer Science from École Nationale Supérieure des Télécommunications de Paris. He teaches courses on object-oriented programming, computer systems, and natural language processing at EPFL.

Viviana MascardiView profile

Associate Professor

• Artificial Intelligence
• Multi-Agent Systems
• Natural Language Processing
• +3 more

Viviana Mascardi serves as an Associate Professor within the Department of Computer Science, Bioengineering, Robotics, and Systems Engineering (DIBRIS) at the University of Genoa. Her teaching responsibilities encompass core computer science courses such as Algorithms and Data Structures for the undergraduate program, and advanced topics including Natural Language Processing and Symbolic and Distributed Artificial Intelligence for master's students. Dr. Mascardi's research spans several key areas in Artificial Intelligence. She specializes in Multi-Agent Systems, where she develops frameworks for intentional dialogue systems and investigates agent deployment strategies. Her work in Natural Language Processing focuses on integrating ontologies with cognitive conversational agents. Additionally, she contributes to software engineering through runtime verification techniques for object-oriented programming constructs. Analysis of her recent publications (2023-2024) reveals consistent contributions across three primary domains: multi-agent architectures, natural language processing systems, and software verification methodologies. Her research demonstrates a strong interdisciplinary approach, connecting theoretical computer science with practical applications in virtual environments and conversational AI. No scientific awards were mentioned in the available information. Similarly, details regarding student advising, research grants, laboratory facilities, or collaborative research teams were not provided in the source material.

• Functional Safety
• Functional Testing
• Microprocessor Testing
• +9 more

Riccardo Cantoro is an Associate Professor in the Department of Control and Computer Science (DAUIN) at Politecnico di Torino, where he is a member of the College of Computer, Film and Mechatronics Engineering and the College of Mechanical, Aerospace and Automotive Engineering. He is affiliated with the CAD - Electronic CAD & Reliability Group and the CARS@PoliTO Interdepartmental Center for Automotive Research and Sustainable Mobility. His work bridges academic research and industrial applications through multiple commercially funded projects. Scientific Disciplinary Sector: IINF-05/A - Information Processing Systems ERC Sectors: PE7_4, PE6_2, PE6_11, PE6_12 His research focuses on functional safety, functional testing, and microprocessor testing, with a strong emphasis on embedded systems and reliability. He applies machine learning and formal methods to enhance test efficiency and system robustness, particularly in automotive and safety-critical domains. His work integrates computer-aided design, fault modeling, and resilience assessment in both hardware and AI systems. The recent publications highlight a trend toward data-efficient and intelligent testing methodologies, combining machine learning (e.g., TabPFN, active learning) with traditional electronic design automation. Topics include microcontroller performance screening, CNN resiliency, FeFET device testing, and system-level test optimization, reflecting a cohesive research agenda in trustworthy computing and hardware reliability. Scientific Awards: No awards explicitly mentioned in the provided texts. Advising and Grants: Dr. Cantoro supervises numerous PhD students in Computer and Systems Engineering, focusing on functional safety, test methodologies, and AI for CAD. He leads multiple industry-funded research projects, including collaborations with Infineon Technologies and Dana-TM4 Italia, on topics such as ATPG tools, speed monitor modeling, and power module reliability. His role as Scientific Manager/Head underscores his leadership in applied research and technology transfer. Labs and Teams: He is a core member of the CAD - Electronic CAD & Reliability Group (DAUIN) and contributes to the CARS@PoliTO center, fostering interdisciplinary research in automotive systems and sustainable mobility.

• Program Analysis
• Program Synthesis
• Program Transformation
• +5 more

Kihong Heo is an Associate Professor at the School of Computing, Korea Advanced Institute of Science and Technology (KAIST), where he leads the Programming Systems Laboratory. He received his Ph.D. in Computer Science & Engineering from Seoul National University and previously served as an Assistant Professor at KAIST (2017-2019) and a Post-doctoral Researcher at the University of Pennsylvania (2009-2017). His research focuses on developing program reasoning systems for safe and reliable software, with three main thrusts: AI-based program analysis systems for detecting deep semantic software bugs, general-purpose program simplification systems for secure and efficient software, and scalable program synthesis systems for automatic software generation and repair. His work bridges formal methods, programming languages, and machine learning to address critical challenges in software reliability and security. Prof. Heo's recent publications demonstrate a strong trend toward integrating machine learning techniques with traditional program analysis and verification methods. His research spans compiler correctness (particularly for JavaScript engines), mobile security verification, and automated program transformation. The work on 'Safeguarding Mobile GUI Agent via Logic-based Action Verification' (MobiCom 2025) and 'Optimization-Directed Compiler Fuzzing for Continuous Translation Validation' (PLDI 2025) exemplifies his focus on practical verification techniques for real-world systems. ACM SIGSOFT Distinguished Paper Award (FSE 2025) Amazon Research Award (2024) The Soo-Young Lee Teaching Innovation Award, KAIST (2024) Prize for Excellence in Teaching, KAIST (2024) Best Artifact Award, ICSE (2022) ACM SIGPLAN Distinguished Paper Award, PLDI (2019) Prof. Heo actively mentors graduate students, currently advising three Ph.D. students (Yeonhee Ryou, Taeeun Kim, Sujin Jang) and four Master's students. He serves on program committees for major conferences including ICSE, PLDI, OOPSLA, and SAS, and is an Associate Editor for ACM Transactions on Software Engineering and Methodology (TOSEM). His Programming Systems Laboratory develops tools like Sparrow, a state-of-the-art static analyzer for C programs that applies abstract interpretation techniques to verify the absence of fatal bugs.

Anders MøllerView profile

Professor

• Programming Languages
• Software Engineering
• Static Program Analysis
• +4 more

Anders Møller is a Professor and Vice Head of Department at the Department of Computer Science, Aarhus University, Denmark. He is a leading researcher in programming languages and software engineering, with a primary focus on static and dynamic program analysis. He serves as Chairman of the PhD Committee and holds leadership roles in the international research community, including Vice-Chair of ACM SIGPLAN and Associate Editor for ACM TOPLAS and ACM TOSEM. His research interests include programming languages, software engineering, static and dynamic analysis, program verification, and security. His work bridges theoretical foundations and practical applications, particularly in improving software reliability and security through advanced analysis techniques. The trends in his recent publications reflect a strong emphasis on static analysis for security, scalability, and real-world impact—especially in web applications, smart contracts, and open-source software supply chains. His research has evolved toward practical deployment, demonstrated by the founding and acquisition of Coana by Socket in 2025 for enhanced vulnerability detection. Recipient of the Danish Elite Research Prize 2020 ACM Distinguished Member He actively mentors students and contributes to the academic community through conference leadership (e.g., OOPSLA, PLDI, ICSE). He also co-authored the widely used textbook Static Program Analysis with Michael I. Schwartzbach. His work is deeply integrated into both academic and industrial advancements in software analysis and security.

Tuan Phong NgoView profile

Researcher

• Formal methods
• Concurrent program verification
• Weak memory models
• +2 more

Tuan Phong Ngo is a Researcher in Computer Science at Uppsala University , Sweden, affiliated with the Department of Information Technology under the Disciplinary Domain of Science and Technology . He specializes in formal methods and software verification.

Jeff HuangView profile

Associate Professor

• Programming Languages
• Software Engineering
• Concurrency
• +1 more

Jeff Huang is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, specializing in programming languages and software engineering with a focus on concurrency and runtime verification. His research develops advanced program analysis techniques and tools to enhance software performance and reliability. Programming Languages Software Engineering Concurrency Runtime Verification His work has been recognized with prestigious awards including the ACM SIGSOFT Early Career Researcher Award, NSF CAREER Award, Google Faculty Research Award, and DARPA Young Faculty Award. Notably, his research has earned multiple SIGPLAN Research Highlights and PLDI Distinguished Paper Awards. ACM SIGSOFT Early Career Researcher Award NSF CAREER Award Google Faculty Research Award Mozilla Research Award Facebook Research Award DARPA Young Faculty Award ACM SIGSOFT Outstanding Dissertation Award ACM SIGPLAN PLDI Distinguished Paper Award SIGPLAN Research Highlights Jeff Huang actively contributes to academic communities as a committee member in venues like SPLASH, ICSE, ISSTA, and PLDI. He has authored influential papers on concurrency bug detection, pointer analysis, and language translation tools, spanning both theoretical foundations and practical implementations.

Gergely MezeiView profile

Associate Professor

• Model-driven engineering
• Multi-level modeling
• Formal verification
• +6 more

Dr. Gergely Mezei is an Associate Professor and Deputy Head of the Department of Automation and Applied Informatics at the Budapest University of Technology and Economics (BME) , Hungary. He is affiliated with the Applied Computer Science Group within the department and is actively involved in research and education in model-driven engineering and formal methods. His research interests lie at the intersection of multi-level modeling , formal verification , and model transformation systems . He has contributed extensively to the development of modeling languages and tools, particularly in the context of DMLA (Deep Multi-Level Architecture) and Melanee , focusing on enabling rigorous, scalable, and verifiable modeling practices. Dr. Mezei's work emphasizes performance optimization in model transformations, visual modeling frameworks , and domain-specific languages . His research spans both theoretical foundations and practical tool implementations, with a strong focus on bridging the gap between formal semantics and usable modeling environments. His recent publications reflect a consistent focus on advancing the state-of-the-art in multi-level modeling and formal verification , with contributions to international workshops such as MULTI and MPM . These works explore challenges in model validation, transformation correctness, and the usability of modeling tools in complex systems engineering. Contact: Email: gmezei@aut.bme.hu Office: Q.B228, Budapest University of Technology and Economics, 1117 Budapest, Magyar tudósok krt. 2., Hungary Phone: +36 (1) 463-3491

Claire IngramView profile

Lecturer

• Software-driven technology innovation
• Design and new product development in creative sector
• Cyber-physical systems
• +4 more

Claire Ingram is a Lecturer (Teaching and Scholarship) in the Department of Computer Science at the University of York, where she serves as Deputy Undergraduate Admissions Tutor. She works at DC Labs in York, focusing on innovation and R&D practices in the creative sector, the role of the creative sector in regional innovation systems, and whole systems viewpoints that consider holistic environments. Dr. Ingram holds a PhD in empirical techniques examining early stage software engineering design from Newcastle University. Her academic background combines Computer Science with extensive experience in both academic research and commercial applications, specializing in software and system design. Her research spans software-driven technology innovation in multi-disciplinary fields, with current work focused on design and new product development in the creative sector. Previously, she studied design in cyber-physical systems. She has extensive experience with systems of systems engineering, having worked on EU-funded projects including COMPASS and Road2CPS, where she evaluated new systems engineering methods and contributed to strategic research agendas for Cyber-Physical Systems in Europe. Her 15 most recent publications demonstrate a consistent focus on systems engineering, particularly systems of systems architecture, fault modeling, and innovation practices. Her work spans from foundational software engineering metrics to applied research in cyber-physical systems and creative sector innovation. Dr. Ingram is an active member of the International Council of Systems Engineering (INCOSE) and contributes to INCOSE's Systems of Systems Working Group, demonstrating her commitment to advancing systems engineering practices internationally. Her professional activities include collaborative projects developing tools and methods for developers and engineers to cooperate in early design stages of cyber-physical systems, as well as exploring how software practitioners use informal local meetups to share knowledge. She has extensive experience with international research collaborations across multiple sectors. She maintains active research laboratories and teams through her work at DC Labs, where she investigates the intersection of technology innovation, creative industries, and systems engineering approaches.

Tolga OvatmanView profile

Professor

• Algorithms and Computing Theory
• Computer Software and Software Engineering
• Cloud Computing
• +6 more

Prof. Dr. Tolga Ovatman is a faculty member at the Department of Computer Engineering, Istanbul Technical University , where he has been serving as Head of Department since 2024. His academic career spans roles from Research Assistant (2004-2012) to Associate Professor (2019-2023) and full Professor (2023-present). He previously held administrative roles such as Vice Dean (2018-2022) and Deputy Head of Department (2016-2018). PhD in Computer Engineering (2005-2011) MS in Computer Engineering (2003-2005) BSc from Hacettepe University (1999-2003) His research focuses on model checking , replicated state machines , cloud computing , and object-oriented software . Recent work addresses computation offloading in 6G networks , collaborative text editing data structures , and energy-efficient environmental monitoring systems . Key projects led include Design of a Multiplexed State Machine Storage System for Edge Computing (2022-2024) and Microservice Compatible Symphony Infrastructure Research (2020). He has supervised numerous theses on topics ranging from collaborative text editing to AI applications in watershed management . Publications span IEEE Transactions , Springer , and conferences like CSCE and CLOSER .

Alex WhiteView profile

Senior Lecturer

• Thermofluids
• Two-Phase Flow
• Thermodynamics
• +6 more

Dr. Alex White is a Senior Lecturer in Thermofluids at the Department of Engineering, Cambridge University, and a Fellow and Director of Studies at Peterhouse. He earned his undergraduate and PhD degrees from King's College, Cambridge, and conducted postdoctoral research in Cambridge, Lyon, and Toulouse before returning to Cambridge in 2000 as part of the Energy Group. His research focuses on two-phase flow (vapour-droplet flows), thermodynamics of power generation, Computational Fluid Dynamics (CFD), and heat pumps. His work includes theoretical and numerical studies on warm dense matter, electron transport, and energy storage systems like pumped thermal and compressed air storage. Recent publications emphasize warm dense matter physics, inertial confinement fusion, and thermal energy storage innovations. His theoretical analyses and simulations span high-energy-density plasmas, nonlocal electron stopping power, and hybrid energy systems. While no scientific awards are documented, his contributions to thermofluids and extreme condition physics are significant.

Thomas P. JensenView profile

Professor

• Program Analysis
• Static Program Analysis
• Abstract Interpretation
• +7 more

Thomas P. Jensen is a Directeur de recherche (Research Director) at INRIA, the French National Institute for Computer Science and Applied Mathematics. He has been affiliated with INRIA since 2010, previously serving as a researcher at CNRS (French National Center for Scientific Research) from 1993 to 2010. Currently, he leads the Epicure project-team on semantic analysis and compilation for secure execution platforms, and since 2022, he serves as director of the Laboratoire d'Excellence CominLabs. His educational background includes a Cand. scient. in Computing and Mathematics from the University of Copenhagen (1990), a PhD from Imperial College, University of London (1992), and a Habilitation à diriger des recherches from Université Rennes 1 (1999). Dr. Jensen's research focuses on program analysis and software security , with particular expertise in static program analysis based on abstract interpretation theory, language-based security, information flow control, and Software Fault Isolation. His work bridges theoretical foundations with practical applications in secure compilation and program verification. His recent publications reveal a strong trend toward formally verified security mechanisms, particularly in the integration of Software Fault Isolation with verified compilers like CompCert. His research spans both theoretical aspects of program semantics and practical security applications, with increasing emphasis on algebraic data types, relational analysis, and formal verification of program transformations. Best paper award at GPCE 2018 for Verification of High-Level Transformations with Inductive Refinement Types Editor of Strategic research and innovation roadmap for the SPARTA cybersecurity competence network (2022) Dr. Jensen has been actively involved in numerous research projects including JavaSec, Decert, Seccloud, AJACS, Anastasec, SPARTA, and SecurEval. His leadership roles in research teams and projects demonstrate his significant contributions to both academic research and practical cybersecurity applications. His work often involves collaboration with researchers across Europe on large-scale cybersecurity initiatives. He maintains strong connections with the international programming languages and security research communities, regularly publishing in top venues including PLDI, POPL, ICFP, SAS, ESOP, and CSF, and participating in program committees for major conferences in these fields.