Find Academic Supervisors

Jelle HellingsView profile

Assistant Professor

• Resilient Systems
• High-Performance Data Management
• Database Theory
• +10 more

Jelle Hellings is an Assistant Professor in the Department of Computing and Software at McMaster University , Canada. His research focuses on high-performance large-scale data management systems with a strong theoretical and algorithmic component, including resilient systems (blockchains) , graph databases , and external-memory algorithms . He previously worked as a Postdoc Scholar at the University of California, Davis and earned his PhD from Hasselt University in Belgium. Education: Doctor of Sciences in Computer Science (2018), Hasselt University Master of Science in Computer Science and Engineering (2011), Eindhoven University of Technology His research interests include scalable resilient systems with Byzantine fault tolerance, database theory, graph query languages, constraints on graph data, and external-memory algorithms for large graph datasets. He has authored numerous high-impact publications on blockchain-based resilient systems, query optimization in graph databases, and theoretical advancements in relation algebra expressiveness. Hellings actively contributes to academic service through program committee memberships and tutorial organization, and he currently teaches courses on future resilient databases and foundational computer science topics.

• Artificial Intelligence
• Computer Security
• Multi-Agent Systems
• +3 more

Dr. Chunyan Mu serves as a Senior Lecturer in the School of Natural and Computing Sciences at the University of Aberdeen, actively contributing to both academic instruction and cutting-edge research in computing science while currently accepting new PhD students. Her research program centers on Trustworthy AI and Safe Autonomy, with specialized expertise in formal verification of responsibility, accountability, and privacy mechanisms within multi-agent systems. She investigates resilience frameworks for autonomous intelligent systems and develops advanced methodologies for information flow security analysis, bridging theoretical computer science with practical security implementations. Analysis of her publication trajectory (2014-2025) reveals consistent innovation in applying formal methods to security-critical systems. Key thematic developments include probabilistic strategy logic for observability analysis, quantitative verification of opacity properties, and game-theoretic approaches to security verification, demonstrating increasing sophistication in handling multi-agent accountability and system resilience challenges. Dr. Mu currently supervises PhD candidates and offers a fully funded doctoral position focused on formal verification of safety properties in autonomous systems, providing comprehensive financial support including tuition coverage, £20,780 annual stipend, and dedicated research funding for candidates with strong backgrounds in formal methods and artificial intelligence.

Thomas E. DoyleView profile

Associate Professor

• Biomedical Engineering
• Human-Computer Interfacing (HCI)
• Machine Learning
• +6 more

Dr. Thomas E. Doyle is an Associate Professor at the McMaster School of Biomedical Engineering and the Department of Electrical & Computer Engineering at McMaster University. His research focuses on biomedical signal processing, human-computer interfacing (HCI), and machine learning applications for healthcare augmentation, rehabilitation, and enhancement. He holds a Ph.D. from Western Ontario, Canada, and teaches courses like COMPENG 2DI4 (Logic Design). His work bridges cybernetics and clinical applications, emphasizing AI-driven solutions for medical diagnostics, patient monitoring, and space exploration. Education: B.E.Sc, B.Sc, M.E.Sc, Ph.D. from Western Ontario, Canada Recent Projects: Developed AI systems for remote healthcare diagnostics (2023) Collaborated with NASA on medical emergency simulators for deep space missions (2017–2023) Led ventilator development efforts for local hospitals during the pandemic (2020) His research interests span machine learning for mental health diagnostics, trust quantification in medical AI, and extended reality (XR) for medical training. He emphasizes interdisciplinary approaches, integrating computational methods with healthcare challenges. Recent publications highlight applications in pediatric emergency care, chronic pain management, and reliable medical device design. Dr. Doyle actively engages in educational initiatives, including first-year engineering pedagogy and experiential learning programs. He has received funding for projects such as the Educating the Engineer of 2025 (EtE-25) awards and contributes to initiatives like the Digital & Smart Systems and Health & Bio-innovation research clusters at McMaster.

• Computational Logic
• Symbolic Machine Learning
• Neuro-symbolic AI
• +3 more

