Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science and Director of the PRECISE Center at the University of Pennsylvania's School of Engineering and Applied Science. He holds a secondary appointment in the Department of Electrical and Systems Engineering and the Perelman School of Medicine’s Department of Biostatistics, Epidemiology, and Informatics. IEEE TCCPS Distinguished Leadership Award (2023) Fellow of the AAAS (2022) Test of Time Award, Runtime Verification (2019) Fellow of the ACM (2017) Best Paper Awards at IEEE ICPS, ACM/IEEE ICCPS, and MEMOCODE His research focuses on cyber-physical systems , real-time and embedded systems , safe autonomy , and internet of medical things , with applications in healthcare and connected systems. He advises PhD students including Eric Lu, Kaustubh Sridhar, Sooyong Jang, and Jean Park (co-advised with Kevin Johnson). Recent publications address safety monitoring for learning-enabled systems, model-free control synthesis using reinforcement learning, and multilingual toxicity guardrails for large language models. His team collaborates with institutions like Hillrom and Penn Nursing to optimize medical device usage in clinical settings.
Zhonghai Lu is a Professor of Electronic Systems Design (specializing in Dependable and Autonomous Systems) at KTH Royal Institute of Technology, part of the Department of Electrical Engineering in the School of Electrical Engineering and Computer Science (EECS). He serves as Program Director for KTH's Embedded Systems master's program and Director of Studies at the Division of Electronics and Embedded Systems. His research focuses on Network-on-Chip (NoC), computer architecture, embedded systems, and Prognostics and Health Management (PHM) of power electronics. He leads a research group exploring in-network processing and embedded intelligence, transforming passive networks into active computational frameworks. Lu holds a BSc from Beijing Normal University (1989), MSc and PhD from KTH (2002, 2007), and an MBA in Innovation and Growth from the University of Turku (2012). He has authored over 240 scientific papers, including journal articles and peer-reviewed conferences, with notable recognitions such as Best Paper Awards at NOCS’2015 and EU HiPEAC, and a Featured Paper in IEEE Transactions on Computers (2020). He serves as Associate Editor for ACM Transactions on Architecture and Code Optimization (TACO) and has chaired major conferences like HiPEAC’2017 and NOCS’2018. His research group’s recent work includes integrating AI into hardware acceleration, fault-tolerant neural networks, and RUL estimation for power electronics using recurrent neural networks. Lu has secured grants from the Swedish Research Council and Intel Corporation and developed courses like IL2230 (Hardware Architectures for Deep Learning) and IL2233 (Embedded Intelligence), pioneering embedded AI education at KTH. Education: BSc (Beijing Normal University), MSc/PhD (KTH), MBA (University of Turku) Awards: Best Paper Awards (NOCS, EU HiPEAC), Swedish Research Council Grants, Intel Research Gifts Labs/Teams: Research Group on In-Network Processing and Embedded Intelligence
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.
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.
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.
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. 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.
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.
Michael Mühlebach is a Research Group Leader at the Max Planck Institute for Intelligent Systems in Tübingen, Germany, leading the independent Learning and Dynamical Systems group. His academic journey began at ETH Zurich where he earned his B.Sc. (2010) and M.Sc. (2013) in mechanical engineering, specializing in robotics, systems, and control. He completed his Ph.D. at ETH Zurich in 2018 under Prof. R. D'Andrea, followed by postdoctoral research at UC Berkeley with Prof. Michael I. Jordan. Dr. Mühlebach's research spans machine learning, dynamical systems, control theory, and optimization . His work bridges theoretical foundations with practical applications in robotics, developing methods that incorporate physical constraints and system dynamics into learning frameworks. His group focuses on online learning, physics-informed machine learning, and large-scale optimization for cyber-physical systems, with applications in electromagnetic navigation, robotic table tennis, and energy-efficient flight systems like the shape-changing robot Floaty . His publication record shows a strong focus on constrained optimization, with recent work exploring decision-dependent stochastic optimization, nonlinear feedback, and the theoretical foundations of reinforcement learning. His research integrates perspectives from control theory, dynamical systems, and optimization to develop algorithms with strong theoretical guarantees and practical performance. Outstanding D-MAVT Bachelor Award Willi-Studer prize for best Master's degree ETH Medal and HILTI prize for doctoral thesis Branco Weiss Fellow (2018) Emmy Noether Fellowship (2020) Amazon Fellowship (2024) Dr. Mühlebach actively mentors doctoral researchers and is seeking talented students for PhD and Master's projects. His research group has received funding from multiple prestigious fellowships and maintains collaborations across institutions including ETH Zurich, UC Berkeley, and various Max Planck research units. The group's work spans theoretical developments to practical implementations on robotic systems, demonstrating strong connections between mathematical theory and physical realization.
Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.
Mehmet Esat Belviranli is an Assistant Professor in the Computer Science Department at the Colorado School of Mines, where he directs the High Performance Systems and Software Lab (HyperSys). His research focuses on increasing resource utilization in heterogeneous architectures through runtime systems, scheduling algorithms, and performance modeling, with publications in top venues including MICRO, PPoPP, and SC. Education: Ph.D. in Computer Science, University of California, Riverside (2016) M.S. in Computer Science, Bilkent University (2009) B.S. in Computer Science, Bilkent University (2006) Belviranli's research spans heterogeneous architectures, runtime systems, performance modeling, parallel programming, autonomous computing, deep learning acceleration, cyber-physical systems, and edge-cloud platforms. His work develops analytical models and programming abstractions to address resource management, scheduling, and security challenges in diversely heterogeneous systems, with applications in edge computing, autonomous systems, and machine learning acceleration. Recent projects emphasize real-world constraints and security implications. His publication trends reveal increasing focus on edge-cloud resource management (e.g., HARNESS), security vulnerabilities in heterogeneous systems (e.g., MC3), and deep learning acceleration under resource constraints. Key themes include memory contention modeling, scheduling for cyber-physical systems, and concurrent DNN execution, reflecting a shift toward practical deployment in security-sensitive edge environments. Scientific Awards: U.S. Air Force Research Lab Summer Faculty Fellowship Award (2022) U.S. Air Force Research Lab Summer Faculty Fellowship Award (2021) Oak Ridge National Laboratory Significant Event Award (2019) Best Paper Finalist, IEEE HPEC 2018 Outstanding Paper Award, DATE 2024 Belviranli mentors Ph.D. students Ismet Dagli (MLCommons Rising Star 2024, CGO'24 SRC finalist) and Justin Davis (DATE'24 Outstanding Paper Award winner). He has secured $2M+ in funding from NSF, DoE, and SRC, including an NSF-SaTC grant on mobile security (2024), a DoE grant on superconductive systems (2023), and an NSF FuSe grant on graphene nanoribbons (2023), often leading multi-institutional teams from Rochester, Virginia, Arizona, and Minnesota. The HyperSys Lab develops ecosystems for high-performance heterogeneous systems, with recent projects including HARNESS for edge-cloud resource management and MC3 for mobile SoC security. The lab has received equipment donations from Google Coral.ai and Xilinx, and collaborates with national labs on security challenges and next-generation semiconductor technologies.
Carlos Alvarez Martinez is a faculty member at the Universitat Politècnica de Catalunya (UPC), affiliated with the Department of Computer Architecture at the Barcelona School of Informatics (FIB). He is a key member of the Programming Models (PM) research group and collaborates closely with the Barcelona Supercomputing Center (BSC). His research focuses on high-performance computing, FPGA acceleration, task-based programming models like OmpSs, and hardware-software co-design for heterogeneous systems. His research interests center on advancing parallel computing through innovative programming models and hardware acceleration. He investigates efficient task scheduling, resource management in multicore and FPGA-based systems, and runtime support for dataflow models. His work enables high-performance execution of complex applications in domains such as scientific computing and cyber-physical systems. He actively contributes to European initiatives like TEXTAROSSA and AXIOM, aiming to develop next-generation exascale supercomputing technologies. The trend in his recent publications shows a strong focus on leveraging FPGAs for HPC, optimizing SpMV operations, improving task scheduling with hardware support, and developing frameworks for multi-FPGA clusters. His work consistently bridges theoretical models with practical implementations, emphasizing performance, scalability, and energy efficiency in heterogeneous computing environments. Scientific Awards: Premi UPC al Compromís Social 2019 Premi Disseny per al Reciclatge 2013 Alvarez Martinez has advised or collaborated with several doctoral students, including Jaume Bosch, Xubin Tan, and Fahimeh Yazdanpanah. He has been involved in numerous competitive R&D projects, often related to high-performance computing and parallel programming models. His work includes significant contributions to educational innovation, particularly in active learning methodologies and formative assessment using interactive systems. He leads and participates in research labs and teams focused on programming models and computer architecture, notably the PM group at UPC/BSC. These teams develop runtime systems, compilers, and hardware accelerators to push the boundaries of parallel computing efficiency and programmability.
Giancarlo Ferrari Trecate is an Adjunct Professor at the Swiss Federal Institute of Technology Lausanne (EPFL) , affiliated with the School of Engineering and the SCI-STI-GFT department. He is also involved in teaching and research through the STI-SGM and EDRS-ENS programs. Research Interests : Automatic control, state estimation, system identification, machine learning, distributed control, hybrid systems, microgrids, biochemical networks, voltage and frequency stabilization in AC/DC microgrids. Publications Trends : His recent work focuses on integrating Neural ODEs and Hamiltonian structures for stable control systems, regret minimization in distributed control, and robust state estimation under uncertainty. Applications include autonomous mobility-on-demand , power grid optimization , and secure microgrid control against cyber-attacks. Scientific Awards : No specific awards mentioned in the provided data. Teaching & Advising : He supervises PhD students in mechanical engineering and teaches courses on Multivariable control and Networked control systems . His lab, DECODE , specializes in Dependable Control and Decision systems.
