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.
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.
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.
A. Michael Knemeyer is a Professor of Logistics at The Ohio State University's Max M. Fisher College of Business, where he contributes to research and teaching in supply chain management. His work focuses on supply chain relationships, risk and resilience, vendor relations, and sustainability integration. Educational Background: PhD from the University of Maryland, BSBA from John Carroll University Research Areas: Supply chain relationships, international logistics, sustainability, vendor relations, risk management Key Awards: 2013 IJPDLM Outstanding Paper Award, 2013 Bernard J. La Londe Best Paper Award Knemeyer's publications in journals like Harvard Business Review and Journal of Business Logistics explore critical themes in logistics outsourcing relationships, supply chain integration, and sustainable practices. His work often examines cross-cultural dynamics and institutional factors affecting supply chain performance. Selected Courses: Strategic Supply Chain Management, Contemporary Issues in Supply Chain Management, Logistics and Supply Chain Decision Making
Bahar Asgari is an Assistant Professor in the Department of Computer Science at the University of Maryland, College Park. She holds appointments in CS, UMIACS, and ECE, and directs the Computer Architecture and Systems Lab (CASL). Her research focuses on domain-specific architecture design, near memory processing, and reconfigurable computing. Before joining UMD, she worked at Google, contributing to system optimization and memory utilization strategies. Education: Ph.D., Georgia Institute of Technology, 2021. Research Interests: Developing energy-efficient architectures for sparse problems, scientific computing acceleration, FPGA optimizations, and reconfigurable hardware systems. Her work addresses challenges in memory efficiency, parallelization, and hardware-software co-design across domains like machine learning and IoT. Key Awards: 2024 UMD Excellence in Teaching Award 2023 DOE Early Career Award Advising & Grants: Supervises 9 graduate students and leads projects sponsored by NSF, DOE, and industry partnerships. Her lab explores systolic arrays, near-data processing, and fault-tolerant computing. Labs/Teams: Directs CASL, which builds next-generation computing systems through hardware innovation and algorithm-architecture co-design.
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.
Melissa Coyle is a Senior Lecturer at the School of Sport, Exercise and Rehabilitation, Marjon University. She specializes in sport and exercise psychology, focusing on applications in sport science, coaching, physical education, outdoor education, and health and well-being. Her qualifications include HCPC registration as a sport and exercise psychologist, BASES chartered scientist, and BASES-accredited sport scientist (Psychology), alongside a PGCert, MSc, and BSc. Her research explores psychological factors in high-stakes environments, including military training, cancer patient exercise programs, and aging populations. Notable studies include a qualitative evaluation of an 8-week exercise referral program for cancer patients and an investigation into psychological factors in Royal Artillery Army Commando training. She has also examined motivations and barriers to indoor bowls participation among over-65s and mental health transitions in university students. Dr. Coyle has been awarded grants for studies like 'Psychological factors in Army Commando training' and 'Exercise adherence for cancer recovery.' Her publications span journals like Psychology of Sport and Exercise and conferences such as the Association of Applied Sport Psychology. She actively contributes to professional bodies like HCPC and BASES. Her teaching emphasizes practical applications of psychology in sports and health, complemented by research-driven insights. Beyond academia, she is an avid golfer and hill walker.
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.
Professor Nancy W. Y. Law is a leading scholar in Learning Sciences and Technology at the University of Hong Kong's Faculty of Education . She has served as Founding Director of the Centre for Information Technology in Education (CITE) (1998-2013) and currently holds the Chair of Learning Sciences and Technology . Her career spans over 25 years of international comparative studies, policy analysis, and large-scale educational innovation. Current roles: Associate Dean (Strategic Development), HKU Key affiliations: Sciences of Learning Strategic Research Theme (co-convener) Research Expertise Her work focuses on technology-enhanced learning , digital literacy , knowledge building communities , and multilevel educational change . She pioneered network models of teacher innovation and socio-technical frameworks for sustainable pedagogical transformation, particularly in STEM education and Cyberbullying prevention . Scientific Leadership With over 25 major research grants (2000-2023) exceeding HK$50 million, she leads projects like: Learning and Assessment for Digital Citizenship Jockey Club Self-directed Learning in STEM Design-Aware Learning Analytics A Fellow of the International Society of Learning Sciences and recipient of the HKSAR Humanities and Social Sciences Prestigious Fellowship , she has supervised numerous international comparative studies including SITES 2006, ICILS 2013, and longitudinal digital citizenship research (2019-2021).
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.
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.
Khuzaima Daudjee is a Professor and David R. Cheriton Faculty Fellow in the Cheriton School of Computer Science at the University of Waterloo. His research focuses on systems-oriented problems at the intersection of systems and data management, particularly building large-scale systems, storage infrastructure in the cloud, and modern hardware applications. He leads projects in distributed database systems, elastic scaling, and resource optimization. His recent work includes Caerus (geo-replicated transactions), Tiresias (predictive storage), and MorphoSys (automatic physical design metamorphosis). Daudjee has chaired major conferences including ICDE 2026 and serves on editorial boards for VLDB, SIGMOD, and IEEE TKDE journals. His awards include ACM Distinguished Scientist and multiple best paper awards. Educational initiatives include developing distributed systems teaching materials and supervising graduate students across database and distributed systems domains. His industry collaborations involve cloud infrastructure optimization and scalable data processing frameworks.
