Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .
Sicun Gao is an Associate Professor in the Computer Science and Engineering department at the University of California, San Diego. His research focuses on practical algorithms for NP-hard search and optimization problems in computational systems, emphasizing combinatorial perspectives in numerical and statistical contexts to achieve reliable autonomy. Research Interests: Automated reasoning, Hamilton-Jacobi reachability, safe reinforcement learning, control barrier functions, and optimization in cyber-physical systems. Teaching: Courses on AI search, optimization, and graduate research seminars. The 15 most recent publications highlight advancements in safe AI control, motion planning, and policy optimization, often integrating neural networks with formal verification. Awards include the IEEE Power & Energy Society Technical Committee Prize Paper Award and the IROS RoboCup Best Paper Award. He advises PhD students working on AI-driven control and robotics, with alumni placed at institutions like Seoul National University, Amazon, and Apple. Grants include NSF Career, Air Force Young Investigator, and DARPA Assured Autonomy funding. His lab develops tools like dReal for automated reasoning in nonlinear theories over the reals.
Professor Thomas Bein is affiliated with the Department of Chemistry at Ludwig-Maximilians-Universität München (LMU) , where he leads the Functional Nanosystems research group. His work focuses on synthesizing and characterizing nanostructured materials with applications in energy, catalysis, and biomedical delivery. Mesoporous nanoparticles for drug delivery Semiconductor nano-morphologies for photovoltaics Photoelectrochemical water splitting Metal-organic frameworks (MOFs) Electroactive networks His research emphasizes atomic-scale control of material architectures using self-assembly, hydrogen bonding, and covalent interactions, enabling precise tuning of electronic, optical, and catalytic properties. A review of his recent publications reveals cutting-edge investigations into covalent organic frameworks (COFs), perovskite-inspired solar materials, and functional nanoparticle systems. Key trends include optimizing energy conversion efficiency, enhancing stability in optoelectronic devices, and exploring bio-compatible nanocarriers for targeted therapies. Professor Bein’s group actively contributes to interdisciplinary projects at the intersection of chemistry, physics, and biomedical engineering, with ongoing collaborations in solar energy, sustainable materials, and nanomedicine.
David Mazières is a Professor at Stanford University , affiliated with the School of Engineering and the Department of Computer Science . He serves as a software engineer at the Stellar Development Foundation . His work bridges academic research and industry applications in distributed systems and security. University: Stanford University Academic Rank: Professor Email: dm@scs.stanford.edu Research Interests: David Mazières' research focuses on distributed systems , cryptocurrencies , and computer security . Key areas include consensus protocols (e.g., Stellar ), low-latency scheduling ( Syrup , Shinjuku ), and cryptographic techniques for privacy and security ( SafetyPin , CCFI ). Key Achievements: His notable works include: TCP-ENO (RFC 8547) for secure transport protocols Stellar Consensus Protocol for decentralized finance SOSP 1999 Best Paper for 'Separating key management from file system security' Teaching Contributions: He has taught core and advanced courses at Stanford since 2005, including CS212 (Operating Systems) , CS240h (Functional Systems in Haskell) , and CS251 (Cryptocurrencies and Blockchain Technologies) . Previously taught courses at NYU (2001-2005).
Assoc. Prof. Tatyana Yordanova is affiliated with the National Academy of Sports in Bulgaria, where she serves in the Faculty of Sports and Department of Technical and Ice Sports . She holds the academic rank of Associate Professor and has been leading the department since 2024. Education: Master's from State Central Institute of Physical Culture (1987); Doctorate in Sports Science (2019) Languages: English, Italian, Russian Her research focuses on technical elements in figure skating , speed-power abilities , balance stability , and judging systems . She has extensively studied jump mechanics and anthropometric factors in skaters. Her publications from 2018-2024 include studies on judging systems, jump techniques, and sports management. Key themes in her work involve training methodology, competition analytics, and biomechanics of skating. Since 2002, she has worked as an international figure skating judge, including at the Sochi 2014 Olympics . She chaired the Bulgarian Skating Federation (2011-2023) and participated in projects like Erasmus+ mobility (2022, 2024). Her pedagogical career includes roles as scientific assistant (1988), senior assistant (2006), and associate professor (2023).
Professor Ihab Ilyas is a leading figure in data management and machine learning at the Cheriton School of Computer Science , University of Waterloo , where he holds the Thomson Reuters Research Chair in Data Quality . He is currently on leave from the university, serving as a Distinguished Engineer, Proactive Intelligence at Apple Inc . His research focuses on data cleaning , large-scale data integration , knowledge graphs , and machine learning applications in data quality . He has pioneered systems like HoloClean and Saga , with commercial impacts through co-founded startups Inductiv (acquired by Apple) and Tamr . PhD in Computer Science from Purdue University Co-founder of Inductiv (acquired by Apple) Co-founder of Tamr Research Interests include: Probabilistic and uncertain data management Machine learning for data quality and enrichment Big data systems and information extraction Knowledge graph construction and optimization Scientific Awards and Recognitions include: Fellow of the Royal Society of Canada (2024) C.C. Gotlieb Computer Award (2024) IEEE Fellow (2021) ACM Fellow (2020) Cheriton Faculty Fellowship (2013-2016) Ontario Early Researcher Award
Lutz Schubert is a researcher at the Institute of Computer Science , University of Cologne. He focuses on efficient distributed and parallel execution environments for heterogeneous systems, notably the MyThOS operating system in collaboration with Brandenburg University of Technology, Cottbus-Senftenberg. His interdisciplinary work bridges computer science and digital archaeology , addressing modeling of non-deterministic events from sparse excavation data and exploring human behavior constraints in archaeological contexts. Research Interests Design of modular, scalable operating systems for distributed systems Optimization of execution environments for heterogeneous hardware Application of complex systems modeling to digital archaeology Statistical and probabilistic methods for archaeological interpretation Autonomic resource distribution and adaptation in computing Publication Trends : His work spans operating systems , parallel computing , and digital humanities , with recent emphasis on probabilistic reasoning in archaeology and adaptive OS design for multicore architectures. Labs & Collaborations : He collaborates with Brandenburg University of Technology on MyThOS and leads research in computational archaeology as chair of Computer Applications and Quantitative Methods in Archaeology (CAA) , Germany.
Gianluca Iaccarino is a Professor of Mechanical Engineering at Stanford University and the Robert Bosch Chairholder. He serves as Director of the PSAAP Center and leads large-scale computational research initiatives in uncertainty quantification, exascale computing, and multiphysics simulations. His academic journey includes a PhD in Mechanical Engineering from Politecnico di Bari (2005), postdoctoral work at Stanford's Center for Turbulence Research, and progression from Research Engineer to full Professor. Education : PhD (Politecnico di Bari), MS/BS in Aeronautical Engineering (University of Naples) Research : Computational engineering, turbulence modeling, uncertainty quantification, biomedical fluid dynamics, and exascale-ready algorithms Publications : 15+ recent articles focus on turbulence modeling, data-driven simulations, and uncertainty quantification across diverse applications in aerospace, biomedical, and energy systems Awards : PECASE (2010), APS Fellow (2019), multiple best paper awards (AIAA, ASME), Terman Fellow (2007) Students : Advises doctoral and master's students in mechanical engineering and computational methods Leadership : Director of PSAAP Center (2014-present), Chair of Mechanical Engineering Department (2024-present)
Rachit Agarwal is an Associate Professor in the Department of Computer Science at Cornell University, with research focusing on systems, networking, and theoretical problems arising in practical systems. He leads a research group working on resource disaggregation, host architecture, secure cloud storage, and datacenter design. PhD in Computer Science, Cornell University Undergraduate, IIT Kanpur His research spans three major directions: Resource Disaggregation (with $3M NSF and Google awards), Host Architecture (exploring terabit interconnects), and PANCAKE (secure oblivious cloud storage with $1M NSF award). He also contributed to foundational work in Near-optimal Datacenter Design and Data Plane Monitoring . Awards include the Sloan Fellowship, NSF CAREER, IRTF Applied Networking Prize, and multiple best paper awards. His recent publications focus on host network architecture, congestion control, oblivious data access mechanisms, and secure cloud storage systems. He has advised multiple Ph.D. and postdoctoral researchers who now hold faculty positions at leading institutions. Sloan Research Fellowship NSF CAREER award Kavli Fellowship IRTF Applied Networking Research Prize SIGCOMM Best Student Paper Award Usenix Security Distinguished Paper Award Tau Beta Pi Professor of the Year 2025 Rachit has advised numerous students including current Cornell advisees like Midhul Vuppalapati, Shreyas Kharbanda, and Omar Eqbal. Former advisees include Saksham Agarwal (UIUC), Qizhe Cai (UVA), and Mina Tahmasbi Arashloo (University of Waterloo). His research is supported by large NSF grants and industry awards, with deployments in real-world systems and open-source contributions.
Jackie Chit Kit Cheung is an Associate Professor in the School of Computer Science at McGill University, where he co-directs the Reasoning and Learning Lab. He holds the Canada CIFAR AI Chair and serves as an Associate Scientific Co-Director at the Mila Quebec AI Institute. He is also a consulting researcher at Microsoft Research Montreal. Academic Background: Ph.D. in Computer Science, University of Toronto (2010–2014) M.Sc. in Computer Science, University of Toronto (2008–2010) B.Sc. (Honours) in Computer Science, minors in Linguistics and German, University of British Columbia (2004–2008) Research Interests: Jackie Cheung's research lies at the intersection of natural language processing, machine learning, and cognitive science. He focuses on natural language generation , automatic summarization , commonsense and pragmatic reasoning , and the evaluation of NLP systems . His work aims to build language models that reflect real-world structure and reasoning, with applications in health, education, and language revitalization. He is particularly interested in how implicit meaning is processed in context, a core concern in linguistic pragmatics. Publication Trends: His recent publications (2024–2025) show a strong emphasis on evaluation methodologies (e.g., COSMIC, ECBD), hallucination and factuality in language models, coreference and reasoning , and long-context modeling . He frequently collaborates across institutions and integrates insights from linguistics and psychology into NLP system design and analysis. Scientific Awards: Best Paper Award, ACL 2018 Outstanding Paper Award, NAACL 2018 Student Research Workshop SAC Award, ACL 2024 (for COSMIC) Best Poster Award, CMDO AI-Health Symposium 2024 Advising and Grants: He advises a large and diverse group of graduate students, including PhD and Master’s candidates, often in co-supervision with other faculty. His group has received support from major AI and health research initiatives, including CIFAR and Mila. He has trained alumni who have gone on to faculty and industry research positions. He has served in leadership roles in top NLP conferences, including as Senior Area Chair, Workshop Chair, and Program Chair of Canadian AI 2018. Labs and Teams: He co-directs the Reasoning and Learning Lab at McGill and is deeply involved with Mila – Quebec AI Institute . He founded the NLP Reading Group at McGill, which brings together researchers from computer science, linguistics, and information studies to discuss theoretical and applied NLP topics.
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.
Halil Ali is a Lecturer in Data Science (Education Focused) at the School of Computing Technologies, RMIT University. His research spans privacy-preserving machine learning, blockchain technologies, and cybersecurity. Key research areas include federated learning , quantum-enhanced AI , secure biometrics , edge unlearning , and privacy in healthcare data . His recent publications focus on resilient AI systems , blockchain applications , and ethical data handling in emerging technologies. His work demonstrates expertise in integrating machine learning with blockchain security across domains like IoT, smart grids, and metaverse healthcare. He contributes to practical frameworks for zero-trust architectures , lightweight consensus protocols , and quantum-classical hybrid models .
Tomas Palacios is a Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT) , where he directs the Center for Graphene Devices and 2D Systems and leads the Microsystems Technology Laboratories (MTL). His research focuses on pushing the boundaries of microelectronics through novel semiconductor materials and device architectures, including Gallium Nitride (GaN) and 2D materials like graphene and molybdenum disulfide (MoS2). Professor, MIT Electrical Engineering and Computer Science Director, MIT Center for Graphene Devices and 2D Systems Clarence J. LeBel Professor, MIT Faculty Director, Northeast Microelectronics Internship Program (NMIP) Research Interests span multiple cutting-edge domains: High-frequency electronics (>300 GHz) for 6G and quantum applications High-voltage power devices (600V–10kV) for energy conversion Post-silicon logic devices using 2D materials High-temperature electronics (e.g., Venus rover applications) Distributed neural networks on large-area 2D materials Graphene-based biosensors and chemical detection systems Scientific Contributions include: Double recipient of the IEEE George Smith Award for groundbreaking GaN transistor work Co-invented first MoS2 electronic circuits Developed world’s first Wi-Fi-to-electricity conversion antenna Led MIT’s Microsystems Technology Laboratories since 2021 Advising Philosophy emphasizes cross-layer expertise, with students gaining experience from materials synthesis to system-level prototyping. His lab has incubated startups like Vertical Horizons , focused on GaN power devices for AI and EVs.
Anca Dragan is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, where she runs the InterACT Lab focused on algorithms for human-AI and human-robot interaction. Currently on leave from Berkeley, she leads AI Safety and Alignment at Google DeepMind, overseeing safety for Gemini models and preparing for future advancements. Dragan has been a co-PI of the Center for Human-Compatible AI and served on the steering committee for the Berkeley AI Research (BAIR) Lab. B.Sc. in Computer Science from Jacobs University Bremen, Germany Ph.D. from Carnegie Mellon University Dr. Dragan's research focuses on enabling AI agents to work effectively with, around, and in support of people. Her work bridges robotics, machine learning, and game theory to create systems that better understand human preferences and coordinate with users. Key areas include AI alignment (ensuring AI does what people actually want), learning reward functions from diverse human feedback forms, and developing algorithms for human-AI collaboration across domains like autonomous vehicles, brain-machine interfaces, and recommender systems. Her research emphasizes maintaining uncertainty about human preferences and accounting for the plurality of human values. Dr. Dragan's recent publications reveal a strong focus on addressing fundamental challenges in AI safety and alignment. Her work spans theoretical foundations of reward learning, practical implementations for human-AI coordination, and critical examinations of limitations in current approaches. There's a clear trajectory toward more robust, safe, and value-aligned AI systems that can handle complex human preferences while avoiding both present-day harms and potential catastrophic risks. IEEE RAS Early Academic Career Award in Robotics and Automation (2021) McEntyre Award for Excellence in Teaching (2020) PECASE (Presidential Early Career Award for Science and Engineering) (2019) Sloan Fellowship (2018) NSF CAREER Award (2017) Okawa Foundation Award (2017) MIT Tech Review 35 Innovators Under 35 (2017) Multiple best paper awards at top robotics and AI conferences Dr. Dragan has mentored numerous successful students who have gone on to faculty positions at MIT, Stanford, CMU, and Princeton, as well as industry roles at DeepMind, Waymo, and Meta. Her advising philosophy emphasizes both technical rigor and consideration of broader societal impacts. She has secured significant research funding including NSF CAREER, ONR Young Investigator, and Okawa Foundation awards, supporting work on human-AI interaction and alignment. Dragan has also consulted for Waymo for six years, helping develop roadmaps for deploying increasingly learning-based safety-critical systems. Dr. Dragan leads the InterACT Lab at UC Berkeley, which has produced influential work on Cooperative Inverse Reinforcement Learning, Inverse Reward Design, and other foundational concepts in human-AI interaction. The lab's research has significantly shaped the field of AI alignment, with applications spanning autonomous vehicles that coordinate with human drivers, brain-machine interfaces that adapt to user needs, and language models that better understand human preferences. Current work focuses on scaling safety approaches as AI capabilities advance, ensuring alignment keeps pace with technological progress.
Asaf Cidon is an Associate Professor at Columbia University, jointly affiliated with the Department of Electrical Engineering and Computer Science, and a member of the Data Science Institute. His research focuses on software systems , storage , large-scale machine learning , and cybersecurity . Stanford University - PhD in Electrical Engineering Stanford University - MS in Electrical Engineering Technion - BS in Computer and Software Engineering His work in distributed storage systems has been commercialized by companies such as Facebook, Tibco, and Rubrik. He has led projects like Sentinel and Forensics during his industry career. Recent publications highlight advancements in software-based radiation protection (ASPLOS'26), PCIe pooling with CXL (HotOS'25), and AI phishing detection (IMC'25). These reflect his expertise in system architecture , security , and networking . Scientific recognitions include best paper awards at OSDI, Usenix Security, CIDR, and ATC, along with NSF CAREER and ARO Young Investigator Awards . His papers Cookie Monster (SOSP'24) and Chablis (CIDR'24) received notable accolades. He has mentored numerous PhD and Master's students , including Edward Guo, Harry Wang, and Teng Jiang, many of whom now hold roles at Google, Meta, Amazon, and academic institutions. His lab at Columbia is actively recruiting CS and EE PhD students. Prior to Columbia, he founded and led the startup Sookasa to acquisition and served as Senior Vice President of Email Protection at Barracuda Networks , managing a $200M business with 100 engineers.
