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.
Wei Sun is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Central Florida, where he also serves as the Director of the Siemens Digital Grid Lab. His research focuses on power system restoration, self-healing smart grids, cyber-physical security, and renewable energy integration. Dr. Sun received his Ph.D. from Iowa State University in 2011, and his M.S. and B.S. from Tianjin University in 2007 and 2004, respectively. Prior to joining UCF, he was an Assistant Professor at South Dakota State University (2013-2015), a power system engineer at Alstom Grid (2011-2012), a visiting scholar at the University of Hong Kong (2011), and an intern at California Independent System Operator (2010). His research interests include: Power System Restoration and Self-healing Smart Grid Resilient and Secure Critical Infrastructure Cyber-Physical Systems Renewable Energy and Microgrid Distributed Energy Resources Integration Dr. Sun's recent publications demonstrate strong focus on cyber-physical security in power systems, distributed energy resource integration, and resilient grid operations. His work shows increasing emphasis on AI and machine learning applications for grid security and resilience, particularly in the context of high renewable penetration. His notable scientific awards include: Microsoft Software Engineering Innovation Foundation Award (2014) Best Paper Award, 2019 IEEE PES ISGT Asia Mentor of the Year, UCF Graduate Student Association (2019) Dr. Sun has successfully secured multiple research grants totaling millions of dollars from agencies including the US Department of Energy, National Science Foundation, Florida Center for Cybersecurity, and Microsoft. He currently serves as PI or Co-PI on several major projects including "Secure and Resilient Operations Using Open-Source Distributed Systems Platform (OpenDSP)" funded by the Department of Energy. He leads the Siemens Digital Grid Laboratory at UCF, which is equipped with utility-grade software and hardware including Spectrum Power Microgrid Management System, Power System Simulator for Engineering, and Siemens Distribution Feeder Automation. The lab provides capabilities for both software modeling and hardware-in-the-loop testing of power systems.
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.
Di Shi is an Associate Professor at the Klipsch School of Electrical and Computer Engineering , New Mexico State University (NMSU), holding the Paul W. and Valerie Klipsch Distinguished Professorship. He previously founded the AI energy startup AInergy, LLC and held leadership roles at GEIRI North America, NEC Laboratories America, and Arizona State University. Education: PhD in Electrical Engineering, Arizona State University (2012) MS in Electrical Engineering, Arizona State University (2009) BS in Electrical Engineering, Xi'an Jiaotong University (2007) His research focuses on power system data analytics , energy storage , artificial intelligence , and IoT applications for grid stability and renewable integration. His work bridges theoretical innovation with real-world deployment, including software adopted by 15 utility companies. Recent publications highlight his leadership in deep reinforcement learning for grid control, blockchain frameworks for energy management, and tensor decomposition for efficient load modeling. He has secured a $6M NSF grant for AI-driven digital twinning to address climate-aware energy resilience. Awards & Recognition: 2025 Paul W. and Valerie Klipsch Distinguished Professorship 2024 University Research Council Mid-Career Award 2024 IET Fellow Multiple IEEE Best Paper Awards (2019–2022) 2019 L2RPN AI Competition Championship He serves as an editor for IEEE Transactions on Power Systems , IET Generation, Transmission & Distribution , and other journals, and leads the IEEE Task Force on IoT for Power Systems . His team’s patents cover AI-driven load modeling , energy storage scheduling , and state estimation , with 42 granted or pending.
Prof. Baker Mohammad serves as Professor and Director of the System on Chip Lab in the Department of Computer and Information Engineering at Khalifa University. With over 15 years of industrial experience at Intel and Qualcomm designing microprocessors and DSP chips, he bridges academic research with real-world engineering challenges in high-performance computing and low-power systems. His educational background includes: Ph.D. in Electrical and Computer Engineering, University of Texas at Austin (2008) M.S. in Electrical and Computer Engineering, Arizona State University B.S. in Electrical Engineering, University of New Mexico Dr. Mohammad's research spans cutting-edge domains where VLSI design converges with AI acceleration and emerging memory technologies . His work pioneers Memristor applications in environmental sensing (radiation, vacuum, glucose) and neuromorphic computing, while advancing energy harvesting systems for wearable electronics. The integration of in-memory computing with security primitives represents a paradigm shift in hardware design, moving beyond traditional CMOS limitations. His publication trajectory reveals accelerating focus on self-powered neuromorphic systems and RRAM-based architectures, with recent work (2021-2023) emphasizing hardware-software co-design for edge AI. Over 75% of his recent publications involve cross-disciplinary collaborations spanning materials science, chemistry, and biomedical engineering. Notable scientific recognition includes: IEEE TVLSI Best Paper Award 2016 IEEE MWSCAS Myrill B. Reed Best Paper Award Qualcomm Qstar Award for Performance Leadership KUSTAR IP Excellence Award Multiple SRC Techon Best Session Papers As a dedicated mentor, he has supervised over 15 graduate students while securing competitive funding from Khalifa University, ADEK, Qualcomm, Tii, and UAE space agencies. His grant portfolio demonstrates exceptional translational impact, converting fundamental research in memristive devices into drone flight computers and medical sensors. Current projects integrate academic rigor with industrial deployment timelines. The System on Chip Lab operates as a multidisciplinary hub where semiconductor physicists collaborate with AI researchers to develop RISC-V-based secure processors and piezoelectric nanogenerator systems. Recent expansions include partnerships with Tii for aerospace applications and medical device startups for glucose monitoring technology.
Matthew B. Blaschko is a Professor in the Department of Electrical Engineering at KU Leuven, Belgium. He serves as director of the KU Leuven ELLIS unit and is a fellow in the ELLIS Health program. He is a Core PI in the Flanders AI Research Program, working as a workpackage lead for Decision Support Systems and Medical Imaging. Blaschko is also a member of the KU Leuven Institute for Artificial Intelligence and one of the leaders of the working group on Machine Learning and Data Science. Professor Blaschko received his B.S. from Columbia University, M.S. from the University of Massachusetts Amherst, and Dr. rer. nat. from Technische Universität Berlin (awarded for work at Max Planck Institutes Tübingen). He was a Newton International Fellow at the University of Oxford and received his Habilitation (HDR) from École Normale Supérieure de Cachan. Prior to joining KU Leuven, he was a Permanent Research Scientist in the INRIA Saclay Research Center and a Faculty Member at Ecole Centrale Paris. His research focuses on machine learning techniques applied to visual data, with particular emphasis on calibration in deep learning, medical image analysis, and federated learning. Blaschko's work bridges theoretical foundations with practical applications, as evidenced by technology developed in his research being incorporated into MONA, software for ophthalmic image analysis. His research group has made significant contributions to the fields of model calibration, uncertainty estimation, and medical imaging analysis, with recent publications showing strong trends toward improving reliability of AI systems in medical contexts and advancing theoretical understanding of calibration metrics. Professor Blaschko has been recognized with several awards including the Université Paris-Saclay STIC Doctoral School Best Scientific Contribution Award, Best Paper Award at CVPR 2008, Main Award at DAGM 2008, and Best Student Paper Award at ECCV 2008. Professor Blaschko has supervised numerous PhD and Master's students, with current and former students including Deniz Soysal, Claire Marchal, Dongli Xu, Sebastian Gruber, Jiameng Li, Marco Mezzina, and many others working on diverse topics from Alzheimer's disease analysis to surgical phase recognition. His research has been supported by various funding sources including the Flanders AI Research Program. He has co-organized several influential workshops including the "Another Brick in the AI Wall: Building Practical Solutions from Theoretical Foundations" at CVPR 2025, Commands 4 Autonomous Vehicles workshop at ECCV 2020, and the Learning from Limited Labeled Data workshop series at NIPS 2017 and ICLR 2019. His laboratory focuses on machine learning for medical image analysis, with applications in ophthalmology, neurology, and surgical robotics. The group maintains active collaborations with medical institutions and participates in international challenges such as the KNee OsteoArthritis Prediction (KNOAP2020) challenge.
Dr. Xinwen Fu is a Professor in the Miner School of Computer & Information Sciences at the University of Massachusetts Lowell, where he also serves as Director of the iSAFER Center. He received his Ph.D. in Computer Engineering from Texas A&M University (2005), M.S. in Electrical Engineering from University of Science and Technology of China (1998), and B.S. in Electrical Engineering from Xi'an Jiaotong University (1995). Research Interests Dr. Fu specializes in Computer Security and Privacy , with particular focus on IoT Security , Mobile Security , Network Security , and Digital Forensics . His research has been published in all four top computer security conferences: IEEE Symposium on Security and Privacy (S&P/Oakland), ACM Conference on Computer and Communications Security (CCS), USENIX Security Symposium, and Network and Distributed System Security Symposium (NDSS), as well as prestigious journals like ACM/IEEE Transactions on Networking and IEEE Transactions on Dependable and Secure Computing. His work has gained significant media attention from CNN, Wired, Huffington Post, Forbes, Yahoo, MIT Technology Review, and PC Magazine, including multiple appearances on CNN Domestic and International. He has also served as TPC member for numerous prestigious conferences including ACM CCS, IEEE INFOCOM, and IEEE ICDCS. Scientific Awards Best paper award at IEEE International Conference on Industrial Internet (ICII) 2019 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2017 Teaching Excellence Award of Department of Computer Science, UMass Lowell, 2016 Best paper award, International Performance Computing and Communications Conference (IPCCC) 2016 Award of Excellence, GeekPwn 2016 Ethic Smart Life Hack Competition Erich Spengler Student Cyber Paper Award with students, The Colloquium for Information Security Education (CISSE), 2016 Spotlight Paper of the IEEE Transactions on Mobile Computing (TMC), February 2014 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2013 Best paper award, IEEE International Conference on Communications (ICC): Communications and Information Security Symposium, 2013 Teaching award, Department of Computer Science, University of Massachusetts Lowell, 2011
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.
Geert Deconinck is a full professor at KU Leuven , leading the Electrical Energy Systems and Applications (ELECTA) research group within the Department of Electrical Engineering (ESAT). He also serves as scientific leader of the EnergyVille research center's algorithms domain, focusing on smart electrical networks and thermal systems. M.Sc. and Ph.D. from KU Leuven Head of ELECTA since 2012 (10 professors, 8 postdocs, 70+ PhDs) Over 8 million EUR research budget in last 5 years 44 completed PhDs and 10 current advisees IEEE Transactions editorial board member His research spans smart grid architectures , distributed control , and cyber-physical security , with recent focus on EV-grid integration , renewable energy democratization , and multi-carrier energy systems . Current projects include: Smart Charging - E-Mobility meets Renewable Energy Early Detection and Defense Systems for Smart Grids Open-source P2P energy sharing platforms Microgrid control strategies for PV-battery systems Awarded IET Fellow and IEEE Senior Member status, his work combines machine learning with power systems engineering through both theoretical modeling and experimental validation . He has contributed over 575 publications with 9800+ Google Scholar citations.
Prof. Liam Murphy is a Full Professor of Computer Science & Informatics at University College Dublin (UCD) and Director of the Performance Engineering Laboratory. He holds a B.E. from UCD, M.Sc. and Ph.D. from UC Berkeley. His research focuses on performance engineering of networks, software systems, and multimedia transmissions. He has published over 150 peer-reviewed papers and is an IEEE member and Fellow of the Irish Computer Society. Education: B.E. in Electrical Engineering, UCD (1985) M.Sc. & Ph.D. in Electrical Engineering & Computer Sciences, UC Berkeley (1988, 1992) Research Interests: Dynamic resource allocation in networks Cloud computing efficiency Software performance engineering Wireless multimedia systems Quality of Service (QoS) optimization Recent work emphasizes energy-efficient cloud workflows, multi-objective data center optimization, and decentralized traffic simulation. Grants & Awards: Fellow of the Irish Computer Society (2007) Conference Paper Awards (2004, 2002, 2001) Principal Investigator in multiple funded projects (e.g., EU-funded traffic simulation, cloud resource allocation) Advising & Labs: Directed 24 Ph.D. and 8 M.Sc. students. Leads the Performance Engineering Laboratory (PEL), focusing on distributed systems, cloud efficiency, and network performance. Collaborates on industry-relevant projects like crovan (UCD/DCU campus company). Teaching: Coordinates courses on computer science fundamentals, distributed systems performance, and software engineering at UCD.
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.
Karl Michael Göschka is an Associate Professor at Vienna University of Technology (TU Wien) in the Department of Distributed Systems (E194-02) within the Faculty of Computer Science. His academic title of Privatdozent indicates he has completed habilitation, the highest academic qualification in the German/Austrian system. He maintains an active research and teaching profile with courses scheduled through 2026S, including Bachelor Thesis supervision, Computer Science Projects, and PhD Seminars. His research spans over two decades with consistent publications from 2004 to 2022. Göschka's primary research interests focus on Dependable Distributed Systems, Web Engineering, and the convergence of voice and data technologies. His work demonstrates particular expertise in middleware, service-oriented architecture, wireless sensor networks, and fault tolerance mechanisms. He has supervised numerous master's and diploma theses since 2006, with his most recent doctoral supervision completed in 2022. Göschka's publication record shows a clear evolution from foundational work in distributed systems and replication (2004-2013) to more recent contributions in wireless sensor networks and dependable computing (2020-2022). His research consistently addresses the challenge of balancing dependability, performance, and security in distributed environments, with notable contributions in temporal decoupling techniques and adaptive systems. GIT-Preis des Österreichischen Vereins für Elektrotechnik (1999) Würdigungspreis des Ministeriums für Wissenschaft und Forschung (1998) GIT-Förderpreis des Österreichischen Vereins für Elektrotechnik (1994) Göschka has led and participated in multiple significant research projects including TRADE (2008-2011) on adaptive performance optimization, COMPASS (2005-2007) for automotive software systems, S-Cube (2008-2012), ALL-TIMES (2007-2010), and DeDiSys (2004-2007) on dependable distributed systems. His research has strong practical applications in automotive systems, online auctions, and critical infrastructure monitoring.
Joakim Westerlund is a Professor at the Department of Economics at Lund University, Sweden. His research focuses on econometrics, especially panel data econometrics, with expertise in estimation theory, unit root testing, and structural breaks. He teaches econometrics at all academic levels and has supervised numerous bachelor, master, and PhD theses. His work contributes to UN Sustainable Development Goals through methodological advancements in economic analysis. Westerlund has held a Wallenberg Academy Fellowship (2019–2028) and received the Journal of Applied Econometrics Distinguished Author Award in 2018. He collaborates internationally and actively contributes to academic conferences. His research spans theoretical econometrics, empirical applications, and econometric software development. Current PhD supervision includes students working on topics like robustness to structural breaks and human capital analysis. Key research interests include panel unit root tests, interactive effects models, and methodological innovations for handling cross-sectional dependence. His recent work addresses structural breaks in panel data and the New Keynesian Phillips Curve in European economies. He has published widely in top journals such as the Journal of Applied Econometrics and the Oxford Bulletin of Economics and Statistics.
