Find Academic Supervisors

Ghassan KarameView profile

Professor

• Blockchain Security
• Machine Learning Security
• Platform Security
• +3 more

Prof. Dr. Ghassan Karame is a Full Professor of Computer Science at the Ruhr-University Bochum , leading the Chair for Information Security. He is a Principal Investigator in the Cluster of Excellence CASA and Director of the Horst Goertz Institute for IT Security since October 2023. Additionally, he serves as a part-time Chief Scientific Advisor at NEC Laboratories Europe . His research focuses on blockchain security and privacy , platform/storage security , and machine learning security . He has contributed to improving cryptocurrency protocols, hardware-assisted secure systems, and decentralized trust mechanisms. Education : PhD in Computer Science from ETH Zurich (2011) His recent work explores federated learning security, side-channel attacks in TEEs, and practical blockchain scalability solutions. He has served on over 50 program committees and held editorial roles at IEEE TDSC and IEEE TIFS. Notable Awards : 2024 Outstanding Editorial Board Member Award (IEEE Signal Processing Society) 2020 Value Realization Award (NEC) 2019 IEEE TC Best Paper Award Degree among top 2% authors (Stanford-Elsevier) His teaching includes courses on systems security, blockchain security, and practical ML security, with thesis projects in blockchain, ML, and platform security. He leads the Information Security Chair , part of major research initiatives like CASA and HGI.

Eugene H. SpaffordView profile

Professor

• Information Security
• Cybersecurity
• Computer Forensics
• +2 more

Dr. Eugene H. Spafford ("Spaf") is a Distinguished Professor in the Department of Computer Sciences at Purdue University, serving since 1987. He holds courtesy appointments in Philosophy, Communication, Electrical and Computer Engineering, Nuclear Engineering, and Political Science. As founder and Executive Director Emeritus of CERIAS and the COAST Laboratory, he has shaped information security research and education. His research centers on information security, computer crime investigation, and information ethics. Spafford's work in cybersecurity, computer forensics, and computing ethics has established him as a leading figure in the field. He emphasizes practical security solutions and ethical considerations in technology. Recent publications address cybersecurity myths, deception-based security techniques, and password security, alongside memorials for computing pioneers. This blend reflects his dual focus on advancing security research and preserving the field's history. Spafford has advised numerous graduate students and secured significant funding for CERIAS, fostering interdisciplinary collaboration. He currently serves as Editor-in-Chief of Computers & Security and on the board of the Computing Research Association. Leading CERIAS, Spafford built one of the world's premier academic centers for information assurance, integrating expertise from computer science, engineering, and social sciences to address complex security challenges.

Sara Miner MoreView profile

Academic

• Computer Science Education
• Cryptography
• Information Flow
• +3 more

Sara Miner More is an Associate Teaching Professor in the Department of Computer Science at Johns Hopkins University, where she has served since 2014. As of 2019, she is the Director of Gateway Computing. Her research focuses on computer science education, cryptography, and the foundations of computing. Ph.D. in Computer Science (2003), UC San Diego MS in Computer Science (1998), UC San Diego BS in Computer Science and Mathematics (1996), University of Dayton Her research interests span: Computer science pedagogy and curriculum development Information flow security and cryptographic protocols Formal logic and dependency relations in computing Notable trends in her publications include: Foundational cryptography research (1999-2002) Transition to computer science education and logic (2005-2012) Collaborative security models with hypergraph applications Scientific awards: Robert B. Pond, Sr. Excellence in Teaching Award (2016) She teaches multiple gateway computing courses including Java and Python bootcamps, data structures, and automata theory.

• Quantum Information Science
• Quantum Computing
• Quantum Error Correction
• +6 more

