Find Academic Supervisors

Volker StolzView profile

Associate Professor

• Formal Methods
• Model Transformation
• UML
• +7 more

Volker Stolz is an Associate Professor in the Department of Informatics at the University of Oslo, Faculty of Mathematics and Natural Sciences. He is affiliated with the Reliable Systems research group, where his work centers on improving software reliability through formal methods, model transformation, and UML-based modeling. Institution: University of Oslo School: Faculty of Mathematics and Natural Sciences Department: Department of Informatics Research Group: Reliable Systems Contact: stolz@ifi.uio.no | +47 22852438 | Room GA06 9461 His research spans formal verification, concurrency, model-based testing, and programming language semantics. He has made significant contributions to deadlock detection, refactoring equivalence, runtime verification in distributed systems, and data race analysis, often using formal models such as Petri nets and active object languages. The recent publications highlight a consistent focus on software correctness , modular analysis , and automated verification techniques. Trends include the use of behavioral effects, abstract execution, and field calculus for distributed monitoring. His work frequently appears in top-tier venues like Theoretical Computer Science , Lecture Notes in Computer Science , and Journal of Logical and Algebraic Methods in Programming , indicating strong theoretical and practical impact. He collaborates extensively with researchers such as Violet Ka I Pun, Rui Wang, Lars Michael Kristensen, and Martin Steffen, reflecting an active and collaborative research profile. No scientific awards are mentioned in the provided text. There is no information available about student advising or research grants. Volker Stolz is involved in research projects related to model-based testing, formal methods, and reliable software systems, particularly through the Reliable Systems group. His work often involves building theoretical foundations and practical tools for verifying and improving software behavior in distributed and concurrent environments.

• Concurrency
• Program Correctness
• Theorem Proving
• +3 more

Prof. dr. Wim H. Hesselink is an Associate Professor at the University of Groningen's Faculty of Science and Engineering, affiliated with the Fundamental Computing Science department within the Bernoulli Institute. His research focuses on concurrency, program correctness, theorem proving, and formal methods in computer science and mathematics. He holds an office at Nijenborgh 9, room 5161.0374, and can be reached at w.h.hesselink@rug.nl. Key research contributions include lock algorithms (e.g., MCSH, Triangle), formal verification of distributed systems, and theoretical work on automata (Büchi) and algebraic structures (Lie algebras). His publications span journals like Formal Aspects of Computing and ACM Transactions on Parallel Computing . Education : Not explicitly detailed in text, but his work indicates expertise in advanced computer science and mathematics. Awards : None listed in the provided text. Grants : No specific grants mentioned. His recent work emphasizes high-performance concurrency solutions and algorithm verification, with applications in distributed systems and lock-free computing.

Alex PotaninView profile

Associate Professor

• Programming Languages Design
• Software Security
• Type Systems
• +5 more

Roles & Affiliations: Associate Professor at the Australian National University (ANU), School of Computing. Previously held positions at Victoria University of Wellington (2006–2013), Carnegie Mellon University (visiting scholar), and Kyoto University (sabbatical). Served as editor for multiple journals and conference proceedings, including OOPSLA and APSEC. Education: PhD in Programming Languages (Victoria University of Wellington, 2006) BSc(Hons) in Mathematics (Victoria University of Wellington) Research Interests: Focuses on foundational aspects of programming languages, including ownership, immutability, and capabilities. Designs secure languages like Wyvern (collaboration with CMU) and contributes to Rust's lifetime parameters. Explores module systems, effects, and verified software. Recent work addresses reproducibility debt in scientific software and quantum computing models. Article Trends: Recent publications emphasize reproducibility challenges, reactive system verification, and deductive program synthesis. Highlights include systematic reviews on reproducibility debt and formal methods for secure reactive systems. Awards & Recognition: ECOOP 2024 Distinguished Artifact Award FORTE 2022 Best Paper Award ESEC/FSE 2007 Distinguished Paper Award Advising & Grants: Supervises 15+ current students across PhD, Masters, and Honours. Co-leads projects on secure module systems and verified traits. Collaborates with industry (e.g., Alibaba's CUE language) and academia (CMU, KIT). Labs & Teams: Active in the Wyvern project, secure language design initiatives, and international collaborations on formal verification and programming language semantics.

