Find Academic Supervisors

Andrea ColadangeloView profile

Assistant Professor

• Quantum Computation
• Quantum Cryptography
• Quantum Learning Theory
• +3 more

Andrea Coladangelo is an Assistant Professor at the Allen School of Computer Science & Engineering , University of Washington , co-leading the Quantum group and contributing to the Theory and Crypto groups. He coordinates the NSF-funded Quantum@UW REU program , fostering undergraduate research in quantum information. Previously, he was a postdoctoral researcher at UC Berkeley and the Simons Institute , advised by Umesh Vazirani , following a PhD in Computer Science at Caltech under Thomas Vidick . His academic journey began with a B.A. in Mathematics from Oxford and a Master in Mathematics from Cambridge . He co-founded qBraid , a platform for quantum computing education. Research Interests : Andrea explores the intersection of quantum computation and cryptography , focusing on foundational questions in entanglement , quantum correlations , and quantum learning theory . His work investigates quantum pseudorandomness , device-independent security , quantum algorithms , and quantum copy-protection , often leveraging computational assumptions to bridge quantum information theory with cryptographic applications. Scientific Awards : 2025 Google Research Scholar Program Award in Quantum Computing 2023 CSE Undergraduate Teaching Award for his course on quantum computation 2019 Best Student Paper Award at QIP Teaching & Outreach : Andrea designed and taught CSE 434: Intro to Quantum Computation (Spring 2023, 2024, 2025), CSE 534: Quantum Information and Computation (Autumn 2023), and CSE 599C: Quantum Learning Theory (Winter 2025). He also delivered lectures at the 22nd Bellairs Crypto Workshop (2024) and led a quantum programming tutorial using qBraid . Labs & Teams : As co-leader of the Quantum group at the Allen School, he collaborates with researchers in Theory and Crypto , advancing quantum computing through interdisciplinary projects and educational initiatives.

Alessio LomuscioView profile

Professor

• Artificial Intelligence
• Machine Learning Verification
• Neural Network Verification
• +5 more

Alessio Lomuscio is a Professor of Safe Artificial Intelligence at Imperial College London, holding the prestigious Royal Academy of Engineering Chair in Emerging Technologies and recognized as an ACM Distinguished Member. He leads the Safe AI Lab, which focuses on developing methods and tools for the verification of AI systems to ensure their safe and secure deployment in applications of societal importance. His research spans verification and robust learning for neural networks and decision trees, robust machine learning in aviation and finance, monitoring of machine learning systems, assurance for autonomous systems and AI, and verification and validation of neuro-symbolic systems. Lomuscio has made significant contributions to formal verification methods for AI systems, particularly in the context of safety-critical applications. His recent publications demonstrate a strong focus on neural network verification techniques, with applications across multiple domains including finance, aviation, and autonomous systems. His work bridges theoretical advances in formal methods with practical applications in real-world AI systems, addressing critical challenges in AI safety and trustworthiness. Scientific Awards: Royal Academy of Engineering Chair in Emerging Technologies ACM Distinguished Member Lomuscio has served in numerous leadership roles, including as Co-Director (2023-present) and Deputy Director (2019-2023) of the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. He has also held positions as Director of Strategy and Planning (2017-2020), Member of Management Committee (2013-2020), and Deputy Head of Department (2016-2017). His editorial service includes roles as Associate Editor for Artificial Intelligence Journal and Editorial Board Member for Journal of Artificial Intelligence Research and Journal of Autonomous Agents and Multi-agent Systems. His research group actively mentors students and researchers, with current openings for PhD and postdoctoral positions focused on AI verification and safety. Lomuscio's work has established him as a leading figure in the field of safe and verifiable AI systems, with significant contributions to both theoretical foundations and practical applications.

Moe Z. WinView profile

Professor

• Wireless communications
• Optical communications
• Space communications systems
• +2 more

Moe Z. Win is the Robert R. Taylor Professor at the Massachusetts Institute of Technology (MIT), specializing in wireless communications, optical communications, and space communications systems. His research bridges theoretical and applied domains, including quantum sensing, network localization, and signal processing. B.S.E.E., Texas A&M (1987) M.S.E.E. & Ph.D., University of Southern California (1989, 1998) Recent work focuses on quantum-enhanced positioning, machine learning for localization, and next-generation (xG) non-terrestrial networks. He leads research at the Quantum neXus Laboratory (QX Lab), Wireless Information & Network Sciences Lab, and Laboratory for Information and Decision Systems. His career spans the Jet Propulsion Laboratory (1987-1995) and AT&T Research Laboratories (1998-2002). Key methodologies include soft information fusion, variational quantum sensing, and robust beam tracking for terahertz communications.