Dr. Thinh Le is a Postdoctoral Research Fellow at the School of Computer Science , University of Technology Sydney , where he works at the Centre for Quantum Software and Information (since 2023). His academic journey includes research fellowships at the Institute for Quantum Optics and Quantum Information Vienna (2020-2023) and Leibniz University Hannover (2019-2020). He earned his PhD in Physics (2015) and BSc in Physics (2011) from the National University of Singapore . Thinh's research focuses on quantum information science , bridging theoretical foundations and experimental implementations. His work addresses critical challenges in quantum computing (error correction, fault tolerance), quantum tomography (device-independent characterization), and quantum software stack development. He investigates quantum randomness generation, Bell nonlocality, and entanglement distillation for quantum networks, with applications in quantum cryptography and secure communication. His recent publications examine advanced topics like trapped-ion lattice surgery (2025), quantum correlation boundaries (2025), and quantum backflow phenomena (2023). Earlier work established foundational limits for real quantum theory (2021) and developed practical entanglement distillation protocols (2018). Scientific awards include the Lise Meitner Postdoctoral Fellowship (2020-2023) and Humboldt Postdoctoral Fellowship (2019-2020). His funded research projects focus on quantum computing error correction and device-independent quantum tomography , aligning with his theoretical expertise guided by experimental applications.

Naoki YamamotoView profile

Assistant Professor

• Graph Pattern Matching
• Static Type Checking
• Graph Rewriting Languages
• +4 more

Naoki Yamamoto is an Assistant Professor (non-tenure lecturer) at Waseda University's School of Fundamental Science and Engineering, Department of Computer Science and Engineering since April 2025. He also holds a part-time lecturer position at the University of Tokyo's College of Arts and Sciences (Junior Division) since October 2025. Previously, he served as a Research Associate at Waseda University from April 2022 to March 2025. He received his Doctor of Engineering from Waseda University in March 2025, following his Master of Engineering (2021) and Bachelor of Engineering (2019) from the same institution. Dr. Yamamoto's educational background is impressive, having earned his Bachelor's, Master's, and Doctoral degrees consecutively from Waseda University's School of Fundamental Science and Engineering. During his doctoral studies under Professor Kazunori Ueda, he focused on advanced topics in programming languages and graph theory. He was awarded the Outstanding Student Award (Dean's Award) from Waseda University in March 2019. His research interests center around graph-based programming language theory, with particular expertise in Graph Pattern Matching , Static Type Checking for complex data structures , and Graph Rewriting Languages . He has developed innovative approaches to handling graph structures that go beyond traditional algebraic data types like lists and trees. His work bridges theoretical computer science with practical implementation, focusing on how to safely manipulate complex graph structures in programming languages. His publication record demonstrates consistent advancement in graph-based type systems. Starting with foundational work on static type checking for graph operations (2019), he progressed to handling numeric constraints (2020), extending type expression power (2022), and developing grammar-based approaches for difference data structures (2024). His research shows a clear trajectory from theoretical foundations to practical applications, with increasing sophistication in handling complex graph structures. His work on LMNtal ShapeType represents a significant contribution to the field of graph rewriting languages. Outstanding Student Award (Dean's Award), Waseda University (2019) Dr. Yamamoto has been actively involved in teaching and research supervision, having served as a Teaching Assistant for 14 courses between 2018-2021. He currently teaches Introduction to C Programming and C Application Development at Waseda University, and Introduction to Algorithms at the University of Tokyo. He has received research funding through the Japan Society for the Promotion of Science Grants-in-Aid for Scientific Research, collaborating with Professor Kazunori Ueda on projects related to high-level languages with powerful data structures and concurrency. As a member of Ueda Laboratory at Waseda University, Dr. Yamamoto has contributed to the development of tools like Lambda Friends, a web-based interpreter for lambda calculus written in TypeScript. His research group focuses on advancing programming language theory, particularly in the areas of graph rewriting and type systems, with applications in both programming languages and modeling languages. His work demonstrates how graph rewriting languages can unify program execution and model checking functionalities while guaranteeing well-formedness of graph structures.

• Computer technology
• Forensic psychology
• Information and communication technology
• +10 more

