Find Academic Supervisors

April Yi WangView profile

Assistant Professor

• Human-Computer Interaction
• Educational Technology
• Programming Support
• +4 more

April Yi Wang is a tenure-track Assistant Professor in the Department of Computer Science at ETH Zürich, where she directs the Programming, Education, and Computer-Human Interaction Lab (PEACH Lab). She is a core faculty member at the Institute for Intelligent Interactive Systems and associated with the ETH AI Center. Wang is also an active member of ETH HCI and Swiss CHI communities, contributing significantly to human-computer interaction and educational technology research. Dr. Wang's educational background includes: Ph.D. in Information Science from University of Michigan (2023), advised by Steve Oney and Christopher Brooks M.Sc. in Computer Science from Simon Fraser University (2018), advised by Parmit Chilana B.Eng in Computer Science from Zhejiang University (2016) Dr. Wang's research focuses on human-centered approaches to programming and data science. Her work reimagines programming as a form of literature that communicates with both machines and people, exploring creative representations like text, shapes, animations, and everyday objects. She investigates how to make programming more natural and intuitive through literate programming environments, with applications in professional and educational contexts. Her research spans human-computer interaction, educational technology, and AI-assisted programming tools. Analysis of Dr. Wang's recent publications reveals a strong focus on AI-enhanced educational tools, particularly for programming and data literacy. Her work increasingly integrates large language models to scaffold learning while maintaining user agency. There's a clear trajectory toward developing situated learning approaches that connect abstract concepts to real-world contexts through augmented reality and tangible interfaces. Her research bridges HCI, education, and AI to create more accessible and engaging technical learning experiences. Dr. Wang has received numerous prestigious awards including: 2023 Gary M. Olson Award and Honourable Mention Award at ACM CHI 2022 Rising Stars in EECS and Heidelberg Laureate Forum Young Researcher 2020 Best Short Paper Award at IEEE VL/HCC and Honourable Mention at ACM CHI 2019 Best Paper Award at ACM CSCW Dr. Wang actively mentors students through thesis projects at ETH Zürich, supervising numerous bachelor's and master's students on topics ranging from AI-assisted programming to data literacy tools. Her lab, PEACH Lab, has secured funding including the recent innovedum funding for the Coducate project. She serves on program committees for major conferences including CHI and UIST, and regularly reviews for top HCI and education journals. The PEACH Lab, directed by Dr. Wang, focuses on creating expressive, intelligent, and human-centered systems that make technical topics more accessible. The lab explores textual, visual, and embodied representations for programming, with emphasis on enhancing communication, collaboration, and learning. Current research directions include balancing automation with user agency, supporting diverse learning needs, and developing tools for interdisciplinary technical communication.

• Natural Language Processing
• Large Language Models
• Digital Libraries
• +7 more

Min Yen Kan is an Associate Professor and Vice Dean of Undergraduate Studies at the National University of Singapore's School of Computing, Department of Computer Science. With a PhD from Columbia University (2002), he leads the Web Information Retrieval / Natural Language Processing Group (WING.NUS) and serves as ACL Ethics Committee co-chair. His research spans Natural Language Processing , Large Language Models , Digital Libraries , and Information Retrieval , with specific focus on scientific discourse analysis, fact verification, and multimodal systems. Current projects include Scholarly Document Information Extraction (TRL 6), Task-Oriented Dialogue Systems (TRL 4), and Recommendation Systems (TRL 5). Recent publications reveal strong trends in LLM limitations (bias, hallucination, evaluation), conversational recommendation systems , and misinformation detection . His work consistently bridges theoretical NLP with real-world applications in digital libraries and scientific communication. Award highlights include: CIKM 2019 Best Paper Award ACL Distinguished Service Awards Vannevar Bush Best Paper Award (JCDL 2012) ACM Distinguished Speaker designation Kan mentors PhD students with placements at Google and USTC, and serves as associate editor for Information Retrieval and survey editor for Journal of AI Research . His lab WING.NUS develops practical tools like SciWING for scientific document processing and FANG for fake news detection. Media engagements include commentary on AI regulations in Southeast Asia and workforce implications in the AI era.

Lin TanView profile

Professor

• Software-AI synergy
• Software dependability
• Software engineering
• +7 more

Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .

Connor ColeyView profile

Assistant Professor

• Machine Learning for Chemistry
• Computer-Aided Molecular Design
• Synthesis Planning
• +5 more

Connor Coley is the Henri Slezynger (1957) Career Development Assistant Professor at the Massachusetts Institute of Technology (MIT) School of Engineering. His research bridges chemistry and machine learning, focusing on autonomous molecular discovery, predictive chemistry, and laboratory automation. Education: Ph.D., MIT (2019) M.S.CEP., MIT (2016) B.S., Caltech (2014) Research Interests: Dr. Coley’s work centers on domain-informed machine learning for chemistry, computer-aided molecular design, and autonomous laboratories. Key themes include predictive modeling of chemical reactivity, optimization of synthesis pathways, and integration of AI with experimental data for drug discovery and materials science. Publications: His recent articles highlight advancements in AI-driven reaction prediction, molecular representation learning, and laboratory automation. Trends include applications of Bayesian optimization, contrastive learning, and diffusion models to chemical discovery. Scientific Awards: Camille Dreyfus Teacher-Scholar Award (2025) James W. Swan Outstanding Faculty (2025) Schmidt Futures AI2050 Early Career Fellow (2022) NSF CAREER Award (2021) Forbes 30 Under 30: Healthcare (2019) Software & Tools: He leads the open-source ASKCOS software suite for synthesis planning, adopted by 35,000+ chemists and deployed at 15+ pharmaceutical companies. His team also develops tools for metabolomics and molecular representation learning.

Nadia PolikarpovaView profile

Associate Professor

• Program Synthesis
• Program Verification
• Type Systems
• +5 more

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

• Reconfigurable Computing
• FPGA Architectures
• Computer Security
• +6 more

André DeHon is the Oliver C. Boileau Jr. and Nan Eleze Boileau Professor of Electrical Engineering at the University of Pennsylvania, affiliated with Electrical and Systems Engineering (ESE) and Computer and Information Science (CIS). He chairs the Computer Engineering (CMPE) program and directs the CyberSavvy Security Center. His research focuses on reconfigurable computing, FPGA architectures, computer security, and energy-efficient hardware design. He holds a Ph.D. and M.S. from MIT and a B.S. from MIT's Lincoln School. Research interests include reconfigurable computing, FPGA interconnect, hardware security, and fault-tolerant systems. Notable achievements include the SEVER & PROTECT DARPA award and IEEE/ACM Fellowships. Recent work addresses fast FPGA compilation (HiPR, PLD), security through compartmentalization (μSCOPE, SCALPEL), and partial reconfiguration techniques. Teaching includes courses on hardware security, system-on-chip architecture, and digital audio basics. Over 200 publications span FPGA design, network-on-chip optimization, and molecular-scale computing. His labs (Implementation of Computation Group) explore physical implementation of computations through hardware-software co-design.

Deian StefanView profile

Associate Professor

• security
• programming languages
• systems
• +7 more

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

Adrian LewView profile

Professor

• Computational Solid Mechanics
• Numerical Algorithms
• Hydraulic Fracturing Simulation
• +3 more

Adrian Lew is a Professor of Mechanical Engineering at Stanford University, specializing in computational solid mechanics and numerical algorithms. His research focuses on hydraulic fracturing simulation, embedded boundary methods, and material model design. He holds a PhD in Mechanical Engineering from Caltech (2003). His work bridges advanced numerical techniques with real-world applications in geophysics, material science, and structural engineering. Education: PhD, Mechanical Engineering, California Institute of Technology, 2003 Research Interests: Lew's group develops algorithms for time-integration embedded boundary methods and hydraulic fracturing simulations. Key areas include curvilinear crack propagation, universal meshing for complex geometries, and high-fidelity fracture mechanics. His work on variational integrators and discontinuous Galerkin methods has advanced computational efficiency in nonlinear elasticity and thermodynamics. Publications: Recent articles emphasize mesh optimization (DVRlib), fracture path instabilities, and magma chamber dynamics. His methodologies address challenges in 3D crack modeling, fluid-structure interaction, and high-order approximations in domains with singularities. Advising & Grants: Lew's research is supported by projects in computational geophysics and material science. Though no advisees are listed, his work involves collaborative teams focused on algorithmic innovation and high-performance computing.

Assia MahboubiView profile

Researcher

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +3 more

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

Josef UrbanView profile

Researcher

• Automated Reasoning
• Machine Learning
• Theorem Proving
• +5 more

Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.

Ian HorrocksView profile

Professor

• Knowledge Representation
• Description Logics
• Automated Reasoning
• +4 more