• Cryptography
• Post-Quantum Cryptography
• Cryptographic Engineering
• +4 more

Peter Schwabe is a scientific director at the Max Planck Institute for Security and Privacy (MPI-SP) in Bochum, Germany, and a part-time professor for cryptographic engineering in the Digital Security Group at Radboud University in Nijmegen, The Netherlands. He has held these positions while leading significant research initiatives in post-quantum cryptography and high-assurance cryptographic implementations. His research interests center on post-quantum cryptography, cryptographic engineering, and high-assurance crypto software. Schwabe's work focuses on developing and verifying cryptographic implementations that are resistant to side-channel attacks while maintaining high performance. He has made significant contributions to lattice-based cryptography, hash-based signatures, and the standardization of post-quantum cryptographic algorithms. His research bridges theoretical cryptography with practical implementation concerns, particularly for resource-constrained environments. Analysis of Schwabe's recent publications reveals a strong focus on post-quantum cryptography standardization, formal verification of cryptographic implementations, and protection against side-channel attacks. His work spans theoretical advances in cryptographic primitives, practical implementations for real-world systems, and tools for verifying the security properties of cryptographic code. A significant portion of his recent work relates to the CRYSTALS-Kyber standard selected by NIST, including formal verification of its security properties and implementation correctness. Schwabe has served as an elected member of the IACR Board of Directors, member of the IACR CHES Steering Committee, and member of the IACR RWC Steering Committee. He is also a member of the advisory boards of Bitmark Inc., PQShield, Neutrality, and SciEngines, demonstrating his influence in both academic and industry cryptographic communities. As an advisor, Schwabe has supervised numerous Ph.D. students working on various aspects of cryptography, including post-quantum cryptography, side-channel resistance, and formal verification of cryptographic implementations. His work on the EPOQUE project (Engineering post-quantum cryptography), funded by an ERC Starting grant from October 2018 to December 2023, demonstrates his leadership in advancing post-quantum cryptographic research. Schwabe leads research efforts at the intersection of formal methods and practical cryptography, with a particular emphasis on creating high-assurance cryptographic implementations that can withstand both theoretical and practical attacks. His work often involves collaboration with international teams across academia and industry to advance the state of the art in cryptographic engineering.

• Computer Engineering
• Computer Science
• Program Synthesis
• +5 more

Xiaokang Qiu is an Associate Professor in the Elmore Family School of Electrical and Computer Engineering at Purdue University. His research focuses on program synthesis, formal verification, and hardware/software design with an emphasis on automated reasoning and system resilience. He holds a leadership role in advancing techniques for scalable verification of hardware systems and developing efficient program synthesis methods. His research interests include program synthesis, formal methods, hardware design, and algorithm optimization. He explores applications in concurrent systems, network protocols, and safety-critical systems, often integrating machine learning and automated reasoning approaches. Recent work trends show a focus on leveraging large language models for invariant generation, optimizing network and hardware systems through formal methods, and advancing recursive algorithm verification. His publications span topics from concurrent programming to runtime verification frameworks for autonomous systems. Xiaokang Qiu’s contributions include over 20 peer-reviewed articles since 2004, with recent highlights in 2025-2024 addressing cutting-edge challenges in program synthesis and hardware verification. He maintains an active research lab focusing on resilient autonomous systems and compiler optimizations. Office: BHEE 329 | Email: xkqiu@purdue.edu | Website: https://engineering.purdue.edu/~xqiu/

Eddie KohlerView profile

Professor

• Computer Science
• Systems
• Networks
• +5 more

Eddie Kohler is the Microsoft Professor of Computer Science at Harvard University's Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS), where he also serves as Director of Undergraduate Studies in Computer Science. His research focuses on high-performance systems, networks, and databases with an emphasis on concurrency control, data privacy, and scalable software design for multicore processors. He has contributed to foundational work in transactional systems, web application backends (e.g., Noria), and privacy-preserving technologies (e.g., Edna). His research spans theoretical frameworks like the Scalable Commutativity Rule and practical implementations such as the Alto lightweight virtualization system. Kohler's work often bridges theory and practice, addressing challenges in distributed systems, sensor networks, and regulatory compliance (e.g., GDPR). Notable contributions include innovations in in-memory database concurrency, optimistic transaction processing, and network congestion control protocols (e.g., TFRC-SP). His projects frequently emphasize system correctness through formal verification and empirical evaluation. His articles reflect a trajectory from foundational concurrency research to applied systems engineering, with recent focus on privacy in web applications and optimizing modern multicore architectures. No specific grants or advisees are listed in the provided information. Kohler leads research initiatives in scalable systems and maintains active collaboration with industry through his academic leadership roles.