Michael Alexander Riegler is a full-time Professor at Oslo Metropolitan University's Faculty of Social Sciences, specifically in the Department of Social Work, Child Welfare and Social Policy. While his formal academic affiliation focuses on social sciences, his research interests span interdisciplinary domains including computer technology, information and communication systems, medical technology, and mathematics/natural sciences. Current research projects: Strengthening solidarity for democratic unity across border (SOLIDEM) addressing trust erosion in European welfare states, and Artificial intelligence in assisted reproduction technology improving embryo/sperm selection Recent publications (2025) focus on AI applications in healthcare (wearable sensors, ECG reconstruction), anomaly detection in time-series data, multimodal healthcare data analysis, and psychiatric motor activity datasets

Eunjee SongView profile

Associate Professor

• Software Engineering
• Aspect-Oriented Modeling
• Software Security
• +3 more

Eunjee Song is an Associate Professor and Graduate Program Director in the Department of Computer Science at Baylor University, Waco, Texas. She joined Baylor in 2006 and has held positions ranging from Lecturer (2006-2007) to Assistant Professor (2007-2013), Associate Professor (since 2013), and Graduate Program Director (2017-2021, 2023-current). PhD (2006) and MS (2001) in Computer Science from Colorado State University BS in Computer Engineering (1991) and Architecture (1988) from Seoul National University Her research focuses on software engineering , particularly aspect-oriented modeling for software security. Key interests include model-driven engineering , software verification , formal methods , and adaptive control of real-time systems . Her work often integrates property formalization and model verification for high-confidence systems. Recent publications emphasize hybrid access control systems , testability frameworks , and adaptive user interfaces , reflecting her expertise in model-driven security solutions . She has co-authored 15+ papers, with several appearing in SCI-indexed journals. Best Conference Paper Award at RACS 2012 She has advised 13 graduate students (PhD and MS) since 2007, including collaborations with Dr. Tomas Cerny (University of Arizona) and Dr. David Lin (SMU). Courses taught include Advanced Software Engineering, Software Verification & Validation, and Software Quality Assurance.

Christelle ScharffView profile

Professor

• Artificial Intelligence
• Deep Learning
• Machine Learning
• +6 more

Christelle Scharff is a Professor at Pace University 's Seidenberg School of Computer Science and Information Systems. Her research spans Artificial Intelligence , Global Software Engineering , and ICT for Development (ICTD) , with a focus on cultural and educational applications. 1993-1999: BS, MS, PhD in Computer Science (Universite Henri Poincare, France) Her work includes AI ethics , deep learning for cultural preservation , and mobile technology for education in Africa . She leads the Seidenberg School's Artificial Intelligence Lab and has secured grants from NSF, IBM, Microsoft, Google , and USAID . Recent publications analyze global AI strategies , scrum team dynamics , and coding education in Africa . Her projects emphasize localization and sustainable technology deployment in Senegal and Cambodia. 2023 : NYAS Scientist Fellow 2019, 2012 : Fulbright Scholar in Senegal 2015 : Jefferson Award for Public Service She teaches advanced courses including Mobile Application Development , AI Ethics , and Software Reliability , with a pedagogical approach integrating field research and social entrepreneurship.

Coen De RooverView profile

Professor

• Program Analysis
• Software Quality
• Static and Dynamic Analysis
• +7 more

Coen De Roover is a Professor at the Software Languages Lab of the Vrije Universiteit Brussel , actively leading research in program analysis, software quality, and security. He chairs the Bachelor in Computer Science program and supervises a dynamic research group. Research Focus: Static/dynamic analysis, automated testing, software maintenance, AI for SE, infrastructure as code security. Projects: Bugatti (2025-2028), Cracy (2024-2027), CRPF (2024-2028), BaseCamp Zero (2022-2026), EcoPipe (2023-2025), APAX (2022-2024). Scientific Awards: MSR 2025 Distinguished Dataset Award IEEE TCSE Distinguished Paper Award (SANER 2022) ICSE 2022 Best Artifact Award SCAM 2022 Best Artifact Award Conference Leadership: General Chair of SCAM 2024, Program Co-Chair for GPCE 2024, and active in organizing summer schools on security testing.

Gregor SneltingView profile

Professor