Kamalika ChaudhuriView profile

Professor

• Machine Learning
• Trustworthy Machine Learning
• Differential Privacy
• +4 more

Kamalika Chaudhuri is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD), and also serves as a Director and Research Scientist with the FAIR team at Meta AI. Her research focuses on the foundations of trustworthy machine learning, including robust machine learning, learning with privacy, and out-of-distribution generalization. Dr. Chaudhuri has earned her PhD from UC Berkeley in 2007 with a dissertation on "Learning Mixtures of Distributions." Her academic journey has led her to become a leading researcher in machine learning theory with a particular emphasis on privacy and robustness. Her research interests span machine learning foundations with a strong focus on trustworthy AI . She investigates problems at the intersection of differential privacy , adversarial robustness , and out-of-distribution generalization . Her work addresses critical challenges in developing machine learning systems that maintain privacy while preserving utility, resist adversarial attacks, and generalize effectively beyond training data distributions. She has pioneered approaches in privacy-preserving machine learning, robust learning theory, and methods for detecting and mitigating data memorization in models. An analysis of her recent publications (2024-2025) reveals a strong focus on the intersection of privacy, security, and machine learning. Her work spans differential privacy mechanisms, membership inference attacks, memorization detection, and fairness certification. She has been particularly active in developing methods for privacy-preserving foundation models, with several papers on differentially private computer vision and language models. Her research demonstrates a consistent thread of addressing fundamental challenges in trustworthy AI while developing practical solutions that balance privacy, accuracy, and utility. Best Award at the ICLR 2024 Workshop on Privacy Regulation and Protection in Machine Learning Distinguished Paper Award at IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 2024 Dr. Chaudhuri has advised numerous PhD students who have gone on to prominent positions at Google, DeepMind, Microsoft Research, and other leading AI institutions. Her group maintains an active research blog with guest posts from UCSD researchers. She has served in significant leadership roles including General Chair for ICML 2022 and Program Co-Chair for both ICML 2019 and AISTATS 2019, where she pioneered initiatives to improve reproducibility in machine learning research. Her research group at UCSD focuses on trustworthy machine learning, with current projects spanning privacy-preserving AI, robustness against adversarial attacks, and methods for ensuring reliable out-of-distribution generalization. The group collaborates closely with the FAIR team at Meta AI, where Dr. Chaudhuri serves as a Research Scientist.

• Business Process Management
• Process Mining
• Software Engineering
• +3 more

Marlon Dumas is a Professor of Information Systems at the University of Tartu's Faculty of Science and Technology, with a 20-year academic career spanning Estonia and Australia. He holds a PhD in Computer Science from the University of Grenoble 1, France, and has served as Head of Chair and Programme Director in Software Engineering programs. Specializes in Business Process Management (BPM) and Process Mining Current research focuses on prescriptive process monitoring, simulation modeling, and data privacy Recipient of 25+ scientific awards, including multiple Test of Time Awards and the Estonian National Research Award in Technical Sciences Editorial leadership: Area Editor for Information Systems (Elsevier) and ERC Starting Grant Panel Chair His work bridges theoretical advancements in BPM with practical applications in financial services and anti-money laundering. He has developed tools like SIMOD, Kronos, and Kairos for process optimization and analysis. His research integrates AI/ML techniques (reinforcement learning, causal inference) with traditional process modeling. Key trends in his recent publications include: Prescriptive monitoring systems combining causal inference and machine learning Privacy-preserving process mining techniques (differential privacy, anonymization) Resource availability modeling and multi-objective process optimization LLM applications for process analysis and intervention policies Scientific honors include: 2024 BPM Best Paper & Prototype Awards 2023 ICPM Best Prototype Award 2019 ERC Advanced Grantee 2017 Estonian National Research Award in Technical Sciences 2019 MODELS Test of Time Award 2017 BPM Best Prototype Award He has mentored PhD candidates as thesis examiner and contributed to 30+ conference program committees, including General Co-Chair roles at ESEC-FSE 2019 and CAiSE 2018. His work has been supported by European Research Council grants and Estonian Science Foundation projects.

