Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
Prof. Dr. Pinar Yolum Birbil is a leading researcher in Responsible AI at the Faculty of Science , Utrecht University . Her work bridges Artificial Intelligence , Privacy and Data Protection , and Software Agents , focusing on Human-Centered AI and Trustworthy Systems . She is part of the AI & Data Science and Responsible AI research groups. PhD in Computer Science, North Carolina State University (2003) MS in Computer Science, North Carolina State University (2000) BSc in Computer Engineering, Marmara University (1998) Her research explores Privacy Preservation in collaborative systems, Computational Theory of Mind for human-agent coordination, and Norm-Based AI Systems . Recent projects include the Hybrid Intelligence Center and tools like PANOLA for privacy support. She investigates how AI can balance user autonomy , ethical norms , and societal values in applications ranging from urban planning to healthcare. Her scientific publications (2023-2025) span topics like Explainable Privacy , Trust in Hybrid Teams , and AI for Diabetes Management , appearing in venues such as JAIR , AAMAS , and ACM TOIT . She emphasizes collaborative AI , with contributions to multiagent simulations and privacy-preserving mechanisms . Scientific Awards : NC State University Alumni Hall of Fame (2017) Woman Entrepreneur of the Year (Microsoft Turkey & KAGIDER, 2017) Bogazici University Academic Encouragement Award (multiple years) Best Paper Award at ESAW 2009 She supervises a dynamic research group with PhD students working on Hybrid Intelligence , Computational Ethics , and Privacy Modeling . Her projects often involve interdisciplinary collaboration with institutions like TNO and the Transforming Cities Hub .
Julian McAuley is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego's Jacobs School of Engineering. His research spans recommender systems, machine learning, natural language processing, music information retrieval, and multimodal learning. He maintains an active research group with numerous PhD students and postdocs working on cutting-edge AI problems. His research interests focus on developing advanced algorithms for personalized recommendation systems, with particular emphasis on sequential recommendation, multimodal learning, and integrating large language models with traditional recommendation approaches. His work bridges the gap between theoretical machine learning and practical applications across multiple domains including e-commerce, music, and healthcare. McAuley has published extensively in top-tier conferences including NeurIPS, ICML, KDD, SIGIR, and ACL, with his most recent work exploring the intersection of large language models and recommendation systems. His publications reveal a strong trend toward multimodal approaches that combine text, vision, and audio for more comprehensive understanding and recommendation. He has received significant research funding from major technology companies including Google, Amazon, Facebook, Adobe, and Samsung, as well as government agencies like the National Science Foundation and Department of Defense. His work has practical applications across multiple industries, with a focus on improving user experience through better personalization. McAuley advises numerous PhD students who have gone on to successful careers at leading technology companies and academic institutions. His former students include Wang-Cheng Kang and Jianmo Ni at Google DeepMind, Chris Donahue and Zachary Lipton as assistant professors at CMU, and Ruining He at Google Deepmind.
Kaiyu Hang is an Assistant Professor in the Department of Computer Science at Rice University, where he directs the Robotics and Physical Interactions Lab (RobotΠ Lab). His research spans multiple domains of robotics with a focus on physical interaction systems. Before joining Rice, he completed his postdoc at Yale University, earned his Ph.D./M.Sc. at KTH Royal Institute of Technology, and received his B.Eng. from Xi'an Jiaotong University. His research interests include robotic manipulation, grasping, in-hand manipulation, optimization, planning, learning, estimation, and control systems. He develops algorithms that enable robots to physically interact with other robots, people, and the world across scales from small grasping tasks to large-scale dual-arm and multi-robot manipulation systems. His work has practical applications in factories, kitchens, hospitals, warehouses, and construction sites. His recent publications demonstrate strong trends in in-hand manipulation techniques, energy-efficient drone operations, and benchmarking frameworks for robotic grasping. The 2025 IROS papers accepted highlight his leadership in developing standardized competition frameworks for evaluating robotic manipulation capabilities across diverse hardware platforms. ASME Rising Star of Mechanical Engineering (2024) NSF CAREER Award (2023) Multiple finalist awards at IEEE-RAS Humanoids and ICRA conferences Junior Fellowship Award from Institute for Advanced Study, HKUST (2017-2018) As an educator, he has taught multiple robotics courses including COMP 462/562: Introduction to Modern Robotics and COMP 461: Senior Design in A Robotized World. He serves as Faculty Advisor for the Rice Robotics Club and participates in graduate admissions. His lab actively recruits Ph.D. students and offers research opportunities for undergraduate and master's students who have completed core robotics courses.
William Yang Wang serves as the Mellichamp Professor of Artificial Intelligence at the University of California, Santa Barbara (2019-present). He directs the UCSB Center for Responsible Machine Learning, the Mind and Machine Intelligence Initiative, and the UCSB NLP Group. His research focuses on theoretical foundations and practical algorithms for AI, particularly in NLP, LLMs, and neuro-symbolic reasoning. PhD in Computer Science from Carnegie Mellon University Active in AI theory and applications (2016-present) Research interests span multiple AI domains, with special emphasis on NLP and responsible machine learning. He has pioneered datasets like HybridQA, TabFact, and VaTeX, enabling advancements in multi-hop QA, fact verification, and video-language tasks. His work combines statistical relational learning with modern deep learning paradigms. Recent publications center around multimodal reasoning, knowledge graph integration, and responsible AI development. He has received numerous accolades including the IEEE SPS Pierre-Simon Laplace Award (2024) and NSF CAREER Award (2021). Karen Sparck Jones Award (2022) DARPA Young Faculty Award (2018) IBM Faculty Award Mentoring 15+ PhD and postdoc researchers who now hold positions at Microsoft Research, Amazon, Meta GenAI, and academic institutions like Arizona and Rutgers. His lab maintains active collaborations with industry partners through initiatives like ChipAgents.ai, which he founded as CEO.
Josie Hughes is a Tenure Track Assistant Professor at the Swiss Federal Institute of Technology Lausanne (EPFL) within the School of Engineering's Institute of Mechanical Engineering. She leads the Computer Robot Design and Fabrication Laboratory (CREATE Lab) and serves on the doctoral program committee for Robotics, Control and Intelligent Systems. Her roles include teaching courses in product development, engineering design, and data-driven manufacturing methods while maintaining active research and student supervision. Her research centers on soft robotics with emphasis on adaptive design, fabrication techniques, and real-world applications. Key areas include agricultural robotics (exemplified by the GraspBerry raspberry harvester), biomimetic materials like self-healing e-skins, and developmental robotics (BabyBot project). She pioneers approaches integrating morphological computation, variable stiffness mechanisms, and machine learning for robotic control, while championing open-source principles and diversity in robotics through accessible educational initiatives like balloon robot kits. Analysis of her recent publications reveals dominant trends in soft robotics adaptability, particularly in variable-stiffness structures, sensor integration, and task-specific optimization. Her work bridges fundamental material science with practical applications in agriculture, food science, and human-robot interaction, frequently employing computational methods like Bayesian optimization and neural networks for design and control. Scientific awards: No specific awards were mentioned in the source materials. Dr. Hughes actively supervises 16 doctoral students across diverse projects including soft grippers for agriculture, biomimetic locomotion, and robotic manipulation systems. Her advising portfolio shows strong alignment with her research themes, with current students working on topics like modular soft arms, agricultural automation, and developmental robotics. While grant details weren't specified, her high publication volume indicates robust research funding. The CREATE Lab under her leadership focuses on holistic co-design of hardware and software for soft robotic systems, with notable projects including the GraspBerry agricultural harvester and BabyBot developmental platform. The lab emphasizes open-source development and educational outreach, maintaining strong industry and academic collaborations while pushing boundaries in reconfigurable robotics and human-centered applications.
Kostas Bekris is a Professor in the Department of Computer Science at Rutgers University, specializing in Robotics and Artificial Intelligence. His research focuses on motion planning, autonomous manipulation, and robot control, with notable contributions to tensegrity robotics, perception-driven systems, and large-scale package handling. He leads a team conducting groundbreaking work in robotics, supported by grants from NSF, NASA, and industry collaborators like ExxonMobil. His group emphasizes interdisciplinary approaches, combining machine learning, topological methods, and differentiable physics modeling to advance robot capabilities in complex environments. Education details are not explicitly stated in the provided texts, but his academic career has included significant mentorship of PhD students and postdoctoral researchers. Key projects involve vision-driven manipulation pipelines, obstacle detection systems (PROBE), and resilient robot designs inspired by biological structures. He has been recognized for his work through prestigious awards including the NASA Early Career Grant and multiple NSF grants, as well as team achievements in robotics competitions like the Amazon Picking Challenge. Research interests span robotics subfields such as: Autonomous manipulation in cluttered environments Learning-based control for dynamic systems Topological data analysis for motion reasoning Tensegrity and soft robotics architectures Sim-to-real transfer in robotic tasks His team's work has produced open-source software tools and datasets, advancing benchmarks in manipulation and perception. Recent articles emphasize scalable solutions for industrial automation and robust navigation strategies in unstructured settings. Scientific achievements include: Development of PROBE for proprioceptive obstacle detection Advances in differentiable physics engines for tensegrity systems NSF-funded projects on robotic rearrangement and modular morphologies Advising contributions span over a decade, with current advisees focusing on topics like non-prehensile manipulation and large-scale storage optimization. Collaborations with industry (e.g., ExxonMobil) and academic partners (Yale University) reflect his commitment to applied robotics research. Labs and teams under his leadership include the Rutgers CS Robotics Group, contributing to projects like the ARIAC challenge platform and packing/industrial automation systems. Future work targets improved robot resilience in disaster scenarios and enhanced human-robot collaboration paradigms.
Henrik Boström is a Professor of Computer Science specializing in Data Science Systems at the Division of Software and Computer Systems, KTH Royal Institute of Technology. His research focuses on trustworthy machine learning , with emphasis on conformal prediction (for confidence-calibrated predictions) and explainable AI . He is the developer of Python packages crepes (conformal classifiers/regressors) and xrf (explainable random forests). His primary research domains include: Developing robust methods for uncertainty quantification in predictive models Creating interpretable machine learning frameworks Optimizing ensemble techniques for high-dimensional data Applying ML to healthcare informatics and industrial diagnostics Analysis of his recent publications reveals strong emphasis on: (1) advancing conformal prediction theory for trustworthy AI, (2) enhancing interpretability of complex models like random forests and GNNs, and (3) developing efficient algorithms for uncertainty-aware learning in domains including healthcare, graph data, and high-dimensional regression. He serves as examiner for multiple degree projects and teaches courses including Programming for Data Science (ID2214) and Research Methodology and Scientific Writing (II2202) . He leads development of open-source tools for conformal prediction and model interpretation.
Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.
Jeroen Tromp serves as the Blair Professor of Geology and Professor of Geosciences and Applied and Computational Mathematics at Princeton University, where he also directs the Princeton Institute for Computational Science and Engineering (PICSciE). His work centers on theoretical and computational seismology with applications across Earth and planetary sciences. His research interests focus on imaging Earth's interior through advanced computational techniques. Key areas include surface waves, free oscillations, body waves, seismic tomography, numerical simulations of 3-D wave propagation, and seismic hazard assessment. His group develops open-source software for acoustic, elastic and poroelastic wave propagation, addressing problems in exploration geophysics, regional and global seismology, and helioseismology. Current research trends show strong emphasis on Mars seismology (InSight mission), iron spin crossover in the lower mantle, tilted transverse isotropy in Earth's inner core, and crosstalk-free waveform inversion techniques across multiple scales. Tromp actively mentors graduate students and leads collaborative projects involving seismic wavefield imaging across planetary bodies. His group maintains strong connections with NASA's InSight mission and develops computational frameworks for global centroid moment tensor inversions. The research team operates within the Department of Geosciences, leveraging high-performance computing resources through PICSciE to tackle large-scale inverse problems in seismology.
Paulo Blikstein serves as Associate Professor of Communications, Media and Learning Technology Design at Columbia University. Previously, he was Assistant Professor of Education and (by courtesy) Computer Science at Stanford University and co-founded the Lemann Center for Brazilian Education (2008-2018). Education: Ph.D. in Learning Sciences, Northwestern University (2009) M.A. in Media Arts & Sciences, MIT Media Lab (2002) M.Eng. in Electronic Engineering, University of São Paulo (2000) B.S. in Metallurgical Engineering, University of São Paulo (1998) His research pioneers constructionist learning environments through digital fabrication, educational robotics, and tangible interfaces—focusing on equitable access for underserved communities. Inspired by Paulo Freire and Seymour Papert, he develops open-source tools like the GoGo Board robotics platform and leads the global FabLab@School initiative establishing fabrication labs in schools across four continents. Current work emphasizes multimodal learning analytics to study student interactions in maker-centered classrooms. Publications reveal strong focus on democratizing invention through maker education, with recurring themes in constructionist theory application, multimodal assessment, and context-specific technology adaptation. Brazilian education reform and low-cost computational solutions form significant threads, particularly in 2016-2017 publications. Scientific Awards: Two Google Faculty Awards National Science Foundation Early Career Award (highest U.S. government honor for early-career scientists) Blikstein directs the Transformative Learning Technologies Lab (TLTL) and co-founded Stanford's Center for Educational Entrepreneurship and Innovation in Brazil. His FabLearn conference established the first academic forum on Maker Movement applications in education. While specific grant details aren't listed, the NSF CAREER Award signifies major federal research funding. He spearheads the FabLab@School project deploying advanced fabrication labs in K-12 institutions worldwide and founded the FabLearn conference series. His work integrates teams of engineers, educators, and designers to create scalable solutions for resource-constrained learning environments.
Andrew Miller is an Associate Professor in the Electrical and Computer Engineering department at the University of Illinois, specializing in Programming Languages, Formal Methods, Software Engineering, Security and Privacy, and Systems and Networking. His research focuses on blockchain technologies, cryptography, and secure systems. Professor Miller's research spans multiple critical areas in modern computer security. His work primarily focuses on blockchain technologies , where he has made significant contributions to understanding and improving the security, privacy, and performance of systems like Bitcoin and Ethereum. He has conducted empirical analyses of privacy in the Lightning Network and developed protocols for confidential smart contracts. His work in cryptography includes research on multiparty computation, zero-knowledge proofs, and formal methods for cryptographic protocol design. Miller also investigates security vulnerabilities in proof-of-stake systems and resource exhaustion attacks, contributing to the robustness of decentralized systems. His applied security research extends to privacy-preserving health applications, as evidenced by his work on the Safer Illinois platform for COVID-19 contact tracing. Miller's publication record demonstrates consistent contributions to top security and systems venues including IEEE Security & Privacy, ACM CCS, Financial Cryptography, and USENIX Security. His research shows a clear trajectory from foundational work in blockchain security to more applied systems addressing real-world privacy and security challenges. Recent work focuses on making multiparty computation services publicly auditable and developing decentralized identity solutions that maintain compatibility with existing systems. Distinguished Reviewer Award, IEEE Security & Privacy 2018 Professor Miller has advised students including Vivek Nair, who joined the prestigious Hertz Fellows program in 2022. He has taught various courses including Introduction to Algorithms & Models of Computation, Advanced Computer Security, Cryptography, Applied Cryptography, and Ideal Functionality in Cryptography. His research has received support through grants including the SaTC: CORE: Medium project on "Automated Support for Writing High-Assurance Smart Contracts" in 2018. Miller is actively involved in research groups focusing on blockchain security, cryptographic protocols, and privacy-preserving systems. His lab appears to collaborate extensively with researchers across multiple institutions, as evidenced by the diverse author lists on his publications. Current work seems to be focused on making decentralized systems more secure, privacy-preserving, and accessible for real-world applications.
Sanjit A. Seshia is the Cadence Founders Chair Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley . He is affiliated with the Group in Logic and the Methodology of Science and participates in centers like the Industrial Cyber-Physical Systems Center , Berkeley AI Research , and the Simons Institute for the Theory of Computing . Research interests include formal methods for automated verification and synthesis of dependable systems, with applications to cyber-physical systems , AI-based autonomy , and computer security . His work spans SMT solving, model counting, syntax-guided synthesis, and algorithmic improvisation, with tools like UCLID5 , VerifAI , and Scenic for verifying autonomous systems and educational platforms like CPSGrader . Students and collaborators include notable researchers such as Dorsa Sadigh (Stanford), Daniel Fremont (UC Santa Cruz), and Hazem Torfah (Chalmers). He has co-founded startups like Decyphir and 20ⁿ Labs based on his research.
Aaron D. Ames is the Bren Professor of Mechanical and Civil Engineering, Control and Dynamical Systems, and Aerospace at the California Institute of Technology (Caltech). He serves as the Booth-Kresa Leadership Chair and Director of the Center for Autonomous Systems and Technologies since 2025. His academic journey includes a BS in Mechanical Engineering and BA in Mathematics from the University of St. Thomas (2001), followed by an MA in Mathematics and a PhD in Electrical Engineering and Computer Sciences from UC Berkeley (2006). Research Interests span theoretical and experimental work in hybrid systems, nonlinear control, and bipedal robotic locomotion. Specific focus areas include: Control Barrier Functions (CBFs) for safety-critical systems Powered prostheses and robotic assistive devices Legged locomotion for bipedal and quadrupedal robots Cyber-physical systems and autonomous control Model predictive control and real-time optimization Humanoid robotics and geometric safety filters Recent publications emphasize risk-aware control, safety verification, and locomotion on constrained environments, with applications to drones, exoskeletons, and quadrupedal robots. His work often integrates theoretical advancements with practical validation through the AMBER Lab. Scientific Awards & Honors : NSF CAREER Award (2010) Donald P. Eckman Award (2015) Leon O. Chua Award (2005) Bernard Friedman Prize (2006) Teaching includes graduate courses on nonlinear control, hybrid systems, and robotics at Caltech, alongside prior roles at Georgia Tech and Texas A&M. He leads the AMBER Lab (Bipedal Robotics) and has secured major grants from the National Science Foundation, NASA, and industry partners like Miso Robotics and SRI International.
Toby Jia-Jun Li is an Assistant Professor in the Department of Computer Science and Engineering at the University of Notre Dame, where he leads the SaNDwich Lab. He also serves as the Director of the Human-Centered Responsible AI Lab in the Lucy Family Institute for Data & Society and is a Faculty Fellow at the Institute for Educational Initiatives (IEI). Previously, he was affiliated with Carnegie Mellon University's Human-Computer Interaction Institute (HCII) and GroupLens Research. Dr. Li's research spans the intersection of Human-Computer Interaction (HCI), End-User Software Engineering, Machine Learning (ML), and Natural Language Processing (NLP), with recent work focusing on addressing societal challenges in the future of work through human-AI collaborative approaches. His work has resulted in over 40 publications at premier venues including CHI, UIST, CSCW, ACL, and ICSE, with 8 papers winning Best Paper or Honorable Mention awards. His recent publications demonstrate a strong focus on human-AI collaboration across various domains, including code understanding, privacy, accessibility, and creative tools. The work shows a trajectory toward increasingly sophisticated integration of human-centered design with AI capabilities, particularly using large language models to enhance human productivity and address societal challenges. Google Research Scholar Award recipient Recipient of Yahoo! Fellowship ($100,000/year) Best Paper Award at UIST 2020 Best Paper Honorable Mention Award at CHI 2021 Best Paper Award at CSCW 2024 Best Paper Award at CHI 2025 Dr. Li actively mentors Ph.D. students and has established collaborations with Google, Microsoft Research, IBM Research, Adobe, Verizon, and J.P. Morgan. His research has been supported by NSF, Google Research Scholar Program, AnalytiXIN Initiative, Yahoo! InMind project, and J.P. Morgan. He is currently recruiting Ph.D. students and undergraduate researchers for his SaNDwich Lab, which focuses on developing interactive systems to empower individuals to create, configure, and extend AI-powered computing systems.