• Programming Languages
• Compiler Construction
• Program Analysis
• +7 more

Gregor Snelting is a Professor and head of the Chair of Programming Paradigms at the Karlsruhe Institute of Technology (KIT), Faculty of Computer Science, Institute for Programming Languages and Compiler Construction. His research focuses on compiler construction, program analysis, software security, and verification. His primary research interests include programming languages, compiler design, program analysis, software security, information flow control, formal verification, object-oriented and concurrent programming, and software reengineering using concept analysis. His work aims to provide solid theoretical foundations and empirical validation. The research output, particularly the 15 most recent articles, shows a strong emphasis on software security and program analysis, with a focus on information flow control in Java using the JOANA tool. There is also a significant thread on invasive computing and resource-aware parallel programming. The work combines deep theoretical contributions, such as formal semantics and correctness proofs, with practical tool development and empirical validation. Faculty Teaching Award for the course 'Practice in Software Development' Snelting leads a research group that has developed several significant tools, including JOANA for security analysis, the Praktomat system for automated grading of programming assignments, and contributions to the libFirm compiler framework. His group is a key participant in major research initiatives like the DFG Collaborative Research Center InvasIC and the DFG Priority Program RS3. He advises students and supervises theses, fostering research in programming paradigms and software security. The group is involved in several key research projects: JOANA for information flow control in Java, InvasIC for invasive computing and dynamic parallelism, Quis-Custodiet for machine-checked correctness proofs of security analyses, and the development of the libFirm compiler framework.

Chris HawblitzelView profile

Researcher

• Programming Languages
• Operating Systems
• Verification
• +4 more

Chris Hawblitzel is a Senior Principal Researcher at Microsoft Research , affiliated with the Systems Research Group – Redmond . His work bridges programming languages, operating systems, verification, and security, emphasizing the integration of safe programming language features into systems development. Research interests include: Programming Languages and Type Systems Formal Verification of Systems Software Language Design for Security and Safety Systems and Networking Recent publications highlight advancements in Rust verification, linear types for systems, proof automation in F*, assembly language verification, and tactic languages. Key trends involve leveraging type systems for safety, SMT-based automation, and cross-layer formal methods. He has contributed to academic communities as a committee member for conferences such as PLDI 2025 , OOPSLA 2023 , and CPP 2019 , alongside session chair roles.

Roopsha SamantaView profile

Assistant Professor

• Program synthesis
• Program repair
• Concurrency
• +3 more

Roopsha Samanta is an Assistant Professor in the Department of Computer Science at Purdue University, where she leads the Purdue Formal Methods (PurForM) research group and is a core member of the Purdue Programming Languages (PurPL) group. She completed her PhD at the University of Texas at Austin in 2013 under the supervision of E. Allen Emerson and Vijay K. Garg, followed by postdoctoral research at IST Austria (2014-2016) with Thomas A. Henzinger. Her research focuses on developing foundational techniques at the intersection of formal methods and programming languages, with primary interests in: Program synthesis and repair using semantic guidance Modular verification of distributed systems Concurrency and synchronization synthesis Robustness analysis of I/O systems Her publication record shows consistent contributions across programming languages and formal methods venues, with recent emphasis on explainable program synthesis, bounded verification of distributed systems, and semantics-guided approaches to enhance synthesis robustness. Her work frequently appears in premier conferences including PLDI, POPL, OOPSLA, and CAV. Notable scientific recognitions include: NSF CAREER Award (2019) Amazon Research Award (2021) She actively advises graduate and undergraduate researchers in the PurForM group, with current students including Nouraldin Jaber, Christopher Wagner, and Yongwei Yuan. Her research is supported by grants from NSF and Amazon. Beyond research, she teaches courses on program reasoning (CS560) and neurosymbolic program synthesis (CS592), and serves on steering committees for VMW@CAV and DARS. She also co-edits the ACM SIGPLAN Blog on PL Perspectives.

Stephanie BalzerView profile

Assistant Professor

• Programming Languages
• Program Verification
• Type Theory
• +7 more