Professor Alessandra Russo leads the Structured and Probabilistic Knowledge Engineering (SPIKE) research group at Imperial College London's Department of Computing. With expertise spanning computational logic, symbolic machine learning, and neuro-symbolic AI, she develops foundational AI techniques applied to security, network management, healthcare, and adaptive systems. Professor Russo holds a PhD in Computing from Imperial College London and an MSc in Computer Science from Ionian University. Her research pioneers logic-based learning systems for intelligent adaptive technologies, with projects including declarative networking for security management, privacy-preserving federated learning, and hybrid neuro-symbolic approaches for robust reasoning. Her current work focuses on developing interpretable AI systems through neuro-symbolic integration, creating frameworks that combine neural networks with symbolic reasoning for explainable decision-making. Recent publications explore rule learning from knowledge graphs, transformer-based world models, and formal methods for representation learning. Professor Russo teaches courses on Logic-Based Learning and AI Applications, and has received the Google PhD Fellowship for her research contributions. She mentors numerous PhD students in areas spanning theoretical foundations and practical applications of computational logic and machine learning.

Stephen BachView profile

Assistant Professor

• Machine Learning
• Weak Supervision
• Probabilistic Soft Logic
• +7 more

Stephen Bach is an Assistant Professor in the Computer Science Department at Brown University, where he leads the BATS (Bach's Awesome Team of Students) research group. His research focuses on improving how humans teach computers through programmatic weak supervision and methods for learning from fewer examples like zero-shot and few-shot learning. His primary research interests include weak supervision, data programming, probabilistic soft logic (PSL), statistical relational learning (SRL), information extraction, zero-shot learning, and few-shot learning. Bach's work often focuses on exploiting high-level, symbolic or semantically meaningful domain knowledge, with applications in information extraction, image understanding, scientific discovery, and data science. Bach's recent publications show a strong focus on language models, weak supervision techniques, and multimodal learning, particularly examining the capabilities and limitations of models like CLIP. His research has increasingly emphasized practical applications in low-resource settings and cross-lingual scenarios. Best Paper Award at NeurIPS Workshop on Socially Responsible Language Modelling Research (SoLaR) 2023 Larry S. Davis Doctoral Dissertation Award Selected for oral presentation at ICLR 2024 Best of VLDB 2018 paper selection Bach advises numerous Ph.D., Master's, and undergraduate students, many of whom have gone on to positions at leading tech companies, research institutions, and graduate programs. His research group has developed several influential frameworks including Snorkel (for weak supervision), PSL (Probabilistic Soft Logic), T0 (for zero-shot task generalization), ZSL-KG (for zero-shot learning with knowledge graphs), TAGLETS (for semi-supervised learning with auxiliary data), and WISER (for programmatic weak supervision in sequence tagging).

• Computer Vision
• Artificial Intelligence
• Multimodal Learning
• +7 more

Dr. Hilde Kuehne is a Professor at the University of Tuebingen and a key researcher at the Tuebingen AI Center. She holds affiliations with MIT-IBM Watson AI Lab and Goethe University Frankfurt, with a focus on computer vision, multimodal learning, and explainable AI. Her work bridges vision-language models, audio-visual alignment, and self-supervised methods. Co-organizer of the New Frontiers in Associative Memories workshop @ ICLR 2025 Member of the Scientific Advisory Board of the Carl-Zeiss-Foundation Contributor to CVPR 2025's UTD dataset for unbiased video benchmarks Her research addresses critical challenges in: Explainability for Vision Transformers (LeGrad) Fine-grained audio-visual alignment (CAV-MAE Sync) Zero-shot visual recognition automation (Meta-Prompting) Spatio-temporal grounding without annotations Recent collaborative work spans 15+ publications across CVPR, NeurIPS, ICCV, and ICLR, with emphasis on multimodal foundation models, dataset bias mitigation, and differentiable logic networks. She actively contributes to workshop organization and peer review as evidenced by her involvement in CVPR 2025 and ICLR 2025 program committees.

Mingsheng YingView profile

Professor

• Quantum Computation
• Quantum Programming
• Model-checking Quantum Systems
• +5 more

Mingsheng Ying is a Distinguished Professor and Research Director of the Centre for Quantum Computation and Intelligent Systems (QCIS) at the Faculty of Engineering and Information Technology, University of Technology Sydney, Australia. He also holds the position of Cheung Kong Professor at the State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing, China. Professor Ying graduated from the Department of Mathematics, Fuzhou Teachers College, Jiangxi, China, in 1981. His primary research interests span quantum computation (particularly quantum programming and model-checking quantum systems), programming theory and formal methods, and the foundations of artificial intelligence (focusing on logic and uncertainty). As an author of the books "Foundations of Quantum Programming" (Elsevier - Morgan Kaufmann 2016) and "Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs" (Springer-Verlag, 2001), he has published over 100 papers in top international journals and conferences. His recent research publications demonstrate a strong focus on quantum programming languages, verification techniques for quantum systems, and the theoretical foundations of quantum computation. The trend in his work shows increasing emphasis on formal verification methods for quantum systems, particularly model-checking techniques for quantum Markov chains and quantum processes. His research bridges theoretical computer science with quantum information theory, creating frameworks for reliable quantum software development. Editorial Board, Artificial Intelligence, Elsevier, Amsterdam Editorial Board, Fuzzy Sets and Systems, Elsevier, Amsterdam Vice President, International Fuzzy Systems Association (elected in 2005) Program Chair, IFSA 2005, World Congress of International Fuzzy Systems Association Chairman, Chinese Association of Fuzzy Systems and Mathematics Professor Ying has secured significant research funding including multiple Australian Research Council Discovery Projects such as "Model-checking quantum Markov chains: towards verification techniques for quantum cryptographic systems" (2013-2015) and "Process algebra approach to distributed quantum computation and secure quantum communication" (2011-2013). His work has also received funding from the National Natural Science Foundation of China and Tsinghua University. At QCIS, he leads research in quantum software theory and methodology, with applications in quantum cryptography and secure communication.

David DotyView profile

Professor

• Molecular computing
• Algorithmic self-assembly
• Chemical reaction networks
• +8 more

David Doty is a Professor in the Department of Computer Science at the University of California, Davis . His research focuses on the intersection of molecular systems and computation , exploring how natural processes like chemical reactions , DNA nanotechnology , and self-assembly can perform computation. He also investigates connections to theoretical computer science, including distributed computing and algorithmic information theory . Doty's work bridges physics , chemistry , and biology through rigorous computational models like the Tile Assembly Model and Population Protocols . His research program includes software development ( scadnano , ppsim ), theoretical analysis, and collaborations with experimentalists. He teaches courses on theory of computation and molecular computing , and has advised numerous students in his research group. His publications cover topics such as algorithmic self-assembly , chemical reaction networks , and thermodynamic binding networks , with a focus on understanding fundamental computational and physical limits. Key software tools developed by his group include scadnano for DNA design and ppsim for population protocol simulations. Doty's recent research trends explore rate-independent chemical computing , error correction , and stochastic modeling in molecular systems. Current academic activity includes teaching ECS 120 (Undergraduate Theory of Computation), ECS 220 (Graduate Theory of Computation), and ECS 232 (Theory of Molecular Computation). He maintains a research lab in 2306 Academic Surge and continues to publish in leading conferences like DNA Computing and CMSB .

• Algorithms
• Game Theory
• Automata Theory
• +7 more

Marcin Jurdzinski is an Associate Professor (Reader) in the Department of Computer Science at the University of Warwick , UK. He has been a faculty member since 2004 and is a core member of the Foundations of Computer Science and Discrete Mathematics and its Applications research groups. University: University of Warwick School: Faculty of Science Department: Department of Computer Science Position: Associate Professor (Reader) Email: Marcin.Jurdzinski@warwick.ac.uk Office: CS2.19 His research lies at the intersection of algorithms, game theory, automata, and logic , with a strong emphasis on formal verification , model checking , and theoretical computer science . He is best known for his foundational work on parity games , including the development of small progress measures and discrete strategy improvement algorithms. The recent publications reveal a consistent focus on computational complexity in games and verification. Key themes include stochastic games, timed automata, bisimilarity, and quantitative analysis . His work often bridges theoretical insights with practical verification challenges, especially in real-time and probabilistic systems. He has supervised several PhD students and hosted postdoctoral researchers such as Laure Daviaud and Alexander Kozachinskiy. He has led EPSRC-funded projects including Solving Parity Games in Theory and Practice and Counter Automata: Verification and Synthesis . PhD Students: Aditya Prakash, Thejaswini K. S., Michail Fasoulakis, John Fearnley, Michal Rutkowski, Ashutosh Trivedi Postdocs: Laure Daviaud, Alexander Kozachinskiy He is actively involved in the academic community, serving on the steering committee of the Highlights of Logic, Games and Automata conference and on program committees for major venues such as CONCUR, ICALP, and LICS. He has also organized workshops including FORMATS and ICALP co-located events.

Tom SchrijversView profile

Professor

• Programming Languages
• Functional Programming
• Type Systems
• +6 more

Tom Schrijvers is a Professor at the Department of Computer Science in the Faculty of Engineering Science at KU Leuven, Belgium. He leads the Programming Languages Group within the Declarative Languages and Artificial Intelligence (DTAI) research group. His research focuses on programming languages, particularly functional and logic programming, with special emphasis on Haskell, type systems, and algebraic effects. His research interests include: Functional Programming, especially Haskell Type Systems and Type Theory Algebraic Effects and Handlers Logic Programming, particularly Prolog Constraint Programming Domain-Specific Languages Programming Language Theory Prof. Schrijvers' recent research has focused on effect systems, staged programming, and language composition. His work on algebraic effect handlers has been particularly influential, providing new insights into how effects can be modularly composed and handled in functional languages. He has also made significant contributions to the understanding of type classes and their implementation in Haskell. His publications demonstrate a consistent focus on practical applications of programming language theory, with work spanning from foundational type theory to applied domain-specific languages for areas like fluorescence microscopy. His research often bridges the gap between theoretical programming language concepts and practical implementation concerns. Prof. Schrijvers has supervised numerous PhD students to completion, including Pieter Wuille, Benoit Desouter, George Karachalias, Steven Keuchel, Amr Saleh, Alexander Vandenbroucke, and Ruben Pieters. He currently supervises PhD students Klara Mardirosian, César Santos, Gert-Jan Bottu, Koen Pauwels, Birthe van den Berg, and Roger Bosman. His research group has received funding from various sources including EU projects like GRACeFUL. The Programming Languages Group at KU Leuven, which he leads, focuses on functional (Haskell) and logic (Prolog, Datalog, CLP) programming languages, as well as general programming language theory. The group has been active in numerous research projects and collaborations across Europe.

Zhe ZengView profile

Assistant Professor

• Artificial Intelligence
• Machine Learning
• Neurosymbolic AI
• +8 more

Zhe Zeng is an incoming Assistant Professor in the Department of Computer Science at the University of Virginia starting July 2025. Currently, she serves as a Faculty Fellow in the Computer Science Department at New York University. She earned her Ph.D. in Computer Science from UCLA in 2024 under Professor Guy Van den Broeck, and her B.S. in Mathematics from Zhejiang University in 2018. Research Focus: Dr. Zeng specializes in neurosymbolic AI and probabilistic machine learning, developing methods that integrate symbolic knowledge (logical constraints, graph structures) with probabilistic uncertainty. Her work spans three core areas: Reasoning: Probabilistic inference, tractable probabilistic models Learning: Constrained deep learning, graph ML, weakly supervised learning Trustworthiness: Explainability, uncertainty quantification, domain-knowledge integration Awards & Honors: Rising Star in EECS (2023) Amazon Doctoral Fellowship (2022) NEC Research Fellowship (2021) ICML Travel Award (2018) Outstanding Graduate, Zhejiang University (2018) Advising & Mentoring: Has supervised six students including PhD candidates and undergraduates at UCLA, Tsinghua, and CAS, with placements at Princeton and UT Austin. Academic Service: Regularly reviews for NeurIPS, ICML, ICLR, UAI; served as UAI 2023 discussant; active in WiML mentorship programs.

• Artificial Intelligence
• Strategic Reasoning in Multi-Agent Systems
• Formal Verification
• +6 more

Aniello Murano is a Professor of Computer Science at the Department of Electrical Engineering and Information Technologies , University of Naples Federico II. He serves as Scientific Director of the ASTREA (Automated Strategic Reasoning) Laboratory and leads cutting-edge research in Artificial Intelligence, Strategic Reasoning, Multi-Agent Systems , and Formal Verification . Research Interests : Strategic reasoning under perfect/imperfect information, specification/verification/synthesis of reactive systems, temporal/modal logics, automata theory, parity games, game theory, mechanism design, and formal languages. Notable Projects : PNRR Research Unit Coordinator (2023-2025) on Resilient AI, PRIN 2020 Unit Coordinator (RIPER: Resilient AI-Based Self-Programming and Strategic Reasoning), H2020-MSCA SEAL (Principal Coordinator). Awards & Honors : JPMorgan Faculty Research Award (2022), Royal Society Award (2016), Best Paper PRIMA (2015), INDAM Project Leader (2023), Italian Scientific Habilitation (2017-2018). Students & Postdocs : Supervised 6 PhD students (e.g., Silvia Stranieri, Vadim Malvone) and mentored postdocs such as Munyque Mittelmann and Bastien Maubert. Laboratory : Leads ASTREA Lab, focusing on automated strategic reasoning and resilient AI systems.

Muhammad Ali GulzarView profile

Assistant Professor

• Fault Localization
• Big Data systems
• Data Intensive scalable computing
• +5 more

Muhammad Ali Gulzar is an Assistant Professor in the Computer Science Department at Virginia Tech and an Amazon Scholar at Amazon Web Services. His research focuses on improving developer productivity through automated debugging and testing for applications in emerging domains, including data-intensive software such as dataflow programs, ML/AI applications, and computational notebooks. Education Ph.D. in Computer Science from University of California, Los Angeles (Google Ph.D. Fellow 2017-2020) Research Interests Gulzar's research spans three primary areas: (1) automated tracking-code localization techniques in web applications, (2) re-engineering testing and debugging for data-intensive applications, and (3) advancing current testing and debugging practices in Federated Learning Applications. His work addresses the challenges of debugging in complex systems where traditional approaches fail due to the scale and distributed nature of modern applications. His research has significant implications for improving software quality, developer productivity, and accessibility in web applications. Research Trends Recent publications demonstrate a strong focus on debugging and testing challenges in emerging application domains. His work bridges traditional software engineering with machine learning, data-intensive systems, and web technologies. Notably, he has made significant contributions to Federated Learning debugging (FedDebug), accessibility challenges in ad-driven web applications, and semantic caching for Large Language Models. His approach often combines novel algorithmic insights with practical implementations that address real-world challenges in software development and maintenance. Scientific Awards Google Ph.D. Fellow (2017-2020) $1.1 million NSF award for Federated Learning research ACM CCS 2024 Distinguished Artifact Award Advising and Grants Gulzar leads a productive research group with multiple students contributing to publications in top-tier venues. His NSF-funded research on Federated Learning demonstrates his ability to secure competitive funding for innovative projects. His advising style appears to emphasize practical impact alongside theoretical contributions, with students often taking lead roles in publications. Current research directions include debugging techniques for Large Language Models, accessibility challenges in modern web applications, and novel testing approaches for distributed data processing systems.

Danfeng ZhangView profile

Professor

• Programming Languages
• Security
• Differential Privacy
• +5 more

Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.

Brian C. WilliamsView profile

Professor

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

Professor Brian C. Williams is a leading academic at the Massachusetts Institute of Technology (MIT) , holding the position of Professor of Aeronautics and Astronautics and directing the Autonomous Systems Laboratory (ASL) . He is also a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL) and the Space Systems Laboratory (SSL) . His work focuses on advancing model-based autonomy, enabling robots to operate independently in extreme environments such as space, underwater, and urban traffic. His contact details include email williams@csail.mit.edu and phone 253-2739 . Education : S.B., S.M., and Ph.D. in Computer Science and Electrical Engineering from MIT (1989). Williams' research spans risk-bounded decision making , collaborative robotics , and neural-symbolic learning . He has pioneered systems like Remote Agent, which demonstrated autonomous self-repair in NASA's Deep Space One mission, and Geordi, a risk-aware driver assistant. His work integrates symbolic reasoning, probabilistic methods, and machine learning to create resilient robotic systems for space exploration, manufacturing, and transportation. The most recent publications highlight trends in risk-aware planning , multi-agent robotics , and stochastic control . Key innovations include tube-based trajectory optimization, conflict-directed task allocation, and theory-of-mind guided interventions, reflecting his focus on robustness in uncertain environments. Scientific Awards : NASA Space Act Award (1999), AAAI Fellow, and multiple best paper awards from AAAI, IJCAI, ICAPS, CDC, HRI, and ECAI. Williams leads the Model-Based Embedded and Robotics Systems Group at CSAIL, collaborating with institutions like NASA's Jet Propulsion Laboratory. His projects include ASIST (Artificial Social Intelligence for Teams), RADMAX (Risk and Deadline Aware Planning), and Uhura (risk-aware personal assistants), addressing challenges in health care, manufacturing, and defense applications.