Find Academic Supervisors

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)

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.

• Computer Systems Security
• Compilers
• Operating Systems
• +3 more

V. N. Venkatakrishnan is a Professor and Associate Dean for Research and Graduate Studies at the College of Engineering, University of Illinois at Chicago. His research focuses on Computer Systems Security with applications in web security, exploit detection, and security automation. Education: Ph.D in Computer Science (2004), Stony Brook University Research Interests: Spanning Computer Systems Security , Venkatakrishnan's work integrates compilers , operating systems , and formal methods to develop defenses against cyber attacks. His recent publications emphasize automated attack detection, exploit generation, and security frameworks for web applications. Scientific Awards: Distinguished Paper Award at USENIX Security 2018 Best Paper Award at IEEE QRS 2016 2009 ATT Award for Best Applied Security Research Best Paper Award at ACSAC 2003 Advising and Collaborations: He has mentored numerous Ph.D. and M.S. students including Sadegh Momemi and Maliheh Monshizadeh. Former advisees include Birhanu Mekuria (now at University of Michigan) and Rigel Gjomemo (now Research Assistant Professor at UIC).

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

Karsten WolfView profile

Professor

• Theoretical Computer Science
• Formal Methods
• Model Checking
• +3 more

Professor Karsten Wolf holds the Chair of Theoretical Computer Science at the Institute of Computer Science, University of Rostock. He serves as Vice-Rector for Studies and Teaching and holds several key positions including Member of the Senate Commission for Studies, Teaching and Evaluation, and Spokesperson of the specialist group "Petri Nets and Related System Models" of the German Informatics Society. His research focuses on theoretical computer science, particularly in the areas of: Development of correct systems Computer-aided verification Algorithms for Web Services Petri Nets and related system models Professor Wolf's publication record demonstrates consistent expertise in formal verification methods, with recent work emphasizing modular state spaces, temporal logic verification, and approximation techniques. His involvement in the Model Checking Contest (2018-2024) shows his commitment to advancing verification methodologies through empirical evaluation and benchmarking. His professional service includes: Editorial board member of LNCS subseries ToPNOC (Theory of Petri nets and other models of concurrency) Editorial board member of Petri Net Newsletter Member of the German Computer Science Society (GI) Head of the Study Commission of the Faculty Day of Computer Science As Vice-Rector for Studies and Teaching, Professor Wolf plays a critical role in shaping educational policies and academic programs at the University of Rostock, bridging his theoretical expertise with practical educational leadership.

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 .

Malte HelmertView profile

Professor

• Automated Planning
• Combinatorial Search
• Artificial Intelligence
• +7 more

Malte Helmert is a Professor at the University of Basel in the Department of Mathematics and Computer Science. He previously worked at the University of Freiburg's Research Group on the Foundations of Artificial Intelligence from 2001 to 2011. His research focuses on intelligent problem-solving , particularly in automated planning , combinatorial search , constraint satisfaction , and NP-hard graph problems . Helmert has made significant contributions to classical planning, including the development of the Fast Downward planning system and its derivatives. Education : Diploma in Computer Science (M.Sc.) from the University of Freiburg (2001) Ph.D. in Computer Science from the University of Freiburg (2006) Research interests encompass the theoretical and practical aspects of automated planning, including heuristic search , optimal planning , abstraction techniques , and domain-independent planning . His work explores merge-and-shrink abstractions , landmark progression , and cost partitioning algorithms for classical planning systems. Recent publications analyze advancements in pseudo-Boolean proof logging , higher-dimensional potential heuristics , and correlation complexity in planning domains. These works often integrate mathematical modeling, algorithm design, and empirical benchmarking. Scientific awards include the AAAI Fellow (2021), EurAI Fellow (2020), multiple Best Paper Awards at ICAPS and SoCS conferences, and the Computers and Thought Award (2011). He also received the VDI-Förderpreis for his Master’s thesis. Software contributions include the Fast Downward planning system, MIPS (now maintained by Stefan Edelkamp), and COVER (a vertex cover solver). Helmert has organized tutorials at ICAPS and AAAI conferences on topics like landmark progression , abstraction heuristics , and LP-based heuristics .

Cynthia KopView profile

Associate Professor

• Term Rewriting
• Higher-Order Term Rewriting
• Implicit Complexity
• +6 more

Cynthia Kop is an Associate Professor in the Software Science group at Radboud University Nijmegen's Institute for Computing and Information Sciences. She holds a prominent position in the academic community with significant contributions to term rewriting systems and their applications in computer science. Her research interests span several interconnected areas of theoretical computer science: Term rewriting systems (both first and higher-order) Implicit computational complexity Program verification and equivalence Constrained rewriting systems Automated reasoning techniques Her recent work demonstrates a clear trajectory toward applying term rewriting techniques to solve practical problems in program verification and complexity analysis. The three most recent publications from 2019 show her focus on constrained rewriting for program equivalence, higher-order dependency frameworks, and cons-free rewriting for implicit complexity characterization. These works represent the intersection of theoretical foundations with practical applications in software verification. Dr. Kop has secured significant research funding through competitive grants including: NWO VIDI project CHORPE (2021-2026): Constrained Higher-Order Rewriting and Program Equivalence NWO TOP project ICHOR (2019-2023): Implicit Complexity through Higher Order Rewriting Marie Curie project HORIP (2015-2017): Higher Order term Rewriting for Intensional Properties She actively supervises PhD students including Liye Guo, Kasper Hagens, and Deivid do Vale, and has developed several influential tools for the rewriting community: WANDA (termination analysis), CTRL (constrained rewriting), and Cora (comprehensive rewriting analysis framework). Her professional service includes chairing the IFIP working group 1.6 on rewriting and serving on numerous program committees for major conferences in her field.

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.

• Programming Languages
• Formal Verification
• Functional Programming
• +9 more

Li-yao Xia is a researcher at INRIA Saclay in France, with a focus on programming languages, formal verification, and functional programming. His research explores bidirectional programming, lazy evaluation, concurrency, and mechanized verification using tools like Coq and Haskell. His work spans conferences such as ICFP, POPL, and SPLASH, where he has authored and co-authored papers on topics including interaction trees, transactional objects, and demand semantics for cost analysis. He has also served on program committees for Haskell and HIW. For more details, visit his personal website: https://poisson.chat .