Find Academic Supervisors

Nadia FigueroaView profile

Assistant Professor

• Robot Learning from Demonstration
• Human-Robot Collaboration
• Dynamical Systems
• +5 more

Nadia Figueroa is the Shalini and Rajeev Misra Presidential Assistant Professor in the Mechanical Engineering and Applied Mechanics (MEAM) Department at the University of Pennsylvania. She holds secondary appointments in Computer and Information Science (CIS) and Electrical and Systems Engineering (ESE), and is a core faculty member at the GRASP Lab. Prior to Penn, she was a Postdoctoral Associate at MIT’s CSAIL and earned her PhD in Robotics from EPFL under Prof. Aude Billard. Her research focuses on physical and perceptual adaptive intelligence for robots, enabling fluid collaboration with humans in dynamic environments. Key applications include robot learning from demonstration , human-robot co-manipulation , safe navigation in human-centric spaces , and rehabilitation robotics . Her work integrates machine learning control theory artificial intelligence biomechanics psychology with guarantees of stability, safety, and robustness . Recent publications highlight advancements in reactive collision avoidance dynamical system learning intent estimation EEG-driven assistive control origami-based reconfigurable robots across platforms like autonomous vehicles and humanoid robots. She has authored a 2022 textbook on dynamical systems for robot control and received the Presidential Assistant Professorship at Penn.

Mark SteedmanView profile

Professor

• Artificial Intelligence
• Computational Cognitive Science
• Natural Language Processing
• +9 more

Mark Steedman is a Professor in the School of Informatics at the University of Edinburgh, where he conducts research in Artificial Intelligence, Computational Cognitive and Social Science, and Natural Language and Speech Processing. He is affiliated with the Institute for Language, Cognition and Computation (ILCC), the Centre for Speech Technology Research (CSTR), and the Human Communications Research Center (HCRC). He also holds an adjunct professorship in Computer and Information Science at the University of Pennsylvania. His research focuses on Combinatory Categorial Grammar (CCG) , computational linguistics , prosody and intonation , temporal semantics , gesture in communication , and computational music analysis . He has authored foundational books including Surface Structure and Interpretation , The Syntactic Process , and Taking Scope . The recent publications reflect a strong trend toward integrating formal grammatical frameworks like CCG with modern neural and distributional models, particularly in semantic parsing, entailment reasoning, and cognitive modeling. His work bridges symbolic and statistical approaches in NLP, often focusing on robust, wide-coverage parsing and semantic interpretation. Best Paper Award at AACL/IJCNLP 2023 for 'Smoothing Entailment Graphs with Language Models' Best Paper Award at ACL 2023 for 'Extrinsic Evaluation of Machine Translation Metrics' Influential Paper Award 2017 from IFAAMAS for 'Animated Conversation' Mark Steedman has supervised numerous PhD students and collaborated widely across institutions. He leads research in formal grammar applications to cognitive modeling, dialogue, and multimodal communication. His lab contributes to CCG software and semantic parsing tools, and he continues to be actively involved in advancing the integration of symbolic and neural AI.

Richard M. MurrayView profile

Professor

• Control Theory
• Autonomous Vehicles
• Biological Circuit Design
• +3 more

Richard M. Murray is the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at the California Institute of Technology (Caltech). He holds a B.S. from Caltech (1985), M.S. from UC Berkeley (1988), and Ph.D. from UC Berkeley (1990). He has served in academic roles from Assistant Professor (1991–1997) to his current endowed professorship. He chaired the Engineering and Applied Science division (2000–2005) and Biology and Biological Engineering (2020–2024). His research focuses on feedback control in biological and autonomous systems, synthetic cells, and networked control systems. Collaborators include experts in robotics, synthetic biology, and systems biology. Key awards include the IEEE Control Systems Award and election to the National Academy of Engineering. His educational contributions span courses on control systems, robotics, and bioengineering. Current research projects include the Developer Cell initiative (Sloan Foundation), layered testing for autonomous systems (AFOSR), and microbiome-based environmental solutions (CHARMME, ARO). He advises numerous graduate students and postdocs, with notable alumni in academia and industry. Labs include facilities in Keck and Steele laboratories at Caltech. His work bridges control theory, synthetic biology, and autonomous systems to address societal challenges like environmental monitoring and safe autonomy.

