Nadia Figueroa is the Shalini and Rajeev Misra Presidential Assistant Professor in the Mechanical Engineering and Applied Mechanics (MEAM) Department at the University of Pennsylvania. She holds secondary appointments in Computer and Information Science (CIS) and Electrical and Systems Engineering (ESE), and is a core faculty member at the GRASP Lab. Prior to Penn, she was a Postdoctoral Associate at MIT’s CSAIL and earned her PhD in Robotics from EPFL under Prof. Aude Billard. Her research focuses on physical and perceptual adaptive intelligence for robots, enabling fluid collaboration with humans in dynamic environments. Key applications include robot learning from demonstration , human-robot co-manipulation , safe navigation in human-centric spaces , and rehabilitation robotics . Her work integrates machine learning control theory artificial intelligence biomechanics psychology with guarantees of stability, safety, and robustness . Recent publications highlight advancements in reactive collision avoidance dynamical system learning intent estimation EEG-driven assistive control origami-based reconfigurable robots across platforms like autonomous vehicles and humanoid robots. She has authored a 2022 textbook on dynamical systems for robot control and received the Presidential Assistant Professorship at Penn.
Prof. Roger Wattenhofer is a Full Professor at the Department of Information Technology and Electrical Engineering, ETH Zurich, Switzerland, and Deputy head of the Computer Engineering and Networks Lab. He holds a doctorate in Computer Science from ETH Zurich (1998) and has held positions at Brown University and Microsoft Research before returning to ETH. His research focuses on distributed computing, wireless networks, and algorithmic systems design, with contributions to Byzantine agreement protocols, blockchain technologies, and neural network architectures. He teaches courses such as Distributed Systems and Computational Thinking. Education: Ph.D. in Computer Science (ETH Zurich, 1998). Research interests include distributed systems, network algorithms, and the intersection of machine learning with distributed computing. His work spans both theoretical foundations and practical implementations, addressing challenges in fault tolerance, consensus mechanisms, and algorithmic efficiency. Recent publications explore topics like adversarial robustness in voting systems, privacy in reinforcement learning, and generative music models. He actively contributes to open-source frameworks and benchmarks for neural algorithmic reasoning.
Rebecca Schulman is an Associate Professor in the Department of Chemical and Biomolecular Engineering at the Whiting School of Engineering, Johns Hopkins University. She holds secondary appointments in Chemistry and Computer Science and is affiliated with multiple interdisciplinary institutes, including the Institute for NanoBioTechnology, the Hopkins Extreme Materials Institute, the Chemistry-Biology Interface Program, the Center for Cell Dynamics, and the Laboratory for Computational Sensing and Robotics. She currently co-directs the Passport to Future Technology Leadership program for PhD students. Research Interests: Schulman's research lies at the intersection of DNA nanotechnology, synthetic biology, and smart materials. Her group develops intelligent, adaptive biomolecular materials and nanostructures by integrating concepts from materials science, biochemistry, circuit design, and soft matter physics. The team focuses on engineering dynamic self-assembly processes using DNA to create reconfigurable materials, molecular circuits, and autonomous soft micro-robots. Key themes include self-healing nanostructures, feedback-regulated crystallization, programmable hydrogels, and synthetic genetic networks for materials control. Publication Trends: Her recent publications demonstrate a consistent focus on using DNA-based chemical reaction networks to program spatial and temporal behavior in materials. The work spans from fundamental mechanisms like catalytic polymerization and crystal growth regulation to applications in soft robotics, self-wiring circuits, and synthetic pattern formation. The research is highly interdisciplinary, combining synthetic biology with materials engineering to achieve life-like functionalities in non-living systems. Scientific Awards: AIMBE Fellowship Award Vannevar Bush Faculty Fellowship Award Hartwell Individual Biomolecular Research Award President’s Early Career Award in Science and Engineering (PECASE) DARPA Young Faculty Award DARPA Directors Fellowship NSF CAREER Award Turing Scholar Award DOE Early Career Award Advising and Grants: Schulman mentors graduate students and leads a vibrant research group focused on next-generation biomolecular engineering. Her work is supported by major federal grants, including the NSF CAREER, DOE Early Career, DARPA, and the Vannevar Bush Fellowship—a prestigious Department of Defense award for basic research. She is actively involved in training future leaders through programs like the Passport to Future Technology Leadership. Labs and Teams: The Schulman Lab at Johns Hopkins is a multidisciplinary team working on DNA-powered materials and molecular programming. The lab is embedded within several collaborative centers, enabling strong cross-departmental and cross-institutional research. Their work combines experimental biochemistry with theoretical modeling to design and implement complex molecular systems.
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.
Raquel Fernández is Full Professor of Computational Linguistics and Dialogue Systems at the University of Amsterdam, where she leads the Dialogue Modelling Group at the Institute for Logic, Language & Computation (ILLC). As Vice-Director for Research at ILLC and a Fellow of the ELLIS Society, she bridges computational linguistics, cognitive science, and artificial intelligence through her research on language use in multimodal and conversational contexts. PhD in Computational Linguistics from King's College London Prior research positions at University of Potsdam and Stanford University's CSLI Her work explores how cognitive constraints, social interaction, and perception shape language use, with a focus on: Visually-grounded language processing Multimodal dialogue modeling Model uncertainty and calibration Language grounding in multimodal data Language learning and semantic change Dialogue reference resolution Recent publications analyze multimodal reasoning limitations, cross-lingual knowledge consistency, and uncertainty modeling in dialogue systems. She has received multiple accolades including an ERC Consolidator Grant , NWO VENI/VIDI/Aspasia fellowships , and EMNLP/GenBench awards . Outstanding Paper Award (EMNLP 2023) Best Data Award (GenBench Workshop 2023) ELLIS Society Fellow ERC Consolidator Grant #819455 recipient NWO VENI/VIDI/Aspasia awardee As a leader in academic service, she serves on the SIGDAT Executive Committee and chairs multiple conference committees. Her lab develops models for multimodal dialogue, visual storytelling, and grounded language understanding.
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.
Qingguo Li is a Professor and Associate Head at the Department of Mechanical and Materials Engineering , Queen's University , and a member of the Ingenuity Labs Research Institute . He specializes in biomechanical system design, energy harvesting, wearable sensors, gait analysis, and load carriage systems. His research integrates robotics, biomedical engineering, and sensor technology to develop human-centric devices and mobility aids. Current Roles : Professor, Associate Head, Queen's University Research Institute : Ingenuity Labs Research Institute Lab : Bio-Mechatronics and Robotics Laboratory His work focuses on biomechanical energy harvesting , IMU-based motion analysis , and assistive device development . Key applications include stroke rehabilitation, gait monitoring, and wearable power generation systems. Articles span cable-driven robots , smart walkers , and 3D printing mechanisms , emphasizing human-robot interaction and dynamic modeling . The lab explores sensor calibration , adaptive control algorithms , and human movement optimization . Areas of impact include rehabilitation engineering , load carriage stability , wearable sensor accuracy , and assistive robotics . His team develops solutions for gait asymmetry detection , post-stroke mobility , and low-cost energy systems , leveraging machine learning and kinetic modeling .
Habib Ullah is an Associate Professor in Data Science at the Norwegian University of Life Sciences (NMBU), Norway, where he conducts research at the intersection of computer vision and machine learning. He is affiliated with the Institute of Data Science under the Faculty of Science and Technology. He has previously held academic positions at COMSATS University Islamabad, Pakistan, and the University of Ha'il, Saudi Arabia, and served as a postdoctoral researcher at The Arctic University of Norway. Educational Background: PhD in Information and Communication Technology (Computer Vision), University of Trento, Italy (2011–2015) MSc in Electronics and Computer Engineering, Hanyang University, South Korea (2007–2009) BSc in Computer Systems Engineering, NWFP University of Engineering and Technology, Pakistan (2002–2006) Habib Ullah's research is primarily focused on computer vision and machine learning, with applications in aquaculture, agriculture, and human behavior analysis. He investigates underwater fish feeding sounds using audio classification, develops zero-shot learning models for recognizing unseen classes, and applies deep learning to detect stress in salmon via skin dot patterns. He also explores AI-driven controlled environment agriculture, leveraging sensors and automation for optimal crop growth. His work emphasizes practical AI solutions for real-world challenges in environmental and biological domains. The recent publications highlight a strong trend in leveraging deep learning for zero-shot and semi-supervised learning, particularly in computer vision tasks such as sea ice classification, crowd anomaly detection, and agricultural monitoring. His research spans remote sensing, biomedical signal processing, and human activity recognition, demonstrating interdisciplinary versatility. The keywords reflect a focus on robust feature representation, knowledge transfer, and model generalization. Scientific Awards and Funding: Industrial PhD grant 'Advancing Controlled Environment Agriculture AI' from The Research Council of Norway (Project number 354125, 2 million NOK, 2024) Team member (Coordinator-Participant) in the Battery Cell Assembly Twin (BatCAT) project funded by Horizon Europe (7 mEuro, 2023–2027) Development of an AI-Based Image Analysis System for Monitoring Plant Status (Funding: 1.8 mNOK, starting 2025) Habib Ullah actively supervises PhD projects and contributes to academic service through editorial and organizational roles. He has served as an Associate Editor for IEEE Access, Guest Editor for MDPI Remote Sensing, and Editor of the Springer book Machine Learning Techniques and Sensor Applications for Human Emotion, Activity Recognition, and Support (ML-SHEARS) . He has also been a Track Chair and Program Committee Member for several international conferences, reflecting his leadership in the academic community. His research is supported by significant grants and collaborative projects, indicating strong institutional and international engagement. He is involved in multiple research teams and projects, including the BatCAT project on battery manufacturing and AI applications in controlled environment agriculture with RIFT LABS AS. His lab work integrates deep learning, sensor fusion, and data analytics for environmental and biological monitoring systems.
Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.
Rahul Mangharam is a Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania's School of Engineering and Applied Science, with a secondary appointment in Computer and Information Science. He directs the Safe Autonomous Systems Lab (mLAB) and is a founding member of the PRECISE Center. Mangharam serves as Penn Director for the Safety21 DoT National University Transportation Center ($20MM), Director of the Autoware Center of Excellence, and leads the F1Tenth Autonomous Racing Community. Education: Ph.D. in Electrical & Computer Engineering, Carnegie Mellon University M.S. in Electrical & Computer Engineering, Carnegie Mellon University B.S. in Electrical & Computer Engineering, Carnegie Mellon University His research bridges formal methods, machine learning, and control systems with applications in medical devices, autonomous systems, and energy-efficient buildings. Key focus areas include safety verification for autonomous vehicles, real-time control systems, and patient-specific cardiac modeling for clinical applications. Recent work explores conformal prediction for safe perception, differentiable control barrier functions, and explainable autonomous systems. Mangharam's publication trends show strong emphasis on autonomous systems safety (control synthesis, uncertainty quantification) and biomedical applications (cardiac modeling, clinical decision support). His 2022-2023 publications demonstrate cross-disciplinary approaches combining control theory, machine learning, and formal methods for robust autonomous systems. Awards and Honors: Presidential Early Career Award (PECASE) 2016 IEEE Benjamin Franklin Key Award 2014 NSF CAREER Award 2013 Intel Early Faculty Career Award 2012 National Academy of Engineers US Frontiers of Engineering (2012, 2018) Stephen J. Angelo Term Chair (2008-2013) He leads multiple major grants including NSF CAREER, DoT Safety21 Center ($20MM), DoE Energy-Efficient Building Hub ($160MM), and DARPA HACMS. Current PhD students include Zirui Zang. Mangharam founded the F1Tenth autonomous racing platform used globally for education and hosts international competitions through the Autoware Center of Excellence.
Calin Belta is the Brendan Iribe Endowed Professor of Electrical and Computer Engineering and Computer Science at the University of Maryland, College Park. He is affiliated with the Institute of Systems Research (ISR) and the Maryland Robotics Center (MRC), and holds a Research Professor position at Boston University's College of Engineering. His work bridges control theory, formal methods, and machine learning to ensure safety in cyber-physical and data-driven systems, with applications in robotics, autonomous driving, and systems biology. Research Interests: Focus on dynamics and control theory, formal methods for verification and control synthesis, robotics, autonomous systems, and synthetic biology. Recent projects include PROGENIC (collaborating with MIT, UChicago, and UDelaware) and safety-critical control for heterogeneous robotic teams. Key Achievements: General Chair of the 2025 MRC Symposium, recipient of AFOSR Young Investigator Award (2008), NSF CAREER Award (2005), and IEEE Fellow. His work on formal methods for autonomous systems has led to impactful tools for safety assurance in robotics and AI. Grants: NSF EFRI PROGENIC grant (2024), multiple industry partnerships. Advising: Mentored students like Wenliang Liu (PhD 2024, now at Amazon), and collaborator Marius Kloetzer (shared HSCC Test of Time Award 2025). Labs/Teams: Maryland Robotics Center, Institute for Systems Research, and Boston University collaborations.
Dr. Aniket Bera is an Associate Professor in Computer Science at Purdue University and holds an Adjunct Associate Professor role at the University of Maryland at College Park (UMIACS). He directs the IDEAS Lab at Purdue and previously served as a Research Assistant Professor at UNC Chapel Hill. His research focuses on Affective Computing, Computer Graphics (AR/VR), AI & Robotics, Social Robotics, and medical AI applications for mental health diagnostics. Affiliations: Purdue University (Primary), University of Maryland (Adjunct), UMIACS Career: Joined Purdue in 2017, extensive industry collaborations with Disney Research, Intel, and C-DAC Research Interests: Affective Computing: Emotion perception via gait analysis, speech, and facial/body expressions AR/VR: Redirected walking, virtual environments, and human motion modeling Medical AI: AI-driven mental health detection systems (e.g., VidSole dataset) in collaboration with medical schools Key Contributions: Developed Project Dost (mental health initiative) Received 2020 Brain & Behavior Seed Grant ($X) for emotion-gait research Authored 65+ papers (1,800+ citations) with awards at IEEE VR 2021 Funding & Leadership: Serves as Senior Editor for IEEE RA-L (Planning/Simulation) Conference Chair for ACM SIGGRAPH MIG 2022 Labs/Teams: IDEAS Lab (Purdue), UMD GAMMA Group
Kavan Modi is a Professor at the School of Physics and Astronomy, Monash University. His research focuses on quantum information theory applied to dynamics, metrology, computation, thermodynamics, and relativity. He leads the Monash Quantum Information Science (MonQIS) group and serves as Director of the Centre for Quantum Technology at Transport for NSW (2022–2024). Education: B.Sc. Engineering Physics (Embry-Riddle Aeronautical University, 2001), M.A. Physics (University of Texas at Austin, 2004), Ph.D. Physics (University of Texas at Austin, 2008). Postdoctoral positions included the Centre for Quantum Technologies (Singapore, 2008–2011) and Clarendon Lab, Oxford (2011–2013). Joined Monash in 2014. Research interests center on quantum dynamics, non-Markovian processes, and their applications in quantum computing and information science. Projects include developing error correction codes, quantum algorithms for network analysis, and mitigating correlated noise in quantum systems. He has authored over 111 publications, with recent work emphasizing non-Markovian characterization, quantum process tomography, and topology-based quantum algorithms. Awards and grants include leadership in multiple Australian Research Council projects. Advising/Grants: Primary Chief Investigator in projects like 'Quantum Software Platform' (2023–2026) and 'Mitigating Correlated Noise in Quantum Machines' (2020–2021). Supervises graduate students and collaborates globally on quantum information science. Labs/Teams: MonQIS group focuses on foundational and applied quantum research, integrating theory and experimental collaborations.
Kunihiko Kaneko is a Professor at the Niels Bohr Institute, University of Copenhagen, with a distinguished career in theoretical biophysics and complex systems. He received his PhD and MSc in Physics from the University of Tokyo, and has held leadership roles at the Universal Biology Institute and Center for Complex Systems Biology. PhD Physics, 1984 - University of Tokyo MSc Physics, 1981 - University of Tokyo His research spans five primary areas: Universal Biology, Evolutionary Constraints, Ecosystem Dynamics, Neural Cognition, and Universal Anthropology. He has published extensively on multi-level consistency principles, dimensional reduction in biological systems, and reciprocity between robustness and plasticity across scales. Recent publications show strong focus on microbial ecosystems (2025), evolutionary game theory (2025), neural modular architectures (2024), and dimensional reduction in cellular systems (2024). His work bridges physics and biology through dynamical systems theory applied to diverse phenomena from protocells to human societies.
Calin Belta is a Professor in the College of Engineering at Boston University , with joint appointments in Mechanical Engineering, Systems Engineering, and Electrical and Computer Engineering. His research bridges control theory and formal methods, focusing on controller synthesis and automatic verification of hybrid systems with applications in robotics and systems biology . Education: Ph.D. in Control Theory, University of Pennsylvania His work emphasizes temporal logic specifications for ensuring safety and correctness in autonomous systems, particularly through control barrier functions (CBFs) , reinforcement learning , and model predictive control . Applications span from microrobotics to autonomous driving and biomolecular modeling . His recent articles (2025–2024) highlight advancements in safe control algorithms for autonomous vehicles, adaptive CBFs , temporal logic-guided learning , and microrobotics for cell manipulation. Common themes include formal verification , robustness , and human-in-the-loop safety . Scientific Awards: AFOSR Young Investigator Award (2008) NSF CAREER Award (2005) He also contributes to academia as a Senior Member of IEEE and Associate Editor for journals like SIAM Journal on Control and Optimization and IEEE Transactions on Automatic Control . His lab develops computational tools for safety-critical control in complex environments.
