Hao Su is an Associate Professor in the Department of Computer Science and Engineering at University of California, San Diego . He serves as Chairman & CTO of Hillbot Inc , and leads the SU Lab which focuses on building autonomous systems that learn actively in physical environments. His affiliations include the Institute for Learning-enabled Optimization at Scale , Artificial Intelligence Group , Contextual Robotics Institute , Halicioğlu Data Science Institute , and Center for Visual Computing . As a researcher in Computer Vision, Robotics, and Neural Geometry , he has made significant contributions to 3D foundation models, reward-free world models, diffusion policy frameworks, and GPU-accelerated simulation environments. His 2024-2025 publications include advancements in hand-eye calibration, dynamic mesh reconstruction, and multi-stage robotic manipulation. His scientific awards include: Frontiers of Science Award (2025) TPAMI Young Research Award (2025) NSF CAREER Award (2023) ACM SIGGRAPH Best Doctorate Thesis Honorable Mention (2019) He has served as Program Chair for CVPR 2025 and Area Chair for ICLR 2022 and NeurIPS 2023 , while previously serving as Publication Chair for 3DV 2016 and Program Committee for SIGGRAPH Asia Workshops .
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.
Hugo Jose Herrera de Leon is a Research Fellow at the Department of Geography, University of Bergen. His work focuses on socio-ecological resilience, system dynamics modeling, and policy planning for climate change adaptation. He is affiliated with the System Dynamics research group and has presented at major international conferences like the European Conference on Operational Research and the International System Dynamics Conference. His research explores bioeconomy transitions in Norwegian agriculture, resilience in farming systems, and participatory policy design. He has been funded by the Research Council of Norway (2021-2025) for projects investigating sustainable transitions in rural systems. Notable contributions include developing frameworks for assessing resilience through hybrid simulations and collaborative modeling approaches. Publications span topics like microworld simulations for policymaking, organizational impacts of group model-building, and system dynamics applications in food security. His doctoral thesis (2018) addressed public policy strategies for enhancing resilience in socio-ecological systems under climate change.
Sarah Billington is the UPS Foundation Professor of Civil and Environmental Engineering at Stanford University and a Senior Fellow at the Woods Institute for the Environment. Her research program focuses on sustainable building design, human wellbeing, and ethical supply chain practices. Education: PhD, University of Texas at Austin, Structural Engineering (1997) MSE, University of Texas at Austin, Structural Engineering (1994) BSE, Princeton University, Civil Engineering & Operations Research (1990) Her lab employs interdisciplinary methods to study how built environments impact human physical, psychological, and social wellbeing. Current projects include developing tools to quantify nature exposure in buildings, exploring affordable housing's role in wellbeing, and using AI to assess forced labor risks in material supply chains. While no longer active in this area, her group previously pioneered research on sustainable construction materials like bio-based composites and ductile cement-based composites. Her recent publications address topics such as nature integration in architecture, workplace design optimization, and health impacts of building materials. The Billington Lab at Stanford fosters collaborative team science, welcoming partnerships to advance occupant-centric engineering solutions.
Ram Rajagopal is an Associate Professor of Civil and Environmental Engineering and Electrical Engineering at Stanford University, and a Senior Fellow at the Precourt Institute for Energy. He leads the Stanford Sustainable Systems Lab (S3L), focusing on large-scale monitoring, data analytics, and stochastic control for infrastructure networks, particularly power systems. His research emphasizes renewable energy integration, smart distribution systems, and demand-side data analytics. Education: PhD in Electrical Engineering and Computer Sciences & MA in Statistics (UC Berkeley), MS in Electrical and Computer Engineering (UT Austin), and BEng in Electrical Engineering (Federal University of Rio de Janeiro). Research interests include power grid optimization, renewable energy systems, and data-driven approaches to infrastructure challenges. He has pioneered work in grid flexibility, distributed energy resources, and machine learning applications for energy systems. His lab develops technologies like Smart Dim Fuses and the EV-EcoSim platform for EV charging infrastructure optimization. Received NSF CAREER Award, Powell Foundation Fellowship, and Berkeley Regents Fellowship Over 30 patents and best paper awards Advises/founded companies in sensor networks, power systems, and data analytics Labs/Teams: Stanford Sustainable Systems Lab (S3L), Powernet Project. His work spans grid resilience, energy equity, and scalable energy solutions.
Dr. K. Max Zhang is a Professor in the Sibley School of Mechanical and Aerospace Engineering at Cornell University. He is the director of the Energy and the Environment Research Laboratory (EERL) and a fellow at the Atkinson Center for a Sustainable Future. His research is deeply interdisciplinary, focusing on sustainable energy systems, air quality, and environmental justice, with significant impacts on policy and community development in New York and beyond. Ph.D., Mechanical Engineering, University of California-Davis, 2004 B.S., Thermal Engineering, Tianjin University, 1998 B.A., English Language, Tianjin University, 1998 Dr. Zhang’s research centers on the integration of energy and environmental systems. He investigates air pollution dynamics using advanced numerical models like CTAG, with applications in near-source pollution, indoor air quality, and environmental justice. His work on renewable energy systems includes designing sustainable solar farms and managing distributed energy resources such as heat pumps to enhance grid flexibility. He also leads a pioneering initiative to create the first statewide public IoT network in the U.S., enabling hyperlocal weather forecasting and microclimate monitoring. His recent publications reflect a strong trend toward agrivoltaics, peer-to-peer energy markets, and IoT-based environmental monitoring. These works demonstrate a consistent focus on data-driven modeling, community-scale energy solutions, and the integration of social considerations into technical systems. The keywords across his articles highlight expertise in sustainability, machine learning, air quality, and energy transition. Cornell Town-Gown Achievement Award (2022) Engaged Scholar Prize, Cornell University (2017) People's Choice Sign of Sustainability Award, Sustainable Tompkins (2016) Scientific and Technological Achievement Award, Environmental Protection Agency (2015) Fellow of the American Society of Mechanical Engineers Dr. Zhang is actively involved in mentoring students and securing research grants from agencies such as the National Science Foundation (NSF) and the New York State Energy Research and Development Authority (NYSERDA). His projects often involve interdisciplinary collaboration across eight Cornell colleges and 16 academic departments. He has led initiatives such as the Cornell Atkinson Academic Venture Fund projects and the development of a county-level energy roadmap for Tompkins County. He also teaches courses in engineering thermodynamics, future energy systems, and air quality, emphasizing experiential and community-based learning. Dr. Zhang leads the Energy and the Environment Research Laboratory (EERL) and collaborates with the Atkinson Center for a Sustainable Future. His lab functions as a hub for innovation in sustainable communities, combining advanced modeling with real-world applications. Through partnerships with community organizations, government agencies, and industry, his team develops science-driven solutions to urban and rural sustainability challenges.
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.
Vesna Terzic is a Professor in the Department of Civil Engineering and Construction Engineering Management at California State University Long Beach's College of Engineering. Her research specializes in seismic performance assessment, infrastructure resilience, and probabilistic risk analysis of structures. Education includes a PhD in Structural Engineering from UC Berkeley, MS in Earthquake Engineering from Ss. Cyril and Methodius University, and BS in Structural Engineering from University of Belgrade. Research focuses on developing advanced computational frameworks for evaluating post-earthquake functionality of buildings and bridges. Her work integrates performance-based engineering with resilience quantification, emphasizing practical applications for seismic design and retrofitting. Recent publications demonstrate consistent focus on functional recovery modeling, structural health monitoring, and optimization of protective systems. Research trends show progression from component-level analysis to regional recovery simulation frameworks. Major awards: ACI Chester Paul Siess Award for Excellence in Structural Research (2017) Popert Fellowship, UC Berkeley (2009) Professional service includes membership on FEMA P-58 project committees and contributions to OpenSees development. Current projects investigate soil-structure interaction effects on tall buildings and recovery-based design methodologies.
Eduardo Miranda is a Professor of Civil and Environmental Engineering at Stanford University. He specializes in structural engineering, with a focus on performance-based earthquake engineering. His work involves analyzing ground motion impacts on structures and society, and developing methods to improve seismic design and construction. He holds a PhD from the University of California, Berkeley (1991), an MSc from UC Berkeley (1988), and a Civil Engineering degree from UNAM (1986). Education: PhD in Structural Engineering, UC Berkeley (1991) MSc in Structural Engineering, UC Berkeley (1988) Civil Engineer, National Autonomous University of Mexico (UNAM) (1986) Research Interests: His primary research areas include seismic risk assessment, ground motion analysis, and the development of computational tools for structural analysis. He investigates the directional effects of earthquakes on building responses and has contributed to methodologies for regional seismic risk evaluation. His work also focuses on improving seismic isolation techniques and nonstructural component design. Recent Research Trends: Miranda’s recent publications emphasize directional ground motion effects, particularly in earthquakes like those in Türkiye and Taiwan. He explores novel friction models for seismic isolation bearings and evaluates the seismic performance of structures on soft soils. His work bridges theoretical analysis and practical application, aiming to enhance building resilience. Advising & Grants: No specific grants or advisees are listed, but his research is funded through collaborations with institutions like EERI and StEER for field assessments and computational studies. Labs/Teams: Collaborates with the Stanford Earthquake Engineering Research (StEER) Group, contributing to post-earthquake reconnaissance reports and regional risk assessments.
Tim G. J. Rudner is an Assistant Professor in the Department of Statistical Sciences at the University of Toronto, a Faculty Member at the Vector Institute, and a Title A Fellow at Trinity College, University of Cambridge. He was previously an Assistant Professor and Faculty Fellow at New York University. University: University of Toronto School: Faculty of Arts and Science Department: Department of Statistical Sciences Affiliation: Vector Institute, Trinity College (Cambridge) He holds a PhD in Computer Science and an MSc in Statistics from the University of Oxford, where he was advised by Yee Whye Teh and Yarin Gal, and a BS in Applied Mathematics and Economics from Yale University. PhD: Computer Science, University of Oxford MSc: Statistics, University of Oxford BS: Applied Mathematics and Economics, Yale University His research focuses on building robust, transparent, and trustworthy machine learning systems, particularly for high-stakes applications. He develops probabilistic models that improve generalization under distribution shifts, provide reliable uncertainty estimates, and enable fair and interpretable predictions. His work spans generative models, large language models, healthcare, and biomedical discovery. The recent publications highlight a strong trend toward function-space modeling, Bayesian regularization, and AI safety. Tim's work emphasizes principled uncertainty quantification, robustness to subpopulation and semantic shifts, and the development of frameworks for AI governance and specification. His research bridges theoretical advances with real-world applications, especially in safety-critical domains like medicine and defense. Tim has received numerous accolades including being named a Rhodes Scholar, Qualcomm Innovation Fellow, and 2024 Rising Star in Generative AI. He was awarded a $700,000 Foundational Research Grant and a $30,000 Apple Seed Grant for improving LLM trustworthiness. Rhodes Scholar Qualcomm Innovation Fellow AISTATS Notable Paper Award (2024) Outstanding Paper Award, ICLR GenAI4DM Workshop (2024) Apple Seed Grant ($30,000) Foundational Research Grant ($700,000) NeurIPS Spotlight Talk 2024 Rising Star in Generative AI He actively mentors students, particularly first-generation and low-income scholars, and has contributed to major policy frameworks including the OECD AI Classification Framework and a series of CSET issue briefs on AI safety. His work demonstrates a strong commitment to responsible AI development, combining technical rigor with societal impact. Tim leads research efforts at the intersection of machine learning theory and practical deployment, with ongoing projects in generative modeling, reliable LLMs, and AI governance. His lab produces high-impact work regularly published at top-tier conferences such as NeurIPS, ICML, and AISTATS.
Professor Jiyuan Tu is a Professor in the Department of Mechanical and Automotive Engineering at RMIT University's School of Engineering. He specializes in computational fluid dynamics (CFD), multiphase flows, and their applications in renewable/nuclear energy, biomedical engineering, and built environment systems. His research has led to over 500 peer-reviewed articles, 9 books, and $10M+ in ARC grants. He has supervised over 50 postgraduate students and received prestigious awards such as the RMIT Research Excellence Award (2012) and Fulbright Senior Scholar Award (2008). Research interests include CFD modelling of bioaerosol transport, drug delivery systems, and thermal energy storage. He pioneered numerical models for multiphase flows, contributing to software implementations in industries. Notable works include books on CFD and multiphase flow analysis, and leadership in international conferences like COBEE 2018. He holds honorary professorships at Tsinghua University and is Editor-in-Chief of the Experimental and Computational of Multiphase Flow journal. Industry experience includes roles at ANSTO (1996-2001). Awards span fellowships from JSPS, KOSEF, and Fulbright programs. Grants include ARC Discovery, Linkage, and LIEF projects. His work ranks him among the world’s top researchers in pebble bed reactors and airborne infection studies (SciVal 2016-2025).
James McCann is an Associate Professor at the Carnegie Mellon Robotics Institute, where he leads the Carnegie Mellon Textiles Lab. He has been a faculty member since May 2017 after working at Disney Research Pittsburgh. McCann's academic journey includes a PhD from Carnegie Mellon advised by Nancy Pollard, followed by a postdoc at Adobe Research and a period developing video games. McCann's research focuses on building creative tools that operate in real-time and build user intuition, with particular emphasis on textiles fabrication and machine knitting. His work spans computer-aided fabrication, simulation, graphics, and creative tools development. He has pioneered systems for machine knitting design, including compilers for knitting instructions and tools for automatic conversion of 3D meshes to knitting patterns. His recent publications demonstrate a strong trend toward computational textiles, with significant contributions to knitting semantics, deployable textile structures, and applications of machine knitting in healthcare and robotics. McCann's work bridges computer science, robotics, and textile arts, creating practical systems for once-off manufacturing with industrial knitting machines. McCann actively mentors students, with current PhD candidates working on solid knitting machines, knit calibration, and assistive devices. His teaching portfolio includes courses on Real-Time Graphics, Algorithmic Textiles Design, and Game Programming. He has taught at CMU since 2017, developing innovative courses that blend computer science with physical fabrication. As director of the Textiles Lab, McCann oversees research projects spanning machine knitting, robotic painting, and real-time graphics systems. His lab develops practical tools for creators, emphasizing intuitive interfaces and real-time feedback that lower barriers to advanced fabrication techniques.
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.
Ceren Budak is an Associate Professor at the University of Michigan School of Information and holds a joint appointment as Associate Professor of Electrical Engineering and Computer Science in the College of Engineering. Her work bridges computer science, statistics, and social sciences through computational social science approaches. Her educational background includes a PhD in Computer Science from the University of California, Santa Barbara (2012) and a Bachelors degree in Computer Science from Bilkent University in Turkey (2007). Prior to joining the University of Michigan faculty, she was a Postdoctoral Researcher at Microsoft Research New York. Professor Budak's research centers on computational social science, with particular emphasis on analyzing large-scale datasets to address questions with social, political, and policy implications. Her work spans several interconnected domains: News Media Production & Consumption (examining bias in news outlets and reader preferences), Social Movements & Media (using social media data to study collective action), Social Networks (understanding information diffusion processes), and Measuring and Promoting the Quality of Online Discussions (developing tools to improve online conversations). She teaches SI 608 (Networks) and SI 618 (Data Manipulation and Analysis) at the School of Information. Her publication record demonstrates consistent contributions to understanding how online information ecosystems operate, with recent work focusing on AI-human collaboration, misinformation dynamics, social movement framing, and the application of computational methods to political communication. Her research shows a clear trajectory from foundational work on social network diffusion to increasingly sophisticated analyses of contemporary information challenges. Among her service activities, she has served as Registration chair for COSN (ACM Conference on Online Social Networks) 2015 and as Program Committee Member for numerous prestigious conferences including WWW, ICWSM, WebSci, AAAI, and others. She has also been involved in organizing the MSR NYC Data Science Seminar Series and instructing the Microsoft Research Data Science Summer School.
Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .
