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 .
Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .
Xing Gao is an Assistant Professor at the University of Delaware, affiliated with the Department of Computer and Information Sciences and jointly with the Department of Electrical and Computer Engineering. His office is located at 316B FinTech Innovation Hub on the STAR Campus. He holds a PhD from the College of William and Mary (2018) and a BS from Beijing Institute of Technology (2011). Research Interests: Cybersecurity in Software Supply Chain, Web 3, High-Performance Computing, Large Language Models, with a focus on Security, Cloud Computing, and Mobile Computing. Education: PhD | 2018 | College of William and Mary BS | 2011 | Beijing Institute of Technology His recent work explores cybersecurity vulnerabilities in cloud gaming services (CCS'22), container registries (USENIX-SEC'22), and software supply chains, with specialized attention to GPU cache attacks (USENIX-SEC'24) and Ethereum smart contracts (WWW'24). His research spans theoretical and applied aspects of system security, including CI/CD pipelines (CCS'24), SDN backdoors (INFOCOM'23), and hardware-level threats (ACSAC'21). Scientific Awards NSF CAREER Award (2024) NSF CRII Award (2020) NDSS Distinguished Poster Award (2016) He serves as Registration Chair for ACM/IEEE Symposium on Edge Computing (2023) and Publicity Co-Chair for IEEE Conference on Communications and Network Security (2022). He is actively involved as TPC Member in multiple top-tier conferences including USENIX Security (2026,2025), CCS (2026,2025,2024), and IEEE DSN (2024). He has also reviewed for journals like IEEE Transactions on Dependable and Secure Computing. Labs & Teams X-Lab at the University of Delaware, a research group focused on cybersecurity in emerging technologies.
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.
Dr. Hiren Patel is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo. He holds a Doctorate in Computer Engineering from Virginia Tech and previously worked as a postdoctoral fellow at UC Berkeley under Edward A. Lee. His research focuses on real-time embedded systems, computer architecture, machine learning hardware, and cybersecurity. He teaches courses like ECE 150 (Programming), ECE 320/429 (Computer Architecture), and ECE 327 (Digital Systems). Research Interests: Cyber-physical systems and hybrid architectures Hardware/software co-design methodologies Predictable cache coherence protocols IoT and edge computing systems Security in embedded and real-time systems Recent work emphasizes cache coherence solutions for safety-critical systems and GPU acceleration strategies. His publications address challenges in multicore predictability, FPGA bandwidth optimization, and autonomous robotics orchestration. No specific awards are listed, though his extensive publication record indicates significant contributions to embedded systems research. He currently oversees graduate student applications focusing on his core research areas.
Prof. Dr. Melanie Zeilinger is an Associate Professor at the Department of Mechanical and Process Engineering at ETH Zurich, leading the Intelligent Control Systems group at the Institute for Dynamic Systems and Control. She holds a diploma in Engineering Cybernetics from the University of Stuttgart (2006) and a Ph.D. in Electrical Engineering from ETH Zurich (2011). Her postdoctoral research included stints at EPFL (2011–2012), a Marie Curie fellowship at UC Berkeley and the Max Planck Institute (2012–2015), and a professorship at the University of Freiburg (2018–2019). Her research focuses on learning-based control, distributed control systems, and robotics , with applications to medical devices (e.g., hydrocephalus shunts) and human-in-the-loop systems. She organizes the Conference on Learning for Dynamics and Control (L4DC) and contributes to initiatives like the "Algorithm on My Team" project. Her awards include the ETH Medal for her PhD thesis, a Marie-Curie IO Fellowship , and an SNF Assistant Professorship grant . She serves as an Associate Editor for IEEE Control Systems Letters and actively reviews for top journals/conferences like IEEE TAC, Automatica, and NeurIPS. Key projects include: VIEshunt: A smart ventricular shunt for hydrocephalus treatment, combining control systems and medical engineering. Autonomous Racing: Contextual tuning and safety-certified learning-based MPC for real-time obstacle avoidance. Data-Driven Control: Integrating Gaussian processes and state-space models into MPC frameworks for uncertain systems. Her work bridges control theory, machine learning, and robotics, addressing societal challenges such as healthcare and energy efficiency.
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.
David Allcock is an Assistant Professor in the Department of Physics at the University of Oregon, part of the College of Arts and Sciences. His research focuses on ion trapping, quantum computing, and hybrid quantum systems, with an emphasis on manipulating atomic and molecular systems using electric and magnetic fields for quantum information applications. He leads the Ion Trapping Lab at UO, where he develops scalable quantum technologies and open-source control systems like ARTIQ and Sinara. His work bridges experimental physics with engineering, addressing challenges in qubit control, error mitigation, and large-scale quantum computer design. Education: MPhys from the University of Oxford (2007), D.Phil. in Physics from Oxford (2012). Prior to UO, he was a Lindemann Fellow at the National Institute of Standards and Technology (NIST) in Boulder, CO. His research includes innovations in trapped-ion qubit control, including laser-free entangling gates, scalable architectures, and applications in quantum sensing and dark matter detection. Key research themes include metastable qubit systems, photon scattering error mitigation, and the integration of superconducting detectors for state readout. He collaborates on open-source hardware-software stacks for quantum experiments and mentors students in quantum engineering through programs like the Quantum Technology Master’s Internship. Current projects explore hybrid quantum-classical interfaces and ultra-stable ion trap fabrication. His lab’s contributions span theoretical and experimental domains, with recent advances in geometric phase gates, microwave-driven control, and error-resilient qubit operations. The group also engages in interdisciplinary work linking quantum computing with precision measurement, such as SPUD (SPectroscopy for Ultralight Dark matter) and bosonic sensing tools.
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.
Morteza Fayazi is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Utah, with an adjunct position in the Kahlert School of Computing. His research focuses on Electronic Design Automation (EDA), applying machine learning to automate analog and mixed-signal circuit design, and developing high-performance computing systems. He holds a B.Sc. from Sharif University of Technology, and M.S.E./Ph.D. degrees from the University of Michigan. His research interests include AI-driven EDA, RF/circuit automation, and energy-efficient processors. Key achievements include the MEDAL lab’s work on terahertz radars, systolic-array processors (e.g., DAP and Versa), and open-source frameworks like FASCINET and Tablext. He has received awards such as the 2024 College of Engineering Dean’s ETR Fund and the 2017 Outstanding Undergraduate Thesis Award. Teaching responsibilities include multiple iterations of the Digital System Design course (ECE/CS 3700). His work spans over 15 peer-reviewed articles in IEEE Transactions, ACM, and top conferences like ICCAD and VLSI-SOC, emphasizing automation, efficiency, and AI integration in hardware design.
Yuvraj Agarwal is a Professor in the School of Computer Science at Carnegie Mellon University , where he leads the SYNERGY Labs . His research focuses on Systems and Networking with emphasis on Embedded Systems , Security , and Energy Efficiency in computing environments. He has been recognized with the NSF Expeditions in Computing Award for Computational Decarbonization research and multiple best paper awards. Education : PhD in Computer Science from University of California, San Diego Research Leadership : Founder/Director of SYNERGY Labs; Executive Director of NSF Expeditions in Variability (2010-2013) Research Trajectory : Recent publications highlight his work on Privacy-preserving smart classroom systems (EduSense, ClassID) IoT security labeling frameworks Audio privacy protection mechanisms Computational decarbonization of infrastructure His research combines hardware-software co-design with societal impact considerations. Scientific Recognition : NSF Expeditions in Computing Award for CoDec (2024) Ubicomp/IMWUT Distinguished Paper Award (2024) CHI Best Paper Honorable Mention (2022) Advising & Collaboration : Mentors students in IoT systems , privacy research , and green computing . Collaborates with institutions including University of Massachusetts Amherst and industry partners like Johnson Controls. Grants include NSF funding for multi-university research initiatives.
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.
Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.