Dr. Stephanie Balzer is an Assistant Professor in the Principles of Programming Group at Carnegie Mellon University's School of Computer Science. Her research focuses on enabling failure-free software through formal methods like type systems and verification logics. She emphasizes compositional proofs for scalability and practical validation via software artifacts. Programming Languages Type Theory Program Verification Concurrency & Security Her recent work explores timed protocols, disentanglement logic, and multiparty session types. Articles demonstrate semantic logical relations for termination (2025), deadlock freedom in Rust embeddings (2022), and information flow control (2024). Key collaborative papers address cyclic process networks and separation logic frameworks. Scientific recognition includes: NSF CAREER Award (2025) ACM SIGPLAN Distinguished Paper (2022) ECOOP Distinguished Paper (2022) She supervises PhD candidates Yue Yao, Yinsen Zhang, and Zak Kent (with Guy Blelloch), plus Master's student Sonya Simkin. Former advisee Jules Jacobs received Cum Laude distinction at Radboud University. Active in academic service, Balzer chairs PLMW@POPL workshops and co-organizes Oregon Programming Language Summer School. She serves on program committees for LICS, POPL, and ICFP.

• Parallel Programming
• Communicating Sequential Processes
• Software Systems
• +4 more

Professor Jon Kerridge is a distinguished academic at the School of Computing, Edinburgh Napier University, where he has made significant contributions to parallel programming, software systems, and database applications. With a career spanning several decades, he has published extensively in the field of computer science and has supervised numerous PhD students. BSc, MSc, PhD Fellow of the British Computer Society (FBCS) Chartered IT Professional (CITP) Fellow of the Higher Education Academy (FHEA) Chartered Engineer (CEng) Professor Kerridge's research primarily focuses on parallel programming models, particularly through his work on the Groovy Parallel Patterns Library and Communicating Sequential Processes (CSP). His research spans multiple domains including software engineering, database systems, and interdisciplinary work in neuroscience related to dyslexia. He has also made significant contributions to pedestrian movement modeling and evolutionary algorithms. His publications demonstrate a consistent focus on practical software engineering solutions for parallel and distributed systems. The research trajectory shows progression from foundational work in computer architecture education in the 1980s through database systems in the 1990s-2000s to modern parallel programming frameworks. His interdisciplinary work connecting computer science with visual processing in dyslexia represents an innovative application of computational approaches to neuroscience problems. Fellow of the British Computer Society (FBCS) Chartered IT Professional (CITP) Fellow of the Higher Education Academy (FHEA) Chartered Engineer (CEng) Professor Kerridge has supervised several PhD students to completion, including Kevin Chalmers (Investigating communicating sequential processes for Java to support ubiquitous computing) and Robert Kukla (A software framework for the microscopic modelling of pedestrian movement). His research has been supported by Edinburgh Napier University funding, with applications ranging from healthcare systems to pedestrian flow optimization. He is a key member of the Centre for Algorithms, Visualisation and Evolving Systems at Edinburgh Napier University, where his work continues to influence both theoretical and applied aspects of computing.

Adrien PommelletView profile

Associate Professor

• Formal Methods
• Model Checking
• Automata Theory
• +5 more

Adrien Pommellet is an Associate Professor at EPITA , affiliated with the Laboratoire de Recherche en Informatique (LRE) automata team. His research focuses on formal methods, automata theory, and program synthesis. Education: PhD in Computer Science from Université Paris-Diderot (2018), Parisian Master of Research in Computer Science (2012) His research interests include active and passive learning of automata , model-checking algorithms for Büchi automata, and program synthesis . He actively contributes to the development of the Spot formal verification tool. Recent publications emphasize synthesis algorithms , automata reduction techniques , and LTL verification . He has also explored type systems and formal verification of concurrent programs. Teaching roles include courses in computer science (AAA, COMP, CPXA) and formal logic (FOLO, LOFO). Formerly taught ALGO, LOGI, and PING. He worked as a research engineer at CS Communications & Systèmes before joining EPITA's LRDE (now LRE) verification team in 2019.