Kenneth P. BirmanView profile

Professor

• Distributed Systems
• Cloud Computing
• Machine Learning Systems
• +5 more

Kenneth P. Birman is the N. Rama Rao Professor of Computer Science at Cornell University, where he has had a long and impactful career in distributed systems, cloud computing, and AI/ML infrastructure. He is known for foundational contributions to reliable and scalable distributed systems, and for leading high-impact projects such as Cascade, Vortex, and Derecho. He is also the author of a widely used textbook on reliable distributed systems and has founded multiple companies based on his research. Education: Ph.D. in Computer Science, University of California, Berkeley M.S. in Computer Science, University of California, Berkeley B.A. in Computer Science, Columbia University Research Interests: Professor Birman's research focuses on building reliable, secure, and scalable distributed systems . His current emphasis is on AI and ML infrastructure , particularly in reducing latency and improving performance through hardware acceleration, RDMA-based communication, and edge computing. He explores how to eliminate data movement bottlenecks in AI pipelines and how to support real-time, mission-critical applications in domains like healthcare, smart grids, and industrial IoT. His work spans systems programming, cloud computing, fault tolerance, and formal verification . He has designed systems that have been deployed in high-stakes environments such as the New York Stock Exchange, the Swiss Exchange, and the French Air Traffic Control system. Scientific Awards: ACM Fellow (1999) IEEE Fellow (2014) IEEE Tsutomu Kanai Award for innovations in distributed computing Teaching and Mentorship: Professor Birman teaches two courses in the fall semester: CS4414: Systems Programming and CS5416: Cloud and ML Systems Programming . He has advised numerous Ph.D. and M.S. students, including Alicia Yang, Tiancheng Yuan, Yifan Wang, Weijia Song, Edward Tremel, Sagar Jha, Jonathan Behrens, and Mae Milano. He has announced that Fall 2025 will be his last semester teaching, and he is no longer recruiting new students, though he will continue supervising current ones. Labs and Projects: He leads the Derecho Project and the Cascade/Vortex Project , both focused on high-performance distributed systems. These projects are collaborative efforts with students and industry partners, and the software is released under open-source licenses. He also maintains strong ties with Cornell's systems group and collaborates with faculty across CS, ECE, IS, and the Cornell Tech NYC campus.

• Low-power Integrated Circuits
• Bioelectronics
• Hardware Security
• +3 more

Kaiyuan Yang is an Associate Professor in the Department of Electrical and Computer Engineering at Rice University, leading the Secure and Intelligent Micro-Systems (SIMS) Lab. His research focuses on low-power integrated circuits and bioelectronic implants for applications like the Internet of Everything and medical devices. He holds a B.S. from Tsinghua University (2012) and M.S./Ph.D. degrees from the University of Michigan (2017). Research Interests: Low-power digital/analog/mixed-signal systems Bioelectronics and implantable devices Hardware security and PUF design Mixed-signal computing and emerging materials Recent work emphasizes magnetoelectric-powered implants, secure backscatter communication, and in-memory computing architectures. His publications span top venues like IEEE ISSCC, IEDM, and ACM MobiCom. Awards: 2022 NSF CAREER Award 2022 IEEE Top Picks in Hardware Security 2016 IEEE SSCS Predoctoral Achievement Award Dr. Yang serves on editorial boards for IEEE TVLSI and program committees for ISSCC/CICC. His lab develops miniature, secure, and energy-efficient systems for healthcare and IoT applications.

• Software Verification
• Formal Methods
• Programming Languages
• +5 more

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

Benjamin Carrison-SchaferView profile

Associate Professor

• Reconfigurable Computing
• FPGAs
• Electronic Design Automation
• +7 more

Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.

Christoph KochView profile

Professor

• Database systems
• Database theory
• Programming languages
• +2 more

