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.
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.
Jingtong Hu is an Associate Professor at the Swanson School of Engineering, University of Pittsburgh, where he also holds the William Kepler Whiteford Faculty Fellowship. His research focuses on Cyber-Physical Systems and Infrastructure Security, with significant contributions to embedded systems, non-volatile memory architectures, and hardware/software co-design for energy-constrained environments. Dr. Hu received his PhD from the University of Texas at Dallas (2007-2013) and his Bachelor of Engineering from Shandong University (2003-2007). His research spans multiple interdisciplinary areas including energy harvesting systems, non-volatile processors, FPGA acceleration, and machine learning at the edge. His recent publications demonstrate a strong focus on algorithm-hardware co-design, particularly for vision transformers, federated learning, and non-volatile memory systems. His work often addresses the challenges of implementing AI on resource-constrained edge devices, with emphasis on energy efficiency, reliability, and performance optimization. The trend in his publications shows increasing focus on sustainable AI processing, heterogeneous computing architectures, and personalized machine learning for IoT applications. Selected Awards: IEEE Transactions on Computer-Aided Design Donald O. Pederson Best Paper Award (2021) ACM SIGDA Meritorious Service Award (2019) Multiple Best Paper Award nominations at top conferences including DAC, ASP-DAC, and CODES+ISSS Dr. Hu's research has been supported by multiple grants focusing on energy-efficient computing, non-volatile memory systems, and hardware acceleration for machine learning. His collaborative work spans numerous institutions and involves interdisciplinary teams working at the intersection of computer architecture, embedded systems, and artificial intelligence. His publications show extensive collaboration with researchers at the University of Pittsburgh, particularly with Albert K. Jones and Yiyu Shi. His laboratory work focuses on implementing practical systems for energy harvesting powered devices, non-volatile processors, and hardware accelerators for machine learning applications. Current projects appear to emphasize sustainable AI processing at the edge, heterogeneous FPGA acceleration, and personalized federated learning for health monitoring applications.
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.
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
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.
Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.
Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.
Prof. Dr. Andrea Stocco is a Professor at the Technische Universität München (TUM), affiliated with the TUM School of Computation, Information and Technology. His research focuses on the intersection of software engineering and deep learning, particularly addressing the robustness and reliability of data-intensive systems. Key areas include autonomous vehicles, web application testing, and automated functional oracles for deep learning systems. He leads initiatives such as the Lehrstuhl für Software und Systems Engineering , collaborating on projects like CrESt and SUPPRA – Algorand Center of Excellence . Research interests encompass monitoring techniques for AI-driven systems, test suite maintainability, and scenario-based testing of cyber-physical systems (CPS). His work emphasizes practical applications, such as improving testing frameworks for evolving web applications and enhancing interoperability in autonomous driving systems (ADS). Recent efforts include leveraging large language models (LLMs) for secure code assessment and benchmarking generative AI for test input generation. No scientific awards are explicitly mentioned in the provided texts. His publications reflect a strong focus on testing methodologies, with over 40 articles since 2013, covering domains like web test automation, dependency-aware testing, and safety-critical failure prediction in autonomous systems. Advising and grants details are not detailed in the current data, but his lab contributes to TUM's broader efforts in software engineering and systems reliability.
Dr. Feng Cheng is a Senior Researcher and head of the IT Security Engineering (Sec-Eng) Team at the Hasso Plattner Institute (HPI), Germany, and serves as the Representative of the Chair "Internet Technologies and Systems" at the Digital Engineering Faculty, University of Potsdam. He holds a PhD from the University of Potsdam, an MEng from Beijing University of Technology, and a BEng from Beijing University of Aeronautics and Astronautics. His research is centered on data-driven security engineering, security analytics, network security, cloud security, firewall, IDS/IPS, attack modeling, and penetration testing. Dr. Cheng's research interests span a broad range of cybersecurity domains, with a strong emphasis on security analytics , data-driven threat detection , cloud and network security , and authentication . His work integrates advanced data engineering and machine learning techniques to enhance security operations, including intrusion detection, threat intelligence, and security information and event management (SIEM). Key application areas include IoT security, mobile security, and web security. The recent publications of Dr. Cheng and his team reflect a significant trend towards leveraging big data analytics , machine learning , and graph-based methods for cybersecurity. Their work focuses on developing frameworks for blockchain-based public key infrastructures, advanced SIEM analytics, malware detection using NLP, and chaos engineering for cloud security. This demonstrates a strong commitment to creating practical, scalable, and intelligent solutions for modern security challenges in complex, distributed environments. Dr. Cheng is actively involved in the academic community as a member of ACM and IEEE, a program committee member for numerous international conferences, and an organizer of workshops on cloud computing and cybersecurity. He has also served on editorial boards for international journals. He supervises a large group of PhD, master's, and bachelor's students, guiding research on topics such as security analytics, cyber threat intelligence, digital credentials, and behavioral authentication. He leads the Sec-Eng team, which conducts research on a diverse portfolio including the Security Analytics Lab, HPI-VDB (vulnerability database), Lock-Keeper (physical separation technology), and the Security Lab Generator for scenario-driven security training.
Professor Bharat Bhuva is a faculty member in the School of Engineering at Vanderbilt University, holding the position of Professor of Electrical Engineering and Computer Engineering . His research focuses on radiation effects on integrated circuits, semiconductor device modeling, and VLSI design, with an emphasis on advancing the resilience of nanoscale electronics against single-event effects and total-ionizing-dose damage. He also investigates emerging technologies like FinFET and FDSOI for improved radiation hardness and performance. Education: Ph.D. in Electrical Engineering, North Carolina State University M.S. in Electrical Engineering, North Carolina State University B.S. in Electrical Engineering, Maharaja Sayajirao University Research Interests: Professor Bhuva’s work spans computer-aided design tools, semiconductor process modeling, and the mitigation of radiation-induced failures in advanced integrated circuits. His studies address challenges posed by scaling to smaller technology nodes (e.g., 3-nm FinFET) and the impact of environmental factors like temperature, bias conditions, and neutron exposure on circuit reliability. Key areas include multicell upsets, single-event upset (SEU) cross-section analysis, and the efficacy of radiation-hardened-by-design (RHBD) techniques. Awards & Recognition: None explicitly listed in the provided text. However, his extensive publications in top-tier journals like IEEE Transactions on Nuclear Science highlight his contributions to the field. Grants & Advising: Advises on projects related to advanced semiconductor technologies and radiation effects. His research has been supported by grants from institutions focusing on space electronics and nanotechnology. No specific grant details or student advisees are listed. Labs & Teams: Likely affiliated with Vanderbilt’s Cyber-physical Systems and Nano Science and Technology research neighborhoods, though specific lab names are not mentioned in the text.
Dr. Yuzhang Lin is an Assistant Professor in the Department of Electrical and Computer Engineering at NYU Tandon School of Engineering. Previously, he held an Assistant Professor position at the University of Massachusetts Lowell (2018–2023). He earned his Ph.D. from Northeastern University and B.Eng./M.S. from Tsinghua University. His research focuses on smart grids, renewable energy systems, cyber-physical resilience, and machine learning applications. He leads editorial roles for IEEE Transactions on Power Systems and chairs IEEE PES Task Forces on standard test cases and distribution system operations. Dr. Lin’s research has been funded by NSF, DOE, ONR, and others. He is a recipient of the NSF CAREER Award and Northeastern’s Graduate Student Outstanding Research Award. His work emphasizes data-driven solutions for grid resilience, including state estimation, cyber-physical defense, and distributed energy integration. The Lin Group actively seeks PhD candidates interested in advancing smart grid technologies. Education: Ph.D. (Northeastern University), B.Eng./M.S. (Tsinghua University) Grants: NSF, DOE OE/EECE/CESER, ONR, NYSERDA, MassCEC Service Roles: IEEE PES Task Force Co-chair (Standard Test Cases), Secretary (Distribution System Operations Subcommittee) Publications span top journals/conferences, focusing on state estimation, inverter-based resource control, and machine learning for grid systems. His lab develops cutting-edge tools for power system resilience and renewable energy integration.
Raj Rajkumar is the George Westinghouse Professor of Electrical and Computer Engineering at Carnegie Mellon University (CMU), with a courtesy appointment in the Robotics Institute. He holds leadership roles as Director of the USDOT Mobility21 and Safety21 National University Transportation Centers, and Director of the Metro21: Smart Cities Institute. His work focuses on cyber-physical systems, autonomous driving, and vehicular networking. Education: Ph.D. in Electrical and Computer Engineering from CMU (1989). Research interests include connected/autonomous vehicles, cyber-physical systems, embedded systems, and vehicular networking. Key projects include the General Motors-CMU Collaborative Research Lab and the development of autonomous vehicle protocols like Ballroom Intersection Protocol. Notable awards include the 2016 National Academy of Inventors Fellowship and the 2017 Pittsburgh Business Times Innovation Award. His publications span real-time systems, sensor networks, and automotive cyber-physical frameworks. Rajkumar advises on autonomous vehicle safety, energy efficiency, and societal impacts, with frequent media engagements on self-driving technologies.
Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.
Xugui Zhou is an Assistant Professor jointly appointed in the Department of Electrical and Computer Engineering and the Department of Computer Science at Louisiana State University (LSU). He holds a Ph.D. in Electrical and Computer Engineering from the University of Virginia (2024), where he worked under Prof. Homa Alemzadeh. Prior to his Ph.D., he earned an M.Eng in Control Science and Engineering and a B.Eng in Automation from Shandong University. Before joining UVA, he was a Senior Engineer at NR Research Institute, State Grid of China. His research focuses on the intersection of system dependability, security, and control theory, with applications in autonomous systems and healthcare. Key interests include engineering resilient autonomous vehicles, mitigating adversarial attacks on cyber-physical systems (CPS), and enhancing safety through formal methods and machine learning. He leads a research lab with openings for Ph.D. students and interns. Zhou is actively involved in academic service, serving on program committees for DSN'26, AsiaCCS'26, and ICCPS'25, among others. He also chairs workshops like DSML'25 and organizes conferences such as ICCPS'24. His recent awards include the UVA Engineering Endowed Graduate Fellowship (2023) and selection as a Rising Star in Cyber-Physical Systems (2023). His teaching includes courses like AI-Driven Autonomous Driving Systems and ML for CPS Security at LSU. He has extensive experience in teaching and research supervision, emphasizing hands-on projects and interdisciplinary collaboration.