• Type Theory
• Dependent Types
• Programming Languages
• +3 more

Andreas Martin Abel is a Senior Lecturer at the University of Gothenburg, affiliated with the Logic and Types department. His research focuses on type theory, dependent types, programming languages, and formal verification. He has contributed significantly to foundational work in type systems, including advancements in cubical Agda, modal logics in type theory, and normalization-by-evaluation techniques. His work often intersects with functional programming and homotopy type theory. Key research areas include formalizing type systems, exploring proof-theoretic properties of logics, and developing mechanized proof systems. He has published extensively in venues like the Journal of Functional Programming and ACM SIGPLAN Notices, collaborating with notable researchers such as Thierry Coquand and Andrea Vezzosi. His recent work includes studies on graded modal dependent type theories, decidability of type conversions, and the integration of univalence principles in Agda. He maintains an active role in advancing type-theoretic foundations for programming languages and formal verification.

Reid SimmonsView profile

Research Professor

• Autonomous Systems
• Robotics
• Artificial Intelligence
• +5 more

Reid Simmons is a Research Professor at the Robotics Institute , part of the School of Computer Science at Carnegie Mellon University . His work focuses on creating reliable, highly autonomous systems that operate in uncertain environments, particularly mobile robots. He leads the Reliable Autonomous Systems Lab and serves as Director of the Artificial Intelligence Major at CMU. Research Interests: Autonomy, AI reasoning, human-robot interaction, multi-robot coordination, probabilistic planning Projects: SUCCESS (proficiency metrics), Social Robot (personality-driven interaction), Data Analysts (AI for data science) Recent Publications: 15 articles (2017-2023) on topics like human-robot teaming, machine teaching, and affective computing His research emphasizes model-based reasoning , error recovery , and socially acceptable robot behavior , including projects like the Tank and Victor robots for interactive tasks. Students and affiliates span PhD/Master's programs, with past advisees now leading in robotics (e.g., Heather Knight, Christopher Urmson).

Stephanie BalzerView profile

Assistant Professor

• Programming Languages
• Pure and Applied Logic
• Software Verification
• +3 more

Stephanie Balzer is an Assistant Professor in the Principles of Programming Group of the Computer Science Department at Carnegie Mellon University. Her office is located in 9004 Gates-Hillman Center, and she can be reached at balzers@cs.cmu.edu with administrative support from Oliver Moss. Dr. Balzer received her PhD from ETH Zurich under the supervision of Thomas R. Gross. Her academic trajectory shows consistent focus on formal methods and programming language theory from her early work on object relationships through to her current research on verification systems. Her research program aims to enable the construction of failure-free software that is correct by design and secure to run. She deploys rigorous reasoning methods such as type systems and verification logics to formally prove adherence to desired properties. Her work emphasizes compositional methods for scalability and addresses verification needs arising from real-world problems. Dr. Balzer's interests span Programming Languages, Pure and Applied Logic, Software Verification, Type Theory, and Security . A driving force underlying her research is the belief that powerful solutions are fundamentally based on simple ideas that can be conveyed to and appreciated by non-experts. Analysis of Dr. Balzer's publication record reveals a sustained focus on session types, logical relations, and concurrent systems verification. Her recent work shows increasing sophistication in handling timed protocols, information flow control, and heterogeneous applications. She consistently publishes in top-tier venues including POPL, PLDI, ICFP, and ECOOP, often receiving distinguished paper awards for particularly impactful contributions. NSF CAREER Award on "A Semantic Framework for Verifying Heterogeneous Applications" (2024) ACM SIGPLAN Distinguished Paper Award (2023) ECOOP Distinguished Paper Award (2022) Supervised PhD student Jules Jacobs received Cum Laude distinction (2024) Dr. Balzer has secured significant research funding including an NSF CAREER Award (2025), an NSF Award on Integrated Verification of IoT and Real-time Communication Protocols (2022), an AFOSR Award (2021), CyLab Seed Funding (2020), and previous NSF and Mozilla Research Grants. She actively mentors a diverse research group including PhD candidates Yue Yao, Yinsen (Tesla) Zhang, and Zak Kent (co-advised with Guy Blelloch), as well as M.S. and undergraduate researchers. Her supervision extends to postdoctoral fellows and thesis committee roles for other students. Dr. Balzer leads research activities within CMU's ForML Lab and maintains active collaborations with researchers at ETH Zurich, Radboud University Nijmegen, and Cornell University. She plays significant leadership roles in the programming languages community including as founder of the PL Scholars Network, steering committee chair of the Programming Languages Mentoring Workshop (2023-2025), and co-organizer of the Oregon Programming Languages Summer School (2023).