Ian Horrocks is a Professor of Computer Science at the University of Oxford and a Fellow of Oriel College. His research focuses on knowledge representation, description logics, automated reasoning, and semantic web technologies. He has held academic positions at the University of Manchester (2003–2007) and served as Chief Scientist at Cerebra Inc. (2001–2006). Horrocks earned his BSc (1st class), MSc, and PhD in Computer Science from the University of Manchester (1981–1997). His work includes foundational contributions to ontology languages (e.g., OWL) and reasoning systems such as HermiT and ELK. He has supervised over twenty doctoral students and postdoctoral researchers. His honors include Fellowships from the Royal Society (2011), ECCAI (2009), and the British Computer Society (2005). He serves as Editor-in-Chief of the Transactions on Graph Data and Knowledge and leads initiatives in semantic web standards and knowledge graph applications. Key Roles: Editor-in-Chief (Journal of Web Semantics), Co-Chair (W3C OWL Working Group) Grants: EPSRC Senior Research Fellowship (2005), numerous international collaborations Labs: Oxford Semantic Technologies, involvement in projects like RDFox and PAGOdA

Juan ZhaiView profile

Assistant Professor

• Software Engineering
• Program Languages
• Natural Language Processing
• +6 more

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

James FogartyView profile

Professor

• Human-Computer Interaction
• Ubiquitous Computing
• Accessibility
• +3 more

James Fogarty is a Professor at the Paul G. Allen School of Computer Science & Engineering, University of Washington. He serves as a core member of the DUB Group (Design. Use. Build.), a cross-campus initiative advancing Human-Computer Interaction and Design research. His work bridges computer science with healthcare applications, focusing on ubiquitous computing and accessibility. Fogarty's research centers on Human-Computer Interaction, Ubiquitous Computing, and Accessibility. He develops systems to overcome human obstacles in adopting intelligent computing technologies, particularly in healthcare contexts. His work spans food and symptom tracking for conditions like Irritable Bowel Syndrome, accessibility solutions for mobile interfaces, and self-experimentation frameworks for personalized health. Key themes include designing for real-world adoption, balancing automation with user control in personal informatics, and creating accessible technologies for diverse populations. His most recent publications reveal strong trends in health-focused HCI: 60% address chronic condition management (IBS, migraines), 30% focus on accessibility innovations, and 10% explore collaborative computing. Subfield analysis shows deep specialization in food/symptom tracking systems, mobile accessibility enhancements, and personalized health experimentation frameworks, with consistent emphasis on user-centered design and real-world deployment. Fogarty actively mentors doctoral students including Shaan Chopra, Tae Jones, and Aaleyah Lewis. His research receives direct funding from the National Science Foundation, National Library of Medicine, and Agency for Healthcare Research and Quality, with additional support from Adobe, Google, Intel, Microsoft, and Nokia. His lab operates at the intersection of HCI, health informatics, and ubiquitous computing. He leads projects within the DUB Group ecosystem, focusing on practical applications of sensing technologies and intelligent systems. Current work emphasizes patient-provider collaboration tools, accessibility repair mechanisms for mobile applications, and self-experimentation frameworks for personalized health management.

Alexander PretschnerView profile

Professor

• Software Engineering
• Testing
• Information Security
• +5 more

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

Cezary KaliszykView profile

Professor

• Automated Reasoning
• Formal Methods
• Formalized Mathematics
• +7 more

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne, previously affiliated with the University of Innsbruck. He is actively involved in research and leadership in formal methods, automated reasoning, and machine learning for theorem proving. Research Interests: Automated Reasoning and Interactive Theorem Proving Formalized Mathematics and Proof Automation Machine Learning for Logic and Theorem Proving Integration of AI with Proof Assistants (Coq, Isabelle) Dependent Type Theory and Higher-Order Logic His recent publications (2023–2025) span topics in dependently-typed logic, learning for proof guidance, formalization of surreal numbers, and blockchain-based formal methods. The works consistently bridge formal logic with machine learning, emphasizing automation, explainability, and cross-system integration. Scientific Leadership and Projects: Principal Investigator, ERC project FormalWeb3 Lead Developer, CoqHammer , Tactician , ProofWeb WG5 Leader, COST Action EuroProofNet (until 2024) Contributor to HOL(y)Hammer , Isabelle Enigma He supervises multiple PhD students and has mentored several graduates in formal methods and AI. He teaches courses in theoretical computer science, logic, and machine learning. There are no listed awards in the provided data, but his extensive publication record and project leadership indicate significant recognition in the field. Labs and Research Groups: He leads a research group focused on formal methods and learning-based reasoning, collaborating internationally on projects involving proof automation, formal libraries, and semantic technologies.