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.
Dr James Helal is the Assistant Dean for Sustainability and a Lecturer in Construction Management at the Melbourne School of Design (MSD), University of Melbourne. His research focuses on integrating life cycle assessment and computational tools into the structural design of tall buildings, emphasizing embodied carbon reduction. He is recognized for developing software frameworks that automate environmental impact analysis in early-stage structural design. Dr Helal teaches materials, structures, and life cycle assessment in construction management. His pedagogical excellence has earned prestigious awards, including the Edward Brown Award for Teaching Excellence. He coordinates the construction major in the Bachelor of Design program. His research addresses structural optimization, tall building sustainability, and environmental flows. Key contributions include frameworks for reducing carbon emissions in tall building design and critiques of decorative architectural elements' environmental impact. Awards: Structures Best Research into Practice Prize (Institution of Structural Engineers) Open Award for Excellence in Teaching (Faculty of Architecture, Building and Planning) Edward Brown Award for Teaching Excellence (University of Melbourne) Advising & Grants: Coordinates construction curriculum but no explicit student advisee list is provided in texts. His work aligns with sustainability-focused research grants. Labs/Teams: Engaged with MSD’s Future Cities Practice and Construction Innovation initiatives.
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.
Christopher Potts is Professor and Chair of Linguistics at Stanford University, with a courtesy appointment as Professor of Computer Science. He serves as Director Emeritus of the Stanford Center for the Study of Language and Information (CSLI) and leads the Pragmatic Enrichment & Contextual Interface Lab. His work bridges theoretical linguistics and computational approaches to language understanding. Education: B.A. in Linguistics from New York University (1999) Ph.D. in Linguistics from University of California, Santa Cruz (2003) Potts' research focuses on how computational methods can illuminate linguistic phenomena, particularly in the areas of semantics, pragmatics, and sentiment analysis. His work explores how emotion is expressed in language and how linguistic production and interpretation are influenced by context. He has made significant contributions to understanding conventional implicatures, sentiment analysis frameworks, and the application of neural networks to linguistic problems. His recent work has increasingly focused on the interpretability of large language models and the development of frameworks like DSPy for building reliable AI systems. An analysis of Potts' recent publications reveals a strong trend toward the intersection of linguistic theory and practical AI applications. His work spans theoretical linguistics (e.g., compositionality, preposing constructions), neural network interpretability, and practical NLP systems (e.g., ColBERT, DSPy). The research demonstrates consistent focus on making language models more transparent, controllable, and linguistically informed, with particular attention to how context shapes meaning. Scientific Awards: Best Paper Award at 2024 ACL for 'Mission: Impossible Language Models' Outstanding Paper Award at 2024 ACL for 'CausalGym' ACL Test of Time Award 2023 Dean's Award for Distinguished Teaching (2015-2016) Best New Data Set or Resource Award at 2015 EMNLP Potts has secured numerous research grants as PI or Co-PI from major organizations including Google, Amazon, NSF, Office of Naval Research, and Stanford's HAI institute. His current projects focus on evaluation of retrieval-augmented generation systems, LLM-mediated communication in organizations, interpretability techniques for language models, and frameworks like DSPy for building next-generation AI systems. He has mentored numerous researchers who have gone on to make significant contributions in NLP and computational linguistics. As Director of CSLI (2013-2020) and current Chair of Linguistics at Stanford, Potts has played a key leadership role in shaping interdisciplinary research at the intersection of language, computation, and cognition. His Pragmatic Enrichment & Contextual Interface Lab continues to be a hub for innovative research combining formal linguistic theory with cutting-edge computational methods.
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.
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.
Roger Boltshauser is a Full Professor and Deputy Head at the Department of Architecture, ETH Zurich. His practice and academic work emphasize tectonic building culture, proportion, and material experimentation, diverging from mainstream German-Swiss architectural trends. He combines teaching with active architectural practice, influencing younger generations at ETH and TU Wien. Key themes: Tectonic structures, grid-based order, social responsibility in architecture, critique of modernist canons Notable projects: Hochhaus H1 Zwhatt-Areal (2025), Masterplan Zoo Basel (2025), Centre for Dental Medicine Zurich (2025) His buildings prioritize mass and permanence , evident in projects like the Kopfholz School and Rauch House . Recent works at the EPFL Solar Biennale (2025) and Architecture of Memory exhibition (2025) explore sustainable design and cultural narratives. Boltshauser’s studio on Dubsstrasse exemplifies research into load-bearing structures and urban spatial relationships.
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.
Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.
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).
Jonathan D. Bray is the Faculty Chair in Earthquake Engineering Excellence and a Distinguished Professor of Civil and Environmental Engineering at the University of California, Berkeley . He is a globally recognized authority in earthquake and geotechnical engineering, with research spanning seismic performance of earth structures, liquefaction, ground failure, and earthquake fault rupture effects. Education: Bray earned his Ph.D. in Geotechnical Engineering from UC Berkeley (1990), M.S. in Structural Engineering from Stanford University (1981), and B.S. from the United States Military Academy (1980). Research Interests: His work focuses on earthquake engineering , geotechnical engineering , physical and numerical modeling , and environmental geotechnics . Key areas include seismic site response, liquefaction of soils, seismic slope stability, and post-earthquake reconnaissance. Contributions: Bray has developed widely used procedures for seismic slope displacement and liquefaction-induced building settlement. He created the NSF-sponsored GEER Association to capture post-earthquake data. His work has influenced seismic design codes and practices globally. Awards & Recognition: He is a member of the U.S. National Academy of Engineering and a Fellow of the American Society of Civil Engineers (ASCE) . His accolades include the Seed Medal , Terzaghi Award , Ishihara Lecture , Peck Award , Joyner Lecture , Prakash Award , Huber Research Prize , Packard Foundation Fellowship , and the NSF Presidential Young Investigator Award . Grants & Projects: Bray has led major projects funded by the NSF , California Energy Commission , U.S. Geological Survey , and Caltrans , totaling millions in research funding. Advising & Mentorship: He has supervised over 30 Ph.D. students, significantly shaping the next generation of earthquake engineers.
Aditya Parameswaran is an Associate Professor in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley. He co-directs the EPIC Data Lab and the Police Records Access project, focusing on simplifying data science at scale through human-in-the-loop systems, LLM-powered tools, and scalable data systems. His research spans database systems, human-computer interaction, and machine learning, with notable contributions in tools like Lux, Modin, and DataSpread. Education : PhD in Computer Science from Stanford University (2013) BTech in Computer Science and Engineering from IIT Bombay (2007) Research Interests : Parameswaran's work centers on empowering end-users with intuitive data tools. Recent projects include LLM-powered systems for document processing (DocETL, TWIX), proactive data systems, and benchmarking frameworks. He emphasizes democratizing data science through low/no-code solutions and improving production ML workflows. Articles Trends : His recent work (2023–2025) prioritizes LLM integration into data systems, focusing on robust pipelines, assertion generation (SPADE), and debugging tools (RAGGY). Earlier contributions include visualization recommendation (Lux), scalable dataframes (Modin), and spreadsheet optimization (DataSpread). Awards : Recipient of the VLDB Early Career Award (2019), Sloan Research Fellowship (2020), NSF CAREER Award (2017), and multiple best paper/demonstration awards at top venues like SIGMOD and VLDB. Advising & Grants : Guides over 20 PhD/postdoc alumni, many now in academia (e.g., Madelon Hulsebos at CWI) and industry leadership roles. Active in securing grants (e.g., NSF, Army Research Office) and industry partnerships (e.g., Snowflake, LangChain). Labs/Teams : Leads the EPIC Data Lab, focusing on agentic data systems, and co-founded Ponder (acquired by Snowflake). Collaborates on the Police Records Access initiative, building transparency tools for public records.