Sherry Tongshuang WuView profile

Assistant Professor

• Human-Computer Interaction
• Natural Language Processing
• Data Visualization
• +13 more

Sherry Tongshuang Wu is an Assistant Professor in the Human-Computer Interaction Institute at Carnegie Mellon University , with additional affiliations in the Language Technology Institute . She holds a Ph.D. in Computer Science and Engineering from the University of Washington (2022) and a B.Eng. from Hong Kong University of Science and Technology (2016). Education Ph.D., Computer Science and Engineering, University of Washington (2022) M.S., Computer Science and Engineering, University of Washington (2018) B.Eng., Computer Science, Hong Kong University of Science and Technology (2016) Sherry's research bridges Human-Computer Interaction and Natural Language Processing , focusing on interactive debugging and correction of AI systems . Her work develops tools to map general-purpose AI to specific use cases, emphasizing human-AI collaboration , model testing , and responsible AI . She has authored award-winning papers in ACL , CHI , TOCHI , and TVCG , addressing topics like LLM evaluation , task delegation , and AI education . Recent publications highlight trends in Human-AI Interaction , Model Interpretability , and Ethical AI . Her work spans interactive error analysis , prompt engineering , and dataset curation , with applications in education, software development, and collaborative learning. Key subfields include LLM truthfulness , counterfactual testing , and perspective-aware retrieval systems . Scientific Awards Google Academic Research Award (2024) Amazon Research Awards (2024) AIED 2024 Best Paper & Honorable Mention CSCW 2023 Best Demo Award ACL 2020 Best Paper Award Sherry mentors PhD, Master’s, and undergraduate students in areas like AI for education , LLM applications , and responsible AI development . She has served on program committees for CHI , ACL , and EMNLP , and leads initiatives for community-driven AI evaluation and ethical dataset curation .

Nikos VasilakisView profile

Assistant Professor

• Computer Security
• Parallel and Distributed Systems
• Programming Languages
• +4 more

Nikos Vasilakis is an Assistant Professor of Computer Science at Brown University, affiliated with the Brown Data Science Institute and the Archimedes Unit on AI and Data Science. His research focuses on software systems, programming languages, and computer security, with emphasis on automated program analysis, parallelization, and supply-chain security. He received his M.Sc. and Ph.D. in Computer and Information Science from the University of Pennsylvania. Current affiliations: Brown University School of Engineering, ATLAS research group Industrial collaborations: technologies applied in software supply-chain security and open-source ecosystems Research interests include enhancing program capabilities through automation, securing software dependencies, and enabling scalable distributed systems. Key projects include BinWrap (Node.js security), PaSh (shell parallelization), and systems for automated regeneration of programs. Recent awards: ACM ASIACCS '23 Distinguished Paper Award for BinWrap. Active in organizing EuroSec'25 and Brown Systems Week. Current courses include Distributed Computing Systems (CS1380) and Systems Transforming Systems (CS1952R). Labs/Teams: Leads the ATLAS group, which collaborates on systems research and secure computing paradigms. Current students/postdocs focus on topics like shell script parallelization, decentralized computing, and confidential computing transformations.

Michelle Renee JacobsView profile

Associate Professor

• Social Inequalities
• Race and Ethnicity
• Mass Incarceration
• +3 more

Michelle Renee Jacobs is an Associate Professor of Sociology at Wayne State University's College of Liberal Arts and Sciences. She directs the Prison Education Program at Macomb Correctional Facility and researches racial inequalities, mass incarceration, and Indigenous urban experiences using qualitative methodologies. Her scholarship examines: Carceral system impacts on marginalized communities Wrongful conviction case analysis in Detroit Decolonizing frameworks for Indigenous gender identity Publications frequently employ photovoice and ethnography to critique settler-colonial narratives. She has secured grants including the Social Justice Research Fund ($10,000) for wrongful conviction research. Recognized with multiple Scholarly Achievement Awards, she mentors graduate students in race/ethnicity and qualitative methods.

David JuedesView profile

Professor

• Algorithms
• Complexity Theory
• Approximation Algorithms
• +4 more

David Juedes is a Professor of Electrical Engineering and Computer Science and Associate Dean for Academics at Ohio University's Russ College of Engineering and Technology. He also directs the Avionics Engineering Center and is part of the Center for Scientific Computing and Immersive Technologies. Juedes holds a Ph.D. from Iowa State University (1994) and has taught courses ranging from introductory computer science to advanced graduate topics like computational complexity and formal languages. His research focuses on algorithms, complexity theory, approximation algorithms, and computational biology. Notable contributions include work on secure embedded systems (e.g., d-GUARD and DAGGER frameworks) and parameterized algorithm analysis. He has advised multiple graduate and undergraduate students in areas like parameterized algorithms and bioinformatics. Juedes has received awards including ACM Senior Membership (2010) and the Russ College Outstanding Research Paper Award (2004). His work spans 30+ years with over 80 publications in top journals/conferences. He actively promotes STEM education through initiatives like cybersecurity workshops for K-12 teachers and curriculum development for real-time systems and CORBA-based resource management. Labs/Teams: Director of Avionics Engineering Center, Core member of Center for Scientific Computing and Immersive Technologies.

Chang LiuView profile

Professor

• Software Engineering
• Mobile Health
• 3D Immersive Learning Applications
• +3 more

Chang Liu is a Professor in the Department of Electrical Engineering and Computer Science at Ohio University's Russ College of Engineering and Technology. He is affiliated with the Center for Scientific Computing and Immersive Technologies. His research focuses on applying software engineering big data to developer knowledge and integrating software principles into healthcare and educational technologies. He earned his Ph.D. in Information and Computer Science from the University of California, Irvine in 2002. Research interests include software engineering, mobile health applications, and 3D immersive learning tools. Notable projects include the VIADS visual analytic tool for clinical hypothesis generation and a VR app for Mal de Debarquement syndrome treatment. His work spans wearable health devices, quantum algorithm verification, and pediatric risk stratification using deep learning. Recent articles emphasize clinical research tools, healthcare data analytics, and immersive educational technologies. Over 60+ conference presentations and 28+ journal articles highlight contributions to medical informatics, software engineering, and edutainment systems. His patents cover authentication methods, gesture-based CAPTCHA, and health-related VR applications. Chang has led interdisciplinary STEM education initiatives, including summer camps and virtual learning environments. Collaborative projects involve medical researchers, educators, and industry partners. Current work explores neuromorphic AI agents and scalable software development methodologies.

John BoylandView profile

Professor

• Programming Languages
• Compilers
• Concurrency
• +3 more

John Boyland is a Professor in the Department of Computer Science at the University of Wisconsin-Milwaukee (UWM), within the College of Engineering & Applied Science. He focuses on enabling programmers to enhance software efficiency and safety through research in programming languages, compilers, concurrency, and logic. His work includes static analysis techniques for detecting complex programming errors and formal methods for concurrency control. Education: PhD in Computer Science, University of California, Berkeley (1996) MS in Computer Science, University of California, Berkeley (1989) BS in Computer Science, University of California, Davis (1987) Research Interests: Boyland’s research emphasizes fractional permissions for resource management, static checking of concurrency, and compiler design. He has contributed to frameworks like SASyLF and tools for formal verification of programming languages. His work bridges theory and practice, addressing challenges in software correctness and efficiency. Publications: His recent work spans formal methods, concurrency control, and type systems. Notable themes include fractional permissions for concurrency safety, gradual typing, and compiler optimizations. Awards: NSF CAREER Award (2000) Phi Beta Kappa (1987) Herbert A. Young Medal (1987) Putnam Math Competition Honorable Mention (1986) Advising & Grants: Boyland has advised six student groups and received a prestigious NSF Career grant. He has also contributed to projects like Molhado, an architectural software configuration management system.