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.
Paolo Ienne is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he leads the Processor Architecture Laboratory (LAP) within the School of Computer and Communication Sciences. His research focuses on advancing reconfigurable computing systems through innovative FPGA architectures and high-level synthesis methodologies. His primary research domains include reconfigurable computing, FPGA architecture design, dynamically scheduled dataflow circuits, and hardware acceleration techniques. Recent work emphasizes memory system optimization for FPGAs, formal verification of circuit transformations, and rapid C-to-hardware compilation flows. He has pioneered approaches for handling thousands of outstanding memory misses in FPGA accelerators and developed novel techniques for switch-block exploration without explicit pattern enumeration. Analysis of his 2023-2025 publications reveals a strong trend toward practical FPGA deployment challenges, with increasing focus on HBM integration, virtual memory systems for PCIe-attached devices, and formally verified circuit transformations. His work consistently targets real-world bottlenecks in high-level synthesis toolchains while maintaining theoretical rigor in dataflow architecture design. Professor Ienne's laboratory receives support from the Swiss National Science Foundation and industry partners including Huawei, enabling cutting-edge research in FPGA-based acceleration. His collaborative network spans major semiconductor companies and academic institutions worldwide, with frequent co-authorship on conference proceedings and journal publications in IEEE and ACM venues.
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.
Jundong Li is an Assistant Professor at the University of Virginia with primary appointment in the Department of Electrical and Computer Engineering and secondary appointments in Computer Science and the School of Data Science. He is affiliated with the School of Engineering and Applied Science and conducts research at the intersection of machine learning, data mining, and artificial intelligence. Education: Ph.D. in Computer Science, Arizona State University, 2019 M.Sc. in Computer Science, University of Alberta, 2014 B.Eng. in Software Engineering, Zhejiang University, 2012 His research focuses on graph machine learning , trustworthy and fair AI , and large language models . He investigates how to make deep learning models more interpretable, robust, and equitable, especially in graph-structured data and NLP applications. His work combines causal inference, feature selection, and model explanation techniques to build reliable AI systems. His recent publications (2024–2022) reveal a strong trend toward large language models , with topics including in-context learning, knowledge editing, and collaborative reasoning. Simultaneously, he continues pioneering research on fairness and interpretability in graph neural networks , addressing structural bias, adversarial attacks, and node attribution. His work is highly interdisciplinary, spanning computer science, data science, and social impact. Scientific Awards: SIGKDD Rising Star Award (2024) PAKDD Best Paper Award (2024) NSF CAREER Award (2022) SIGKDD Best Research Paper Award (2022) JP Morgan Faculty Research Award (2021, 2022) Cisco Faculty Research Award (2021) Stanford/Elsevier Top 2% Scientist (2024) Jundong Li actively advises graduate students, as seen in his co-authored papers with researchers like Song Wang, Yushun Dong, and Binchi Zhang. His research is generously funded by the National Science Foundation (NSF) through multiple programs including CAREER, III, SaTC, SAI, and S&CC, as well as by the Department of Energy (DOE) , Office of Naval Research (ONR) , Jefferson Lab , and industry partners including JP Morgan, Cisco, Netflix, and Snap . He leads a dynamic research group focused on advancing the frontiers of graph learning and trustworthy AI, with projects on causal inference, model unlearning, and explainable systems. His lab contributes to both theoretical foundations and real-world applications in public health, transportation, and network security.
Prof. Dr. Barbara Kraus is the Chair of Quantum Algorithms and Applications at the Technical University of Munich (TUM), affiliated with the TUM School of Natural Sciences. She previously held academic positions at the University of Innsbruck, where she founded her research group in 2010. Education : Physics and Mathematics at the University of Innsbruck; Post-doctoral work at MPI for Quantum Optics and University of Geneva. Her research focuses on foundational problems in quantum information theory, particularly entanglement in multipartite systems, quantum simulation, and verification of quantum processors. She develops theoretical tools for quantum many-body systems and explores applications in quantum computing, emphasizing error characterization and experimental validation. Recent publications highlight advancements in Hamiltonian learning, symmetry-resolved entanglement detection, and multipartite state transformations. Her work bridges theoretical quantum physics with practical implementations, including Rydberg platforms and quantum metrology. Key Awards : START Prize (2010), Ignaz L. Lieben Award (2013), Boltzmann Prize (2011), Südtiroler Sparkasse Research Prize (2019). She supervises doctoral students and postdocs in quantum information theory, with a focus on stabilizer states, quantum networks, and entanglement measures. Her courses at TUM include Quantum Information , Quantum Algorithms , and workshops on entanglement manipulation.
Prof. Dr. Halis Aydemir is a Professor at the Department of Basic Islamic Sciences in Dumlupınar University's Faculty of Theology. He holds concurrent administrative roles including Vice Rector (2015–2019), Dean of the Faculty of Islamic Sciences (2015–2020), and Head of the Hadith Department. His academic journey includes a BSc in Electrical Engineering (Istanbul Technical University, 1995) and a PhD in Basic Islamic Sciences (Uludağ University, 2004). His research focuses on applying probability theory to Hadith transmission systems, developing mathematical models for inheritance calculations in Islamic law, and Arabic language education. Notable projects include the 'Al-Musnad al-Sahih' manuscript verification (2002–2012) and multiple inheritance calculation software projects. He has authored over 80 publications including critical editions of Hadith collections and theoretical works on Hadith reliability. Awards: No scientific awards explicitly mentioned. Administrative roles include leadership in religious affairs projects and educational software initiatives. Research highlights include probabilistic analysis of narrator reliability, isnad model evaluation, and digital tools for Islamic legal calculations. His work bridges traditional Islamic scholarship with modern quantitative methods.
Supratik Chakraborty serves as the Bajaj Group Chair Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. He maintains dual affiliations with the Centre for Formal Design and Verification of Software and the Centre for Liberal Education at IIT Bombay, demonstrating his cross-disciplinary engagement. Professor Chakraborty's research spans formal methods with focus on formal verification, rigorous analysis of system models, and automated synthesis of systems from specifications. His work bridges theoretical foundations with practical applications, particularly in developing mathematically provable guarantees for increasingly complex hardware, software, and intelligent systems. Current research interests include constrained counting and sampling, scalable formal verification of software and hardware systems, automated synthesis of programs and circuits, and applications of automata, logic and finite model theory to practical verification challenges. His publication trajectory shows a significant evolution from traditional hardware and software verification toward addressing verification challenges in machine learning and AI systems. Recent work increasingly focuses on interpretability of black-box models, verification of neural networks, and synthesis techniques applicable to intelligent systems. The research demonstrates strong interdisciplinary connections between formal methods, programming languages, and artificial intelligence. IIT Bombay Excellence in Thesis (CSE) Award 2011 (for Bhargav Gulavani's thesis) IIT Bombay Excellence in Thesis (CSE) Award 2017 (for Abhisekh Sankaran's thesis) Best Paper in Algorithms and Architecture track at IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1998 Professor Chakraborty has successfully supervised 11 doctoral students, with research spanning formal verification techniques, Boolean functional synthesis, constrained counting, and applications to hardware and software systems. His students have gone on to positions at major institutions including Microsoft Research, TCS Research, Georgia Tech, and BARC, reflecting the strong industry and academic impact of his mentorship. Current research directions show increasing emphasis on verification challenges posed by machine learning systems and AI. His research group at IIT Bombay, while not explicitly named in the materials, appears to focus on formal methods with strong connections to the Centre for Formal Design and Verification of Software. The group maintains active collaborations with international researchers including Moshe Y. Vardi at Rice University, and has made significant contributions to verification tools like VeriAbs that bridge theoretical advances with practical applications.
Dr. Abdullah Bal is a researcher at Georgia State University's College of Arts & Sciences, Department of Computer Science, with over 25 years of academic experience. He holds a Ph.D. in Electrical Engineering from Yildiz Technical University (2002) and has taught graduate and undergraduate courses in algorithms, machine learning, and optical pattern recognition. B.Sc., Electronics and Communication Engineering, Istanbul Technical University (1993) M.Sc., Electrical Engineering, Yildiz Technical University (1997) Ph.D., Electrical Engineering, Yildiz Technical University (2002) His research focuses on data science, machine learning, and hyperspectral imaging applications in fields ranging from forensic analysis to historical structure preservation. He has led projects funded by the U.S. Army Research Office and the Scientific and Technological Research Council of Turkey, including real-time target detection systems and digital imaging for historical structures. Recent publications demonstrate his expertise in kernel-based transforms, ensemble learning, and hyperspectral data analysis. His work spans food safety inspection, infrared target tracking, and biometric verification systems. Faculty Outstanding Research Publication Award (2006) Turkish Air Force Academy Science Competition Winner (2009) Best Paper Award at ICFCT (2016) Previously, he chaired YTU's Informatics Department (2009-2016) and participated in academic governance through the Electrical and Electronics College Executive Committee (2012-2015). You can contact him at abal@gsu.edu in room 739, 25 Park Place.
Emilio Frazzoli is a Full Professor at ETH Zurich’s Department of Mechanical and Process Engineering. He leads the Institute for Dynamic Systems and Control and the Center for Sustainable Future Mobility, focusing on autonomous systems, robotics, and socio-technical control frameworks. Current affiliations: ETH Zurich (Dynamic Systems and Control, Sustainable Future Mobility) Research: Autonomous mobility-on-demand, game theory for resource allocation, and safety verification in multi-agent systems His work bridges robotics, control theory, and economics, with projects like the open-source AMoDeus simulation framework for autonomous taxis and karma-based resource allocation systems. Recent publications emphasize trustworthy AI, reproducibility in autonomous vehicle control, and human-robot interaction challenges. Notable projects include nuReality (VR-based pedestrian interaction studies) and CARSI II (context-driven vehicle interfaces).
Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.
Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.
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.
Professor Thomas Blumensath is a Professor of Signal and Image Processing at the University of Southampton and a Fellow at the Alan Turing Institute. He is the Academic Lead in Image Processing and Reconstruction at the University's μ-VIS X-ray Imaging Centre and Director of Research at the Institute of Sound and Vibration Research (ISVR). His research focuses on advanced algorithms for solving inverse problems in tomographic imaging, combining machine learning, optimization, and statistical methods. Key areas include X-ray tomography strategies, GPU-accelerated reconstruction, and multimodal imaging applications. Education: B.Sc. (Hons) Music Technology and Audio System Design, University of Derby (2002) PhD in Electronic Engineering (Bayesian Signal Processing), University of London (2006) Research Interests: Professor Blumensath's work spans theoretical and applied signal/image processing, with emphasis on tomographic imaging techniques. His current projects address efficient reconstruction methods, spectral X-ray CT, and applications in manufacturing and plant science. He collaborates with advanced imaging facilities like Diamond Light Source and ISIS neutron imaging beamline. Key Contributions: His research bridges computational methods (e.g., compressed sensing) with practical imaging challenges, including limited-angle tomography and stereo imaging strategies. He leads the National Research Facility for Lab X-ray CT and has developed the TIGRE reconstruction toolbox. Grants & Projects: Active funding includes EPSRC projects on tomographic sensitivity monitoring and CT-based manufacturing inspections. Completed projects cover constrained reconstruction, AM process verification, and industrial CT metrology. Awards: Alan Turing Institute Fellowship Teaching & Leadership: He teaches modules on machine learning, biomedical image processing, and robotics. Leads the BEng Control Engineering program at the Joint Education Institute with Harbin Engineering University. Labs/Teams: Active in the Signal Processing, Audio and Hearing research group (SPAH) and the Institute for Life Sciences. Oversees the μ-VIS X-ray Imaging Centre's research initiatives.
Caroline Lemieux is an Assistant Professor at the Department of Computer Science, University of British Columbia (UBC), with research focused on advancing software correctness, security, and performance through innovative testing and synthesis techniques. Her work bridges Programming Languages and Software Engineering , particularly in fuzz testing, specification mining, and program synthesis. PhD from University of California, Berkeley (2021), advised by Koushik Sen Postdoctoral researcher at Microsoft Research, NYC (2021-2022) Key contributions: FuzzFactory , CodaMOSA , Arvada , and Gauss Her research integrates machine learning with traditional testing methods, exemplified by projects like RLCheck (reinforcement learning for test generation) and AutoPandas (neural synthesis for dataframes). Recent publications analyze generator-based fuzzing challenges and propose hybrid strategies combining coverage feedback with AI-driven insights. Scientific Awards : ACM/SIGSOFT Best Paper Award (ESEC/FSE 2019) ACM/SIGSOFT Tool Demonstration Award (ISSTA 2019) ACM/SIGSOFT Distinguished Artifact Award (ISSTA 2019) NSERC Postgraduate Scholarship-Doctoral (PGS D) UBC Governor General's Silver Medal (2016) Teaching roles include: 2025W2: CPSC 539L - Topics in Programming Languages 2024W2: CPSC 410 - Advanced Software Engineering 2023W2: CPSC 410 (with Alex Summers) She supervises graduate and undergraduate researchers working on projects like ExploTest (automated unit test generation) and GRIMOIRE (grammar extraction from pseudo-rules). Her research team collaborates with institutions including Microsoft Research, Google, and academic partners in systems security and AI-driven testing.