Xupeng MiaoView profile

Visiting Assistant Professor

• Machine Learning Systems
• Distributed Computing
• Data Management
• +5 more

Xupeng Miao is a Visiting Assistant Professor in the Department of Computer Science at Purdue University, holding the Kevin C. and Suzanne L. Kahn New Frontiers Assistant Professorship. Previously, he was a Postdoctoral Fellow at Carnegie Mellon University's Catalyst Group under Professors Zhihao Jia and Tianqi Chen. He earned his Ph.D. in Computer Science from Peking University (2022) and a Bachelor’s degree from Northeastern University. His research focuses on machine learning systems, distributed computing, and data management, with notable contributions to systems like Hetu (a distributed deep learning framework) and innovations in large language model (LLM) serving (e.g., SpotServe, SpecInfer). He has received awards including the 2024 WAIC Yunfan Award and an Outstanding Paper Award at ACL 2024. Current projects emphasize efficient systems for generative AI, including optimizing LLM training and inference on heterogeneous hardware, fault-tolerant distributed training, and scalable graph-based machine learning. He teaches CS 59200-MLS: Machine Learning Systems at Purdue and actively mentors students in PhD/MS programs and internships. Key achievements include NVIDIA Academic Awards, IEEE Micro Top Picks recognition, and leadership in international conference roles (e.g., Artifact Evaluation Co-Chair for KDD 2025 and MLSys 2025). His work bridges system design, algorithmic innovation, and hardware-aware optimizations to advance scalable AI infrastructure.

Amy BruckmanView profile

Professor

• Social Computing
• Online Collaboration
• Content Moderation
• +3 more

Amy Bruckman is a Regents’ Professor and Senior Associate Chair in the School of Interactive Computing at Georgia Institute of Technology. As a Fellow of The ACM and member of the SIGCHI Academy , she contributes to social computing research focusing on online collaboration, cross-cultural understanding, and content moderation. Her 2022 book "Should You Believe Wikipedia? Online Communities and the Construction of Knowledge" explores digital knowledge creation. Education: Ph.D. from MIT Media Lab (1997), B.A. in Physics from Harvard (1987) Research Affiliations: GVU Center, IRI People and Technology Her work addresses social computing challenges including: AI ethics in human-AI interaction Algorithmic bias in content moderation Epistemic justice in online communities Comparative platform analysis (Reddit, Discord, TikTok) Grassroots technology movements Recent publications examine: AI support tools for online counseling Community-driven research frameworks Racial bias mitigation in toxic language detection Designing teachable social media experiences Human trafficking intervention ethics Scientific recognition includes: ACM Fellowship SIGCHI Academy membership She has contributed to: Georgia Tech's Computing Education initiatives Research ethics frameworks for Human-Computer Interaction

Sheila McIlraithView profile

Professor

• Artificial Intelligence
• AI Safety
• AI Alignment
• +9 more

Sheila McIlraith is a Professor in the Department of Computer Science at the University of Toronto, holding the Canada CIFAR AI Chair at the Vector Institute and serving as Associate Director and Research Lead at the Schwartz Reisman Institute for Technology and Society. Her research spans AI safety, ethics, reinforcement learning, and knowledge representation, with a focus on human-compatible AI and long-term societal impacts. Her career includes six years as a Research Scientist at Stanford University and a year at Xerox PARC. McIlraith’s work has been recognized through ACM and AAAI fellowships, as well as prestigious awards like the SWSA 10-Year Award (2011) and the CAIAC Lifetime Achievement Award (2024). Research Interests: AI Safety and Alignment Human-Compatible AI Reinforcement Learning with Ethical Constraints Semantic Web Services Cognitive Robotics and Diagnostic Systems Probabilistic and Logical Reasoning Recent Contributions: Her work emphasizes ethical AI integration, such as the Embedded Ethics Education Initiative (E3I), and addresses challenges in long-term AI risks, multi-agent systems, and interpretable decision-making frameworks. Awards and Honors: ACM Fellow AAAI Fellow 2023 IJCAI-JAIR Best Paper Prize 2024 CAIAC Lifetime Achievement Award Labs and Teams: McIlraith leads initiatives at the Schwartz Reisman Institute and contributes to the Vector Institute, focusing on societal and ethical dimensions of AI technology.

Giuseppe AtenieseView profile

Professor

• Cybersecurity
• Blockchain Technology
• Applied Cryptography
• +4 more

Giuseppe Ateniese is a Professor and Eminent Scholar in Cybersecurity at George Mason University, affiliated with the Department of Computer Science and Cyber Security Engineering. Formerly, he held the Farber Endowed Chair and chaired the Department of Computer Science at Stevens Institute of Technology. His research focuses on cloud security, applied cryptography, blockchain technology, and AI-driven cybersecurity solutions. He has received prestigious awards including the NSF CAREER Award and Google/IBM Faculty Awards. AIFurther, he teaches courses on blockchains, cryptography fundamentals, and cryptofinance. His work includes pioneering contributions to rewritable blockchains, password cracking via AI (e.g., PassGAN), and secure decentralized systems. Education: PhD in Computer Science, University of Genoa (2000) Laurea (M.Sc.), University of Salerno (1995) Master of Engineering (Honoris Causa), Stevens Institute of Technology (2020) Research Interests: Ateniese’s work bridges theoretical and applied cryptography, with emphasis on blockchain scalability, privacy-preserving machine learning, and secure data storage. He has developed foundational techniques like proxy re-cryptography and accountable storage systems. His recent efforts address AI’s dual role as both a cybersecurity tool and threat vector, including AI-based password cracking and defense strategies against LLM-driven attacks. Awards: NSF CAREER Award (for privacy/security research) Google Faculty Research Award (cloud security) IBM Faculty Award IEEE CISTC Technical Recognition Award Teaching & Labs: He teaches advanced courses on blockchains (CS695), cryptography fundamentals (CYSE/ECE476), and introductory cryptography (CS487/587). His research team focuses on cryptographic protocols, decentralized systems, and AI-security intersections. Collaborations include projects with Accenture on editable blockchain prototypes and NSF-funded work on password security.

Rajeev AlurView profile

Professor

• Formal Methods
• Artificial Intelligence
• Cyber-Physical Systems
• +6 more

Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.

Subhasish MitraView profile

Professor

• Robust Computing
• NanoSystems
• Electronic Design Automation (EDA)
• +3 more

Subhasish Mitra is the William E. Ayer Professor of Electrical Engineering and Computer Science at Stanford University, holding dual appointments in both departments. He leads the Stanford Robust Systems Group and serves on the leadership team of the Microelectronics Commons AI Hardware Hub under the US CHIPS and Science Act. His research spans Robust Computing, NanoSystems, Electronic Design Automation (EDA), and Neurosciences, with breakthroughs in X-Compact test compression, carbon nanotube computing, and 3D integration. He has held international roles like the Carnot Chair at CEA-LETI and Visiting Professorships globally. Education & Honors: Recipient of over 40 awards including the IEEE Computer Society’s Harry H. Goode Memorial Award, ACM/IEEE’s A. Richard Newton Technical Impact Award, and the Intel Achievement Award. He earned top academic accolades from IIT Kharagpur and Jadavpur University, and is a Fellow of ACM and IEEE. Research Impact: Pioneered first-of-their-kind systems like the carbon nanotube computer and monolithic 3D integration. His work on robust computing techniques like QED validation and X-Compact compression has industry-wide adoption, saving billions in manufacturing costs. Collaborates with industry leaders like Intel, Google, and Samsung. Publications & Grants: Over 400 publications, including award-winning papers in DAC, ISSCC, and IEEE journals. Leads grants from NSF, DoE, and industry partnerships. His lab explores cutting-edge topics like neuromorphic computing, 3D thermal scaffolding, and AI hardware acceleration. Administration & Outreach: Serves as Associate Chair (Faculty Affairs) for Stanford’s Computer Science Department. Recognized by students for mentorship, and frequently invited to global forums like the World Economic Forum and National Academy of Engineering.

Shweta ShindeView profile

Assistant Professor

• Trusted Computing
• System Security
• Program Analysis
• +4 more

Shweta Shinde is an Assistant Professor at ETH Zürich's Department of Computer Science. She leads the Secure & Trustworthy Systems (SECTRS) group and is affiliated with the Institute of Information Security and the ZISC Center. Her research focuses on foundational and practical aspects of trusted computing, system security, and program analysis to protect devices ranging from smartphones to cloud servers. Key areas include AMD SEV-SNP, Arm CCA, Intel SGX, and hardware-software co-design for security. Dr. Shinde has made significant contributions to confidential computing, including frameworks like OpenCCA and tools for analyzing hardware vulnerabilities. Her work has been recognized with Best Paper Awards and Distinguished Paper Awards at top venues. She advises a group of PhD students, including Mark Kuhne, Supraja Sridhara, and Benedict Schlüter. Her service includes program committee roles at IEEE Security & Privacy, USENIX Security, and as Track Co-Chair for AsiaCCS 2026.

Nate FosterView profile

Professor

• Programming Languages
• Networking
• Databases
• +5 more

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Karthik R. NarasimhanView profile

Professor

• Language Agents
• Reinforcement Learning
• Natural Language Processing
• +3 more

Karthik R. Narasimhan is a Professor at Princeton University's School of Engineering and Applied Science in the Department of Computer Science. Previously, he earned his PhD from MIT under Regina Barzilay and served as a visiting research scientist at OpenAI during 2017-18. His research focuses on the intersection of language and decision-making, building autonomous agents that learn from both experience and human knowledge. His research spans multiple high-impact areas including language agents (Text-DQN, CALM, ReAct, Tree of Thoughts), reinforcement learning (h-DQN, Multi-Objective RL), and AI safety (Toxicity in ChatGPT, DataMUX). He has developed critical datasets and benchmarks such as WebShop, InterCode, SWE-bench, and SILG that have become standard evaluation tools in the field. Current work emphasizes agent capabilities, software engineering automation, and multimodal interaction. His publication trends show strong focus on practical agent deployment (SWE-agent, Tree of Thoughts), safety evaluation (Probing AI Safety), and efficiency improvements (DataMUX). Recent work increasingly addresses real-world challenges in software engineering, security, and human-AI collaboration through rigorous benchmarking. Co-author of foundational GPT (2018) paper Key developer of Text-DQN (2015), CALM (2020), ReAct (2022), Tree of Thoughts (2023) Creator of influential benchmarks: WebShop (2022), SWE-bench (2023), InterCode (2023) He actively advises students through Princeton's computer science program, with research supported by multiple grants focused on autonomous agent development and language-based decision systems. His GitHub repositories (nlp-datasets, text-world-player) demonstrate strong community engagement in open-source research tools. Current projects include advancing language agent capabilities through Reflexion (2023) and Tree of Thoughts (2023) frameworks while addressing critical safety and efficiency challenges.

Andrew ChildsView profile

Professor

• Quantum Algorithms
• Quantum Information Processing
• Quantum Simulation
• +2 more

Andrew Childs is a Professor at the University of Maryland, affiliated with the Department of Computer Science and the Institute for Advanced Computer Studies (UMIACS). He serves as Director of the NSF Quantum Leap Challenge Institute for Robust Quantum Simulation (RQS) and is a Fellow at the Joint Center for Quantum Information and Computer Science (QuICS). His research focuses on quantum algorithms for simulating physical systems, algebraic problems, and quantum walk protocols, with applications in quantum computing and computational complexity. University of Maryland Institute for Advanced Computer Studies (UMIACS) Joint Center for Quantum Information and Computer Science (QuICS) NSF Quantum Leap Challenge Institute for Robust Quantum Simulation Childs' research spans quantum simulation, quantum Fourier transform, phase estimation, and Hamiltonian dynamics. He has developed techniques to reduce quantum computational resources for simulating quantum systems and explored limitations of quantum computers through hidden subgroup problems and non-unitary dynamics. His publications cover diverse areas including quantum walk optimization, Hamiltonian simulation methods, and applications to cryptography and condensed matter physics. Recent works address spatial search algorithms, product formulas for commutators, and quantum routing protocols. As an educator, Childs has taught courses on quantum algorithms and information processing at both the University of Maryland and University of Waterloo, with lecture notes and materials spanning multiple years. Contact: amchilds@umd.edu | Office: ATL 3359 | Affiliated with University of Maryland's quantum research institutes.