Christoph Koch is a Full Professor in the School of Computer and Communication Sciences at EPFL (Ecole Polytechnique Federale de Lausanne) , Switzerland. He has held academic positions at Cornell University (2007-2010, 2006), Saarland University (2005-2007), and TU Vienna (2001-2005). His research focuses on database systems, logic, programming languages, and data management.

Eric WongView profile

Assistant Professor

• Machine Learning
• Artificial Intelligence
• Explainable AI
• +5 more

Eric Wong is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania, affiliated with the ASSET Center and leading the Brachio Lab. His research focuses on robust and reliable machine learning, including model debugging, adversarial robustness, and explainable AI. He holds a PhD from Carnegie Mellon University (CMU), advised by J. Zico Kolter, and completed a postdoc with Aleksander Madry. His work bridges theory and practice, addressing challenges in model interpretability, safety, and scalability. Teaching includes CIS 5200 (Machine Learning), CIS 3333 (Mathematics for Machine Learning), and a specialized course on debugging ML pipelines. Notable contributions include the FIX Benchmark for interpretable features and defenses against LLM jailbreaking attacks. He received an Amazon Research Award in 2024 and has published extensively in top conferences like ICML, NeurIPS, and ICLR. Affiliations: University of Pennsylvania (CIS), ASSET Center, Brachio Lab Education: PhD in Machine Learning (CMU), Postdoc at MIT Key Projects: FIX Benchmark, DOLPHIN framework, SmoothLLM defense Awards: Amazon Research Award (2024) Lab Focus: Safe AI, model debugging, neurosymbolic learning

• modality
• philosophy of religion
• philosophical logic
• +2 more

Professor Scott A. Shalkowski is a faculty member in the Department of Philosophy at the University of Leeds, part of the School of Philosophy, Religion and History of Science. He holds the academic rank of Professor and specializes in modality, philosophy of religion, philosophical logic, and the epistemology of religious belief. His work bridges metaphysics, epistemology, and the philosophy of religion, with a focus on modal epistemology and theoretical virtues. Education: PhD in Philosophy, University of Michigan BA in Philosophy, Houghton College Research Interests: Shalkowski’s research explores modal epistemology, method in metaphysics, mathematical nominalism, and the epistemology of religious belief. He has contributed to debates on logical pluralism, modal realism, and the relationship between science and religion. Publications: His work spans topics like modal logic, theoretical virtues, and metaphysical frameworks. Notable articles include Modal Epistemology for Modalists (2023) and Modalism and Logical Pluralism (2009). His research often emphasizes empirical grounding in philosophical theorizing. Awards: Shalkowski has received awards from the National Endowment for the Humanities, Australian Research Council, and British Academy. He was also nominated for an Excellence in Teaching Award. Grants & Labs: His research has been supported by grants from major funding bodies. He contributes to interdisciplinary discussions through his work in the Centre for Philosophy of Religion and Theology and the Centre for Theoretical Philosophy at Leeds.

Oana CocarascuView profile

Senior Lecturer

• Argument mining
• Explainable AI
• Machine learning
• +5 more

Dr. Oana Cocarascu is a Senior Lecturer in Artificial Intelligence at the Department of Informatics, Faculty of Natural, Mathematical & Engineering Sciences, King's College London. She holds a PhD and MEng in Computing (Artificial Intelligence) from Imperial College London and conducts applied research focusing on how artificial intelligence can be deployed to support real-world applications, with machine learning and natural language processing as core components of her work. Her research interests span argument mining, explainable AI, machine learning, natural language processing, and symbolic reasoning. She is particularly focused on developing AI systems that can provide transparent, accountable, and ethical decision-making processes. Her work addresses critical challenges in bias mitigation, fairness metrics, fact verification systems, and argumentation-based explanations for complex AI decisions. Analysis of her recent publications (2023-2025) reveals a strong focus on fairness in AI systems, with particular attention to individual fairness metrics and nuanced evaluation frameworks. She has made significant contributions to fact verification systems, especially in multimodal contexts involving charts and tabular data. Her work increasingly integrates argumentation theory with natural language processing to create explainable AI systems that can justify their decisions through structured reasoning. Dr. Cocarascu leads an EPSRC-funded project titled 'A framework for evaluating and explaining the robustness of NLP models' (2024-2027) and is actively involved in the Natural Language Processing Group at KCL. Her research fingerprint shows strong activity in argumentation (100%), decision-making (74%), artificial intelligence (50%), explainable AI (39%), and bias mitigation (35%). She has contributed to numerous high-impact publications in top venues including ACL, EMNLP, AAAI, and the Journal of Artificial Intelligence Research, with a particular focus on making AI systems more transparent, accountable, and aligned with human values. Her work intersects with UN Sustainable Development Goals, particularly those related to reducing inequality and building resilient infrastructure.

