Dr. Chengmo Yang is a Professor in the Department of Electrical and Computer Engineering at the University of Delaware, with a joint appointment. She received her PhD and MSc in Computer Science from the University of California, San Diego, and a BSc in Microelectronics from Peking University, China. PhD, University of California, San Diego MSc, University of California, San Diego BSc, Peking University, China Her research focuses on enhancing security, reliability, non-volatility, and energy efficiency in embedded systems, cyber-physical systems (CPS), and Internet-of-Things (IoT). She leads the Computer Architecture, Reliability, and Security (CARES) group and has authored over 70 peer-reviewed publications. Recent publications emphasize neural network accelerators, non-volatile memory (NVM) optimization, and security frameworks for embedded systems. Her work explores fault tolerance, wear leveling, and side-channel attack mitigation in NVM-based FPGAs, STT-RAM, and SSDs. National Science Foundation Career Award (2013) University of Delaware Mid-Career Faculty Excellence in Scholarship Award (2020) Best paper award at ICESS (2019) Three best paper nominations at DAC, DATE, and GLSVLSI (2019) Dr. Yang serves as Associate Editor for IEEE TCAD and ACM TODAES. She is the Diversity & Inclusion Representative for IEEE CEDA and has organized numerous conferences including Technical Program Chair for CODES-ISSS 2022. Her lab has hosted current and former students like Fanruo Meng (PhD candidate), Fateme Hosseini (Qualcomm), and Patrick Cronin (Intel), focusing on graduate-level research in hardware security and reliability.
Richard M. Murray is the Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering at the California Institute of Technology (Caltech). He holds a B.S. from Caltech (1985), M.S. from UC Berkeley (1988), and Ph.D. from UC Berkeley (1990). He has served in academic roles from Assistant Professor (1991–1997) to his current endowed professorship. He chaired the Engineering and Applied Science division (2000–2005) and Biology and Biological Engineering (2020–2024). His research focuses on feedback control in biological and autonomous systems, synthetic cells, and networked control systems. Collaborators include experts in robotics, synthetic biology, and systems biology. Key awards include the IEEE Control Systems Award and election to the National Academy of Engineering. His educational contributions span courses on control systems, robotics, and bioengineering. Current research projects include the Developer Cell initiative (Sloan Foundation), layered testing for autonomous systems (AFOSR), and microbiome-based environmental solutions (CHARMME, ARO). He advises numerous graduate students and postdocs, with notable alumni in academia and industry. Labs include facilities in Keck and Steele laboratories at Caltech. His work bridges control theory, synthetic biology, and autonomous systems to address societal challenges like environmental monitoring and safe autonomy.
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.
Suhas Diggavi is a Professor in the Department of Electrical and Computer Engineering at the University of California, Los Angeles, within the Henry Samueli School of Engineering and Applied Science. His primary research area is Signals and Systems, with a strong focus on information theory and its interdisciplinary applications. His research interests span Information Theory , Machine Learning , Differential Privacy , Federated Learning , Cyber-Physical Systems , and Bio-informatics . He investigates fundamental limits and practical algorithms for secure, efficient, and robust data processing in distributed and networked environments. The recent publications highlight a strong trend in privacy-preserving machine learning, particularly in the shuffled model of differential privacy , communication-efficient distributed SGD , and robust optimization . His work bridges theoretical information-theoretic foundations with real-world applications in federated learning, wireless networks, and genomic data analysis. Notable scientific awards include: Guggenheim Foundation Fellow (2021) ACM CCS Best Paper Award (2021) IEEE Fellow (2013) IEEE Donald G. Fink Prize Paper Award (2006) Multiple Google, Amazon, and Facebook Research Awards Suhas Diggavi actively advises graduate students and leads a research group focused on learning, information, and optimization. His work is supported by major industry grants and collaborations, particularly in privacy and distributed learning. He has made significant contributions to information-theoretic models in bio-sequencing and wireless security. He leads the LIOS (Learning, Information, Optimization, and Stochastic Systems) research group at UCLA, where his team develops theoretical frameworks and practical algorithms for next-generation data-driven systems.
Rajeev Alur is the Zisman Family Professor in the Department of Computer and Information Science at the University of Pennsylvania, leading the School of Engineering and Applied Science. He is the Founding Director of the ASSET Center for Trustworthy AI and a member of the PRECISE Center. His research focuses on formal methods for system design, integrating AI, cyber-physical systems, and machine learning with logical reasoning to ensure safety in autonomous systems. Alur has held leadership roles in major NSF projects like ExCAPE and has directed the Embedded and Multi-Scale Systems (EMBS) program. His research interests span formal verification, temporal logics, programming abstractions, and synthesis techniques. Notable contributions include the development of Nested Words (visibly pushdown languages), streaming string transducers, and tools like AutomataTutor for education. He has advised over 60 PhD students and postdocs, many of whom now hold academic and industry leadership positions. Alur’s awards include the 2024 Knuth Prize and the 2016 Alonzo Church Award. His work on Verisig and compositional verification of neural networks has advanced safety-critical AI applications. He teaches foundational courses like CIS 2620 and develops educational tools, emphasizing both theoretical rigor and practical impact. Key projects include the ASSET Center’s focus on trustworthy AI, integration of logical specifications in reinforcement learning, and formal verification of closed-loop systems with neural components. His publications span over 350 papers, with recent work addressing neurosymbolic learning, security in large language models, and efficient neural network verification.
Qi Alfred Chen is an Assistant Professor in the Department of Computer Science at the University of California, Irvine (UCI), within the Donald Bren School of Information and Computer Sciences. He also holds affiliations with the Department of Electrical Engineering and Computer Science (EECS), the Institute of Transportation Studies at UC Irvine (ITS-Irvine), the Center for Embedded and Cyber-physical Systems (CECS), the Institute for Software Research (ISR), and the UC Irvine Cybersecurity Policy & Research Institute (CPRI). His research focuses on network and systems security, with particular emphasis on autonomous vehicle and IoT security. Dr. Chen received his Ph.D. from the University of Michigan in 2018. His educational background has prepared him for his current research in security of critical computer systems. His work bridges theoretical security principles with practical implementations in real-world systems. Chen's research interests center on network and systems security , with a major focus on smart systems and IoT security , particularly in transportation and autonomous vehicle systems . His work addresses security challenges through systematic problem analysis and mitigation, discovering and mitigating security problems in next-generation transportation systems, smartphone OSes, network protocols, DNS, GUI systems, and access control systems. His research has high impact in both academic and industry contexts, with over 10 top-tier conference papers, a DHS US-CERT alert, multiple CVEs, and coverage in major news media like Fortune and BBC News. His publication record shows a clear evolution from foundational work on network protocols and smartphone security toward increasingly sophisticated security analyses of autonomous vehicle systems and AI-powered transportation technologies. The research trajectory demonstrates growing technical sophistication and real-world impact, with recent work focusing on physical-world adversarial attacks against autonomous driving perception systems, LiDAR spoofing, and security of multi-sensor fusion in autonomous vehicles. NSF CAREER Award (2022) on securing the AI stack in emerging autonomous and connected CPSs Chancellor's Award for Excellence in Undergraduate Research Mentorship, UC Irvine (2021) 5th place nation-wide at National CCDC competition (2021, as faculty advisor) 1st place (Gold Medal) at CCDC Western Regional competition (2021) ProQuest Distinguished Dissertation Award, University of Michigan (2019) Dr. Chen has mentored numerous successful students, including PhD candidates and undergraduates who have gone on to positions at major tech companies like Meta, Uber, Amazon, and Intel. His research group has secured significant funding, including an NSF CAREER award, and has made substantial contributions to the field through high-impact publications and vulnerability disclosures. He is also the co-founder of the ISOC VehicleSec Symposium and has organized the AutoDriving CTF contest at DEF CON. Chen leads the AV & IoAT Security Research Group at UCI, focusing on security challenges in autonomous vehicles and the broader Internet of Autonomous Things. His team has developed numerous attack demonstrations and security analyses that have received significant media attention and influenced industry practices. The group maintains an active YouTube channel showcasing their security research.
Jan Madsen is a Professor at DTU Compute, Technical University of Denmark, and Head of the Embedded Systems Engineering section. His research focuses on system-level modeling and design of embedded computing systems, particularly cyber-physical systems, microfluidic biochips, and synthetic biology applications. Develops design automation tools and methodologies for embedded systems Supervises numerous PhD students and leads major research projects Research Interests Key areas include: Embedded systems-on-a-chip Cyber-Physical Systems (Internet-of-Things) Microfluidic Lab-on-Chip devices Synthetic biology with molecular computing Design, modeling, and optimization of complex systems Scientific Awards DATE Fellow (2019) IEEE CEDA Outstanding Recognition (2019) DTU Scientific Advise Award (2013) Best Paper Awards at MECO (2013) and CASES (2009) Jorck’s Foundation Research Award (1995) Publications His 14+ journal papers and 115+ conference papers demonstrate expertise in: SystemC-based modeling frameworks Energy-aware sensor networks Self-healing eDNA architectures Microfluidic biochip synthesis RTOS modeling and MPSoC exploration
Professor Ernest Foo is a distinguished academic at Griffith University's School of Information and Communication Technology, specializing in cybersecurity with a focus on industrial control systems and cryptographic protocols. With over 15 years of experience in computer networking, he has established himself as a leading expert in SCADA security and smart grid cybersecurity. His research has significant practical applications in critical infrastructure protection, and he has developed hands-on security training programs that have trained professionals from major Australian utilities and government agencies. Professor Foo's educational background includes: Bachelor of Engineering with Honours in Electronic and Computer Engineering from University of Queensland Doctor of Philosophy from Queensland University of Technology Professor Foo's research interests center around secure cryptographic protocols with specific applications in industrial control system security and cyber physical systems. His work spans SCADA security, smart grid protection, wireless sensor network security, and post-quantum cryptography. He has made significant contributions to understanding vulnerabilities in industrial protocols like Modbus and DNP3, and has pioneered the application of process mining and data mining techniques for attack detection in critical infrastructure systems. His research bridges theoretical security concepts with practical implementations in real-world industrial environments. Professor Foo's recent publications demonstrate a clear trajectory toward increasingly sophisticated security frameworks for critical infrastructure. His work shows a progression from foundational SCADA security research to advanced applications of artificial intelligence, machine learning, and formal methods in cybersecurity. A notable trend is the integration of zero trust principles with industrial control systems, alongside growing emphasis on post-quantum cryptographic solutions. His publications span high-impact journals and conferences in cybersecurity, with increasing focus on anomaly detection in cyber-physical systems and the application of graph-based machine learning techniques to network security challenges. Professor Foo's notable scientific achievements include: Best paper award at the 2nd International Cyber Resilience Conference for "Gap analysis of Intrusion Detection in Smart Grids" Professor Foo has secured significant research funding including an ARC Linkage grant with Powerlink Queensland focused on cyber security for electricity sub-stations. He currently leads multiple research projects including Westpac Micro-Credentials in Financial Crime Investigation, Digital Banking Micro-credentials with ANZ, and research on quantum-safe cryptography. As a dedicated educator, he serves as Program Director for multiple cybersecurity programs including the Master of Cyber Security, and has supervised numerous doctoral and masters students. His Cyber Security: Industrial Control System course, conducted annually from 2013-2018, featured innovative hands-on training with real-world participants from major Australian utilities. Professor Foo has been instrumental in establishing the SCADA security research laboratory with multiple vendor system miniatures running industrial PLCs. His work bridges theoretical security concepts with practical implementations, making significant contributions to the security of industrial control systems and critical infrastructure worldwide.
Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.
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.
Qing (Cindy) Chang is a Professor in the Department of Mechanical and Aerospace Engineering at the University of Virginia, where she directs the Intelligent Systems Lab. She joined UVA in 2019 after serving as an associate professor at Stony Brook University. Prior to academia, she spent a decade at General Motors R&D, receiving their highest innovation awards. Education: M.S. from University of Wisconsin-Madison Ph.D. in Manufacturing from University of Michigan Research Focus: Chang's work integrates math-based modeling and data-driven methods to optimize manufacturing systems. Key areas include: Adaptive control and machine learning for production efficiency Human-robot collaboration frameworks Sustainable manufacturing through energy management Real-time control of cyber-physical production systems Reinforcement learning applications in industrial automation Research Trends: Her recent publications (2024-2025) demonstrate strong focus on AI-driven manufacturing optimization, with 80% leveraging reinforcement learning/LLMs for robotic control. Key themes include multi-agent coordination (67% of papers), energy efficiency (53%), and flexible production systems (47%). Awards & Recognition: Inducted as SME Scholar (2024) 20 Most Influential Professors in Smart Manufacturing - SME (2020) NSF CAREER Award (2014) Three-time GM Boss Kettering Award winner (2005,2006,2008) ASME and SME Fellow Leadership & Funding: Serves on NAMRI/SME Board of Directors with editorial roles across ASME/IEEE/SME journals. Research supported by NSF (including CAREER), Department of Energy, and multiple industry partners. Leads projects on human-robot collaboration and sustainable manufacturing. Lab & Collaboration: Directs the Intelligent Systems Lab at UVA, focusing on industrial AI applications. Collaborates with automotive and energy sectors to translate research into practical solutions for smart factories.
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.
Dr. Binbin Xie is an Assistant Professor in the Department of Computer Science and Engineering at The University of Texas at Arlington (UTA). She holds a Ph.D. from the Manning College of Information and Computer Sciences at the University of Massachusetts Amherst, where she was a recipient of the prestigious Google PhD Fellowship in Mobile Computing. Her research focuses on wireless sensing, mobile health, cyber-physical systems, smart IoT, and wireless networking. Dr. Xie’s academic journey includes a tenure-track position at UTA since September 2024. She has received notable awards such as the Emerging Rockstar (IEEE Pervasive Computing, 2025), Rising STARs Award (UT System, 2024), and multiple scholarships including the Krithi Ramamritham Computer Science Scholarship (2023). Her work spans innovative applications in wireless sensing, leveraging LoRa, mmWave radar, and RFID technologies for real-world challenges like in-vehicle sensing and indoor localization. Her recent publications highlight advancements in LoRa sensing coexistence with communication, mmWave radar human sensing using secondary reflections, and combating interference in multi-target localization. She actively contributes to the academic community through service roles, including Technical Program Committee memberships for MobiSys 2025 and EWSN 2025, and as a reviewer for top-tier conferences like IMWUT/UbiComp and journals such as ACM Transactions on Sensor Networks. Dr. Xie’s teaching includes courses like CSE 4321 (Software Testing & Maintenance). Her research and educational efforts aim to bridge theoretical innovations with practical implementations in wireless and IoT systems.
Dr. Jiaqi Gong serves as Associate Professor in Computer Science and Adjunct Associate Professor in Mechanical Engineering at The University of Alabama's College of Engineering, while directing the Alabama Center for the Advancement of Artificial Intelligence. His academic foundation includes: B.S. in Engineering, China University of Geoscience (2004) Ph.D. in Engineering, Huazhong University of Science and Technology (2010) Dr. Gong's research pioneers human-AI convergence through cyber-physical systems and smart health technologies, developing mobile/wearable platforms to enhance human perceptual, cognitive, and physical capabilities. His work spans artificial intelligence, machine learning, computer vision, and IoT with applications in healthcare, environmental monitoring, and education. The Sensor-Accelerated Intelligent Learning (SAIL) laboratory he founded drives innovation in behavior change interventions, human movement modeling, and educational data mining. Recent publications reveal strong interdisciplinary trends: healthcare AI dominates with medication adherence prediction and surgical classification systems, while environmental applications feature flood-risk communication and drought analysis. His work increasingly integrates generative AI and LLMs across domains, demonstrating methodological innovation in federated learning, knowledge graphs, and explainable storytelling frameworks. Notable recognitions include: Best Student Paper Award, IEEE/ACM Connected Health Conference (2022) Best Student Paper Award, Body Sensor Networks Conference (2019) Data Challenge Win, IEEE Biomedical Health Informatics (2018) Best Paper Award, Body Area Networks Conference (2014) Best Demonstration Award, IEEE Wireless Health Conference (2014) Dr. Gong leads significant funded projects including a $2M CDC/NIOSH grant for first responder safety and $3M NSF funding for hydrologic research. As SAIL laboratory director, he mentors students in developing clinically deployed technologies for multiple sclerosis, dementia, and mental health. Future work focuses on scaling AI applications in chronic disease management and climate resilience through the Alabama AI Center. The SAIL laboratory (founded 2017) operates as a multidisciplinary hub developing wearable/mobile systems for health applications, with active collaborations across medical clinics and engineering departments for real-world deployment of behavior change interventions and movement analysis tools.
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.
