Colin Raffel , currently an Associate Professor at the University of Toronto and Associate Research Director at the Vector Institute , is a leading researcher in machine learning and natural language processing . His career spans roles at Hugging Face (Faculty Researcher), Google Brain (Senior Research Scientist), and UNC Chapel Hill (Assistant Professor). Education: PhD in Electrical Engineering (Columbia), MA in Music/Science (Stanford), BA in Mathematics (Oberlin) Key affiliations: Google Brain (2016-2020), Hugging Face (2021-present), Vector Institute (2023-present) His research focuses on language model development , attention mechanisms , efficient machine learning , and music information retrieval . Recent work explores model merging , parameter-efficient fine-tuning , and data-constrained language models . Teaching : Has instructed courses at University of Toronto and UNC Chapel Hill on Neural Networks , Deep Learning , and Information Theory . Academic service includes organizing ICLR workshops and serving as Senior Area Chair for NeurIPS and EMNLP . Notable awards : NSF CAREER (2022), Caspar Bowden Award (2023), NeurIPS Outstanding Paper (2023) Key contributions : Core developer of WT5 , Git-Theta , and mir_eval software
Huan Zhang serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Illinois Urbana-Champaign (UIUC), with affiliate appointments in the Department of Computer Science and the Coordinated Science Laboratory. His research focuses on building trustworthy AI systems with formal verification techniques to provide provable guarantees for safety-critical applications, particularly in machine learning and neural networks. Dr. Zhang received his Ph.D. in Computer Science from UCLA in 2020, advised by Professor Cho-Jui Hsieh. His academic journey includes an M.S. in Computer Engineering from UC Davis (2014) and a Bachelor of Engineering from Zhejiang University (2012). Prior to joining UIUC, he completed a postdoctoral fellowship at Carnegie Mellon University (2021-2023) with Professor Zico Kolter. Huan Zhang's research program centers on formal verification of machine learning systems, with particular emphasis on neural network verification, AI safety, robustness, and reliability. He pioneered the linear bound propagation-based verification framework that enables formal verification for networks with millions of neurons. His work spans five major research categories: formal verification of machine learning, training trustworthy ML models, machine learning safety and adversarial attacks, reinforcement learning safety, and optimization for scalable machine learning. His CROWN framework (NeurIPS 2018) established a foundational approach for neural network verification through efficient linear bound propagation. His recent publications demonstrate a strategic expansion from foundational verification techniques toward increasingly complex systems including large language models, vision-language models, and robotic control systems. The research trajectory shows a clear progression from theoretical frameworks to practical implementations with real-world applications, particularly in safety-critical domains. His work increasingly bridges formal methods with practical AI deployment requirements. Winner of International Verification of Neural Networks Competition (VNN-COMP) as team leader (2021-2024) Schmidt Futures AI2050 Early Career Fellowship ($300,000 research grant) Adversarial Machine Learning (AdvML) Rising Star Award (2021) IBM PhD Fellowship (2018) Dr. Zhang leads the development of α,β-CROWN, a neural network verifier that has won VNN-COMP 2021-2023, and auto_LiRPA, a PyTorch-based library for perturbation analysis on general computational graphs. He has mentored numerous graduate students from CMU, UCLA, UIUC, and Columbia University. His research is supported by significant funding including the Schmidt Futures fellowship and industry collaborations. He teaches courses including ECE 120, ECE 484, ECE 584, and ECE 598 HZ on topics ranging from computing fundamentals to safe autonomy and machine learning. Dr. Zhang maintains active research collaborations across multiple institutions and is affiliated with UIUC's Coordinated Science Laboratory. His work has significant implications for safety-critical AI applications in autonomous systems, healthcare, and other mission-critical domains where reliability guarantees are essential. He regularly gives guest lectures at institutions including Yale, Stony Brook, and the University of Nebraska Lincoln on formal verification techniques.
Prof. Luke Zettlemoyer is an Adjunct Professor of Computer Science and Engineering at the University of Washington, with affiliations to the Department of Linguistics. He focuses on machine learning, natural language processing, and multimodal systems, contributing to advancements in large language models, ethical AI, and scalable architectures. His research addresses challenges in model alignment, generalization, and cross-domain integration. Key research interests include multimodal reward models, efficient tokenization strategies, and model optimization techniques. He has explored topics such as neural trajectories for robot learning, content-adaptive image processing, and ethical mitigation of verbatim data reproduction. His publications span 2023–2025, emphasizing practical applications of AI in robotics, vision-language systems, and scalable retrieval-based models. While no formal awards are listed, his work reflects significant contributions to foundational AI research.
Chris Donahue is an Assistant Professor in the Computer Science Department at Carnegie Mellon University . He also serves as a part-time Research Scientist at Google DeepMind on the Magenta team. His work focuses on leveraging generative AI to enhance human creativity, particularly in music. Education: PhD in Computer Science (UC San Diego), Postdoctoral Scholar (Stanford University) His research spans controllable generative modeling of music and audio , with a focus on real-time interactive systems. Projects like Piano Genie , Beat Sage , and Copilot Arena demonstrate his commitment to real-world deployment. His Generative Creativity Lab (G-CLef) explores AI applications beyond music, including programming and natural language. Recent publications highlight advancements in multimodal music evaluation , real-time adaptation , and AI-driven sound morphing . He co-developed Magenta RealTime , an open-weight real-time music generation model, and MusicFX DJ Mode . Scientific Awards: Best Paper Award (top 1) at NAACL Student Research Workshop 2025 Best Paper Award (top 1% of submissions) at CHI 2025 Best Paper Runner-up at ISMIR 2021 He co-advises PhD students like Wayne Chi (NDSEG Fellow) and mentors Irmak Bukey . His lab receives support from the AIxArts incubator fund at CMU .
Alan Ritter is an Associate Professor at the School of Interactive Computing , Georgia Institute of Technology, with additional affiliation to the Machine Learning Center . His research focuses on Natural Language Processing , particularly robust models across domains/languages with fewer labels and efficient resource use, plus data-driven dialogue agents for open-topic conversations. Research Interests : Robust NLP models, cross-lingual transfer, resource-efficient learning, dialogue systems, cultural bias measurement, and privacy-aware language models Students : Mentors Ph.D. students in Georgia Tech's ML and CS programs, including Junmo Kang, Yang Chen, and Duong Minh Le. Alumni include Fan Bai (Ph.D. 2023), Yang Chen (Ph.D. 2024), and Andrew Li (M.S. 2024). Awards : NSF CAREER Award, Amazon Research Award, ACL 2024 Best Social Impact Paper, IUI 2009 Best Student Paper. Recent Work : Studies training budget allocation between supervised and preference-based finetuning, cross-lingual information extraction, cultural bias in LLMs, and privacy risk mitigation in social media disclosures. Service : Served as Program Chair for NAACL 2025, Area Chair for multiple top-tier conferences (COLM, EMNLP, ACL, EACL, AAAI). Email : alan.ritter@cc.gatech.edu
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).
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.
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)
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.
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.