Giovanni De MicheliView profile

Professor

• Integrated Circuit Design
• Hardware Synthesis
• Logic Optimization
• +5 more

Giovanni De Micheli is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL), holding appointments in both the School of Computer and Communication Sciences (IC) and the School of Engineering (STI). He is affiliated with the Integrated Systems Laboratory (LSI) and serves as Scientific Director of EcoCloud. His primary office is located in INF 341 building at EPFL's Lausanne campus where he conducts research and teaching activities. Professor De Micheli's research spans multiple domains in electronic design automation and integrated circuit design. His primary interests include: Integrated Circuit Design and Hardware Synthesis Logic Optimization and Boolean Methods Nanoelectronics and 2D Electronics Quantum Computing and Emerging Technologies Low-Power Electronics and Energy-Efficient Systems Electronic Design Automation for Novel Computing Paradigms His recent publications demonstrate a strong focus on advancing logic synthesis techniques for both conventional and emerging technologies. Professor De Micheli's work bridges theoretical foundations with practical applications, particularly in adapting traditional EDA methods to novel computing paradigms like quantum computing and superconducting electronics. His research group has made significant contributions to the development of efficient algorithms for circuit optimization across multiple technology domains, with particular emphasis on area, power, and delay optimization while maintaining functional correctness. Professor De Micheli has supervised numerous doctoral students throughout his career at EPFL, mentoring over 40 PhD candidates whose research spans various aspects of electronic design automation, circuit design, and emerging technologies. His students have gone on to make significant contributions in both academia and industry. As Scientific Director of EcoCloud, Professor De Micheli leads research initiatives focused on energy-efficient computing systems and sustainable cloud infrastructure. His laboratory, the Integrated Systems Laboratory, serves as a hub for interdisciplinary research connecting computer science, electrical engineering, and materials science, with particular focus on next-generation computing technologies.

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.

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.

Mo AddaView profile

Senior Lecturer

• Network Security
• Distributed Systems
• Wireless Networks
• +5 more

Dr. Mo Adda is a Principal Lecturer at the University of Portsmouth's School of Computing, part of the Faculty of Technology. He holds a PhD in Distributed Systems and Parallel Processing from the University of Surrey. His research focuses on network security, distributed systems, wireless networks, and cybercrime prevention. He leads projects in the Centre for Cybercrime and Economic Crime, exploring fault management in networks, blockchain applications, and IoT forensics. With 16 supervised theses, he advises on topics like energy-efficient cloud systems and machine learning for environmental modeling. His work bridges academia and industry, addressing challenges in software-defined networks, traffic control, and secure data sharing in social networks. Education: PhD in Distributed Systems (University of Surrey) Affiliations: Centre of Excellence in Defence, Risk & Resilience; Portsmouth Centre for Advanced Materials and Manufacturing Research Interests Dr. Adda's research spans: Network security and fault detection mechanisms Blockchain applications in IoT and forensics Energy-efficient cloud data center optimization Machine learning for climate modeling Self-organizing network protocols Grants & Collaborations His projects include collaborations with industry partners on secure data leakage detection in cloud systems and resilient wireless protocols for harsh environments. He has pioneered fault classification systems using clustering algorithms and fuzzy logic. Labs & Teams He contributes to the Centre for Cybercrime and Economic Crime, focusing on digital forensics and network intrusion analysis. His team develops frameworks for privacy management in social networks and proactive routing in software-defined networks.