Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, Language Technologies Institute, leading the L3 Lab. His research focuses on bridging informal and formal reasoning with AI, spanning machine learning for mathematics and code, inference algorithms, and AI agents. PhD in Computer Science from New York University (advised by Kyunghyun Cho) Postdoctoral work at University of Washington (advised by Yejin Choi) His work explores AI-driven formal methods for mathematics and code generation, test-time compute scaling, and algorithms enabling AI improvement over time. Recent publications analyze reasoning evaluation, premise selection, and automated proof optimization in systems like Lean. Key article trends include neural theorem proving, code generation, and inference-time compute optimization. Awards: NVIDIA AI Labs Pioneering Research Awards (2017, 2018), NAACL 2025 Best Paper. Current advisees include PhD students Pranjal Aggarwal, Weihua Du (co-advised with Yiming Yang), Andre He (co-advised with Daniel Fried), and Seungone Kim (co-advised with Graham Neubig). He co-organizes workshops like Autoformalization for the Working Mathematician (ICERM 2025) and VerifAI: AI Verification in the Wild (ICLR 2025), and teaches Advanced NLP at CMU.
Lucia Carichino is an Assistant Professor in the School of Mathematics and Statistics at Rochester Institute of Technology (RIT). She holds a PhD in Mathematics from Purdue University and a BS/MS in Mathematical Engineering from Politecnico di Milano, Italy. Her research focuses on mathematical and computational models of multiscale biological systems, particularly fluid-structure interaction in biological contexts like ocular blood flow and microswimmers. She emphasizes integrating experimental data with mathematical models to advance medical understanding. Carichino teaches courses such as Differential Equations, Linear Algebra, and oversees undergraduate research projects. In 2023, she received the National Science Foundation LEAPS-MPS award for her work on computational modeling of eye-contact lens interactions. Her research has been published in high-impact journals and presented at conferences. She actively collaborates on projects addressing glaucoma, ocular hemodynamics, and biomedical applications. Education: PhD in Mathematics, Purdue University BS and MS in Mathematical Engineering, Politecnico di Milano, Italy Research interests include fluid dynamics, numerical methods, and mathematical biology. Her work bridges theoretical models with biomedical applications, such as optimizing gene therapy delivery and analyzing ocular physiology under varying environmental conditions (e.g., altitude). She explores topics like sperm motility, computational simulations of biological systems, and the interplay between fluid dynamics and biological structures. Her recent articles highlight advancements in ocular pharmacokinetics, contact lens interactions, and altitude effects on intraocular pressure. These studies underscore her expertise in multiscale modeling and fluid-structure interaction. Carichino also contributes to educational initiatives, fostering a collaborative classroom environment. Notable awards include the NSF LEAPS-MPS award (2023). She advises student research projects and collaborates with colleagues, such as Maki, on interdisciplinary studies. Her work is supported by grants and has led to presentations at ophthalmology and mathematics conferences. Carichino’s lab focuses on computational modeling of biological systems, particularly in ophthalmology and microscale fluid dynamics. Her team develops tools to simulate complex physiological processes, aiding in medical diagnostics and treatment strategies.
Dr. Heather Culbertson is an Assistant Professor in the Department of Computer Science at the University of Southern California, leading the HaRVI (Haptics Robotics and Virtual Interaction) Laboratory. Her research focuses on designing haptic hardware and algorithms to create intuitive human-robot interactions through touch, emphasizing realism in virtual environments and social connectedness. Key areas include mediated touch, wearable haptic systems, and multisensory integration in VR/AR applications. The lab's work spans robotics, human perception modeling, and cross-disciplinary solutions for healthcare and immersive technologies. Research interests revolve around tactile feedback systems, social robotics, and the psychological impact of haptic interfaces. Recent work explores real-time haptic texture rendering, affective communication via touch, and motion platforms for VR. Culbertson's projects often integrate human factors early in design to ensure usability and immersion. Publications highlight advancements in haptics coding standards, drone-human interaction, and emotion regulation systems. Her contributions bridge engineering and cognitive sciences, addressing challenges in wearable tech, surgical training simulations, and assistive robotics. The HaRVI Lab collaborates across disciplines to advance tactile interfaces for virtual reality, social robotics, and medical applications.
Hyowon Gweon is an Associate Professor in the Department of Psychology at Stanford University. As the leader of the Social Learning Lab, her research focuses on how humans learn from others and help others learn, employing interdisciplinary methods including developmental, computational, and neuroimaging approaches. She holds a PhD in Cognitive Science from MIT (2012) and joined Stanford in 2014 after a postdoc at MIT. Her research interests span computational approaches to social learning, developmental psychology, neuroimaging, and education. She has received notable awards such as the APS Janet Spence Award (2020), James S. McDonnell Scholar Award (2018), and Marr Prize (2010). Her work explores topics like counterfactual reasoning, social cognition in infants, and embodied AI benchmarks. Labs/Teams: Social Learning Lab Key Themes: Prosocial behavior, theory of mind, cognitive development, and human-AI interaction. Her recent articles investigate infant gaze behavior, temporal reasoning in children, and strategic communication in preschoolers. Grants and advising details are not explicitly listed in the provided text.
Prof. Catherine O'Sullivan is a Professor of Particulate Soil Mechanics at Imperial College London's Department of Civil and Environmental Engineering, part of the Faculty of Engineering. She leads the Geotechnics Section and serves as Editor-in-Chief of the ASCE Journal of Geotechnical and Geoenvironmental Engineering. Her research focuses on particulate soil mechanics, employing Discrete Element Modelling (DEM) and micro-CT imaging to study sand behavior, reservoir sandstones, and internal erosion. Notable recognitions include the 2016 Shamsher Prakash Research Award and the 2021 President’s Teaching Innovation Award. Education : PhD in Civil Engineering, University of California, Berkeley (2002) MEngSc in Civil Engineering, University College Cork (Ireland) BEng (Civil Engineering), University College Cork (Ireland) Research Interests : Prof. O'Sullivan's work integrates computational and experimental methods to explore granular material behavior. Key areas include DEM validation, μCT analysis, and pore network modeling. Her group collaborates across disciplines, involving physicists and mechanical engineers alongside civil engineers. Awards & Recognition : 2015 Geotechnique Lecture Student Choice Supervision Award (nominated twice) 2023 Alert Geomechanics Special Lecture Advising & Grants : She supports PhD and postdoctoral researchers through Imperial scholarships and fellowships. Her students often explore particulate soil behavior, with many securing prestigious awards. Labs & Teams : Leads the Geotechnics Section at Imperial, fostering interdisciplinary research in geomechanics and computational modeling.
Yongmin Liu is a Professor in Mechanical and Industrial Engineering and Electrical & Computer Engineering at Northeastern University, and a member of the Cross-College Magnetics Center. He holds a PhD in Applied Science and Technology from UC Berkeley (2009), with earlier degrees from Nanjing University. His research focuses on nano-optics, metamaterials, plasmonics, and their applications in optical devices and systems. His interdisciplinary work bridges engineering, physics, and AI, with notable contributions to metasurface design and optical neural networks. Education: PhD, Applied Science and Technology, UC Berkeley (2009) M.S. and B.S., Physics, Nanjing University (2003, 2000) Research Interests: Nano-optics, nanoscale materials engineering, metamaterials, plasmonics, and applied physics. His group develops novel optical materials and devices for applications like super-resolution imaging, efficient light harvesting, and biomedical detection. Recent projects include AI-driven photonic materials design and meta-optical neural networks. Key Achievements: Recipient of the Søren Buus Outstanding Research Award (2024) NSF CAREER Award (2017) and ONR Young Investigator Award (2016) Elected SPIE Fellow (2023) and Optica Fellow (2023) Lab & Collaborations: Head of the Yongmin Liu Research Group, collaborating with institutions like Georgia Tech and Purdue University. Recent grants include a $1.5M NSF DMREF grant for AI-driven photonic materials and a $468K NSF grant for meta-optical neural networks.
Elaine M. Huang is an Associate Professor of Human-Computer Interaction at the Department of Informatics, University of Zurich, where she has served since 2010. She also leads the People and Computing Lab, focusing on the dynamic interplay between human practices and technological advancements. Her academic background includes: PhD in Computer Science, Georgia Institute of Technology (2006) Dr. Huang's research centers on human-computer interaction, examining the bidirectional relationship between technology and human practices. She is particularly known for her work on gender equality in technology, challenging assumptions about innate gender differences and investigating how AI systems may perpetuate biases. Her research also spans sustainable interaction design, mental health technologies, and chronic disease management, always emphasizing empirical data over intuition. Analysis of her recent publications (2023-2025) reveals a strong trajectory toward socially impactful HCI, with significant focus on health technologies (diabetes management, mental health), cultural sensitivity in design, and the ethical challenges of AI. Her methodology often involves field studies to understand real-world technology use, countering the industry's reliance on intuition. As head of the People and Computing Lab, Dr. Huang oversees a research group dedicated to designing and evaluating technologies that address complex human needs. The lab's work frequently involves co-design with diverse user communities to ensure relevance and inclusivity in technological solutions.
Josef Urban is a leading researcher at the Czech Institute of Informatics, Robotics and Cybernetics (CIIRC) , Czech Technical University in Prague, heading the ERC Consolidator project AI4REASON . Previously, he held positions as a postdoc at Radboud University Nijmegen and assistant professor at Charles University in Prague, where he co-founded the Prague Automated Reasoning Group. Education Ph.D. in Computer Science (2004), Charles University, Prague M.S. in Mathematics (1998), Charles University, Prague B.S. in Economics (1995), Charles University, Prague Research Interests Urban specializes in automated reasoning over large formalized knowledge bases, combining deductive theorem proving and inductive machine learning . His work aims to realize "strong AI" through formalized mathematics, particularly using systems like Mizar and the AI/TP Challenges . He advocates for computer-verifiable mathematics as a foundation for AI progress. Article Trends Urban's publications focus on integrating machine learning with automated theorem proving in systems like ENIGMA and BliStr . Key trends include semantic guidance for ATPs, premise selection in formal libraries, and automated proof compression via concept invention. Scientific Contributions Head of ERC Consolidator project AI4REASON Marie-Curie Fellow at University of Miami Co-founder of Prague Automated Reasoning Group Editor for Formalized Mathematics Advising and Grants Urban has advised numerous PhD and MSc students including Daniel Kuehlwein, Krystof Hoder, and Yutaka Nagashima. He has secured grants like the ERC Consolidator Grant and Marie-Curie Fellowship . Labs and Collaborations Urban leads the AI4REASON team at CIIRC and collaborates with the Foundations Group at Radboud University. He contributes to projects like Mizar TWiki and XML-based API for Mizar , aiming to create a semantic AI ecosystem for formal knowledge.
Prof. Dr. Michael Ulbrich is a full professor and Chair of Mathematical Optimization at the Technical University of Munich (TUM), within the School of Computation, Information and Technology. He has held this position since 2006 and previously served as Dean of Studies (2007–2010) and Vice Dean of the Faculty of Mathematics (2012–2015). His research focuses on nonlinear optimization, optimal control, and numerical analysis, with applications in fluid dynamics, shape optimization, and PDE-constrained systems. He leads projects in the DFG SPP 1962 and IGDK 1754, and has received prestigious awards including the Howard Rosenbrock Prize (2015) and the Doctoral Award from the TUM Association of Friends (1996). Ulbrich is Editor-in-Chief of Optimization and Engineering and contributes to multiple journals. His work bridges theoretical foundations and practical applications, including CO2 sequestration, fluid-structure interaction, and distributed optimization algorithms. Education: PhD (1996), Habilitation (2002) in Mathematics at TUM. Research stays at Rice University (USA) under DFG funding. Research Areas: Semismooth Newton methods, PDE-constrained optimization, optimal control of Navier-Stokes equations, and distributed parameter systems. Awards: Rosenbrock Prize, Teaching Excellence Awards, and recognition for doctoral work. Leadership Roles: Department Head of Mathematics (2022–), Member of TUM Senate (2019–2022), and Co-Chair of GAMM 2018. Ulbrich has authored influential textbooks like Semismooth Newton Methods for Variational Inequalities and Nichtlineare Optimierung . His recent projects include OptiGeoS (2024–2026) and collaborations on nonsmooth optimization and stochastic algorithms. His academic contributions span over 100 publications, emphasizing both algorithmic innovation and rigorous mathematical analysis.
Lorrie Faith Cranor is the Director and Bosch Distinguished Professor in Security and Privacy Technologies at the CyLab Security and Privacy Institute, and the FORE Systems University Professor of Computer Science and Engineering and Public Policy at Carnegie Mellon University. She also directs the CyLab Usable Privacy and Security Laboratory (CUPS) and co-directs the MSIT-Privacy Engineering master’s program. She previously served as Chief Technologist at the U.S. Federal Trade Commission and is a co-founder of Wombat Security Technologies. Carnegie Mellon University – CyLab Security and Privacy Institute School of Computer Science – Department of Computer Science College of Engineering – Department of Engineering and Public Policy PhD Program in Societal Computing Human-Computer Interaction Institute (affiliate) Heinz College (affiliate) Dr. Cranor’s research centers on usable privacy and security, privacy engineering, and technology policy. Her work spans authentication systems, privacy policies, IoT security, and human behavior in digital environments. She has pioneered research on password usability, privacy labels (e.g., 'nutrition labels' for privacy), and privacy decision-making. Her interdisciplinary approach integrates computer science, public policy, and behavioral science to create systems that are both secure and user-friendly. Her recent publications reflect a strong focus on privacy interfaces, consent mechanisms, IoT security labels, and user comprehension of digital privacy. Trends include evaluating the usability of privacy controls across platforms, designing tools for developers to generate accurate privacy disclosures, and understanding user behavior in online tracking and advertising contexts. Her work frequently appears in top venues such as CHI, SOUPS, and PETS. ACM CHI Academy inductee ACM Fellow IEEE Fellow 2018 ACM CHI Social Impact Award 2018 International Association of Privacy Professionals Privacy Leadership Award 2018 IEEE Cybersecurity Award for Practice Alumni Achievement Award, McKelvey School of Engineering Top 100 Innovator under 35, Technology Review Dr. Cranor has advised numerous PhD students in interdisciplinary programs including Societal Computing, Engineering and Public Policy, and Human-Computer Interaction. Her research has been supported by grants from the National Science Foundation, DARPA, and industry partners. She serves on the boards of the Computing Research Association, Center for Democracy and Technology, and Electronic Privacy Information Center. She is a frequent media commentator on privacy and security issues. She leads the CyLab Usable Privacy and Security Laboratory (CUPS), a multidisciplinary research group that includes faculty and students from computer science, policy, and HCI. The lab focuses on making privacy and security systems more intuitive, effective, and user-controlled. Key projects include the Usable Privacy Policy Project, privacy nutrition labels, and the Personalized Privacy Assistant Project.
Jan Oliver Borchers is a full professor of computer science and head of the Media Computing Group at RWTH Aachen University, where he holds the endowed Chair in Media Informatics and Human-Computer Interaction (Computer Science 10). He established his research group in 2003 and pioneered modern HCI academic research and teaching in Germany, becoming a leading lab in terms of archival publications at CHI, the top international conference in HCI. Before joining RWTH, he held faculty positions at Stanford University and ETH Zurich. His research focuses on Human-Computer Interaction with particular interest in new user interfaces for soft robotics, textile user interfaces, 3D printing and personal fabrication, augmented reality, wearable and tangible computing, interfaces for software development, deceptive patterns, and interactive guides and exhibits. He opened Germany's first Fab Lab in 2009 and has been instrumental in advancing digital fabrication and maker culture in academia. His work bridges theoretical HCI research with practical applications, as evidenced by his consulting for major companies including AirBus, Apple, ARD, Bayer, Children's Museum Boston, Daimler, Handelsblatt, OTIS, Scout24, TEDx, and Deutsche Telekom. His recent publications show a strong focus on deceptive patterns in UI design, textile interfaces, and the intersection of AI with human interaction. The research demonstrates consistent innovation in tactile interaction techniques, with numerous honorable mentions at top conferences like CHI. His lab has produced significant contributions to eyes-free interaction, textile computing, and the ethical implications of dark patterns, particularly regarding children's experiences with deceptive designs. IDC 2025 Best Work in Progress for research on children's assessment of deceptive designs CHI'25 Student Games Competition Winner for The Deceptive Dungeon RWTH-Wissenschaftsnacht 2024 Best Science Slam for Usability: 4 Prinzipien guter User Interfaces Multiple CHI Honorable Mentions spanning from 2008-2021 Best Note and Best Demo awards at ITS and UIST conferences Borchers has served in numerous leadership roles including heading the Computer Science Department's Examination Board (2015-2025), coordinating the department's public relations since 2010, and organizing the weekly Faculty Lunch since 2003. He is an active member of the ACM, SIGCHI, SIGCHI Germany, and GI, and introduced the Interactivity format to the CHI conference in 2005. His PhD thesis, A Pattern Approach to Interaction Design, became the first book to bring design patterns to HCI. The Media Computing Group under his leadership has developed significant expertise in physical computing, textile interfaces, and fabrication technologies, with a strong emphasis on both theoretical contributions and practical applications. His lab continues to push boundaries in interactive technologies while maintaining a strong ethical stance on user experience, particularly regarding deceptive design patterns.
Aimee van Wynsberghe is the Alexander von Humboldt Professor for Applied Ethics of Artificial Intelligence at the University of Bonn, where she also serves as Director of the Institute for Science and Ethics (IWE). Her work focuses on integrating ethical values into AI and robotics design, positioning Bonn as a leader in human-centered AI in Europe. She co-founded the Foundation for Responsible Robotics and advises international bodies such as the European Commission and the World Economic Forum. Van Wynsberghe holds a PhD in Applied Ethics from the University of Twente (2012), an MA in Bioethics (Erasmus Mundus, 2008), an MA in Applied Ethics from KU Leuven (2007), and a BSc in Cell Biology from Western Ontario (2006). Her research spans AI ethics, robotics ethics, care ethics, and sustainable technology, with a particular emphasis on value-sensitive design. Recent publications highlight her leadership in sustainable AI, ethical robotics, and multidisciplinary approaches to AI's hidden costs. She has secured significant funding, including the Humboldt Professorship (€3.5M) and Stiftung Mercator support (€3.8M), and leads the Bonn Sustainable AI Lab. Her awards include the L’Oréal UNESCO For Women In Science Award (2018) and the Humboldt Professorship (2021). Scientific Advisory Roles: Member, European Commission High-Level Expert Group on AI (2018–2020) Director, Artificial Intelligence Lab at TU Delft (2019–2021) Co-founder, ALLAI (2019–2021) Board Member, Konrad Zuse Schools of Excellence (2022–) Labs & Teams: She founded the Bonn Sustainable AI Lab and previously coordinated the 4TU Robotics Task Force. Current affiliations include the University of Bonn’s IWE, the German National Academy of Sciences (Leopoldina), and the German Academy of Science and Literature in Mainz.
Kwang-Sung Jun is an Assistant Professor at the University of Arizona, Department of Computer Science. His research spans interactive machine learning, reinforcement learning, and learning theory, with a focus on multi-armed bandits, Bayesian optimization, and generalized linear models. Education : Ph.D. in Computer Science from the University of Wisconsin-Madison (2015). Research Trends : Kwang-Sung's recent work (2023-2025) emphasizes bandit algorithms with second-order bounds, adaptive experimentation, and PAC-Bayes frameworks. He explores low-rank structures in regression, explainable reward shaping, and environmental risk modeling via probabilistic assessments of postfire debris-flows. His publications often bridge theoretical guarantees (e.g., regret bounds) with practical applications in machine learning and environmental hazards. Expertise : Interactive machine learning Multi-armed bandits Confidence sequences Reinforcement learning Human-machine hybrid systems
Leslie Ann Goldberg is a Senior Research Fellow at St Edmund Hall and Professor of Computer Science at the University of Oxford. She currently serves as Head of the Department of Computer Science (on sabbatical 2025-26) and focuses on foundational problems in Algorithms and Complexity Theory , particularly randomised algorithms for network communication, machine learning, and statistical physics models. Her research includes solving Aldous' 1987 conjecture on backoff protocol instability (with John Lapinskas), developing rigorous mathematical analysis frameworks for algorithmic efficiency, and advancing approximate counting techniques via Markov Chain Monte Carlo methods (with Andreas Galanis and collaborators). Key projects involve graph homomorphisms , Moran process dynamics , and #BIS complexity class analysis. Recent publications (2023-2024) span topics like Sybil defense mechanisms, low-temperature sampling on random graphs, and parameterised subgraph counting modulo 2. Her work demonstrates cross-disciplinary impact in computational biology, statistical physics, and database theory. Scientific Awards include Best Paper Prizes at ICALP 2016, ICALP 2010, and IPEC 2017. She supervises PhD student Paulina Smolarova and collaborates extensively with researchers in Oxford and beyond.
Heping Zhang is the Susan Dwight Bliss Professor of Biostatistics at the Yale School of Public Health , with secondary appointments in the Child Study Center , Department of Statistics and Data Science , and Department of Obstetrics, Gynecology, and Reproductive Sciences . He directs the Collaborative Center for Statistics in Science (C²S²) and leads the Reproductive Medicine Network data coordinating center. Education: PhD in Statistics, Stanford University (1991) Postdoctoral Fellow, Mathematical Science Research Institute (1991) Research Focus : Zhang specializes in biostatistical methodology for genomic data analysis , clinical trials , and reproductive medicine . His work bridges genetics , mental health , and maternal-child health through innovative statistical approaches. Awards : 2023 Web of Science Highly Cited Researcher 2023 International Chinese Statistical Association Distinguished Achievement Award 2022 Institute of Mathematical Statistics Neyman Award and Lecture 2011 Royan Institute International Research Award 2011 Institute of Mathematical Statistics Medallion Award 2008 Harvard School of Public Health Myrto Lefokopoulou Distinguished Lecturer Professional Roles : He served as President of the International Chinese Statistical Association (2019) and Former Editor of the Journal of the American Statistical Association - Applications and Case Studies . His lab develops open-source software tools like ABESS , STREE , and modSaRa for genomic and clinical data analysis.
