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.
Bo Li is an Associate Professor at the University of Illinois at Urbana-Champaign, affiliated with the Siebel School of Computing and Data Science. Her research focuses on trustworthy machine learning, emphasizing robustness, privacy, and security in AI systems. She leads the Secure Learning Lab (SL²), exploring adversarial attacks and defenses across digital and physical domains. Key contributions include foundational work on adversarial examples, robust learning frameworks, and privacy-preserving techniques. Her academic roles include advisory board positions at the Center for Artificial Intelligence Innovation (CAII) and membership in the Information Trust Institute (ITI). She collaborates with institutions like the Advanced Digital Science Center (ADSC) and the Quantum Information Science and Technology Center (IQUIST). Notable recognitions include the IJCAI Computers and Thought Award (2022), MIT Technology Review's 35 Innovators Under 35 (2020), and multiple best paper awards. Recent work addresses AI safety through frameworks like ShieldAgent and AutoRedTeamer, aiming to enhance system resilience against adversarial threats. Her research spans theoretical guarantees, practical defenses, and ethical AI deployment. Students advised include Chulin Xie, Linyi Li, and Boxin Wang, who have received prestigious fellowships such as the IBM PhD Fellowship and Rising Stars in ML Awards. Advising: Guides PhD students in adversarial ML, privacy, and security. Labs/Teams: Secure Learning Lab (SL²), collaboration with ALERT program. Grants/Funding: NSF CAREER Award, Amazon/Google Faculty Awards, and industry partnerships.
Fei Fang is an Associate Professor in the Software and Societal Systems Department at Carnegie Mellon University (CMU) , where she explores the intersection of artificial intelligence and multi-agent systems . Her work integrates machine learning with game theory to address challenges in security , sustainability , and mobility , aligning with the AI for Social Good mission. Ph.D. in Computer Science, University of Southern California (2016) B.Eng. in Electronic Engineering, Tsinghua University (2011) Recent research focuses on reinforcement learning , large language models (LLMs) , and human-AI collaboration . Her team’s work has been recognized with 15+ awards across prestigious venues like IAAI, AAAI, and IJCAI. Notable accolades include the 2023 Allen Newell Award , 2022 Sloan Fellowship , and NSF CAREER Award (2021) . She actively contributes to educational initiatives , including teaching "Demystifying AI for Everyone" at CMU, and has sought part-time teaching assistants for course development. Her research spans 15+ domains , including AI ethics , cyber defense , traffic optimization , and public health .
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.
Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.
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.
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.
Scott Kerlin is a Senior Lecturer in the Department of Electrical Engineering and Computer Science at Oregon State University's College of Engineering. He holds an M.S. and B.S. in Computer Science from the University of North Dakota. Prior to academia, he worked at the Mayo Clinic on medical software systems and IBM as a build master for enterprise products. His career spans roles including network administrator, lab manager, and Undergraduate Director at UND. Dr. Kerlin's research focuses on bridging industry experience with academic curriculum, particularly in computer science education, project-based learning, and cybersecurity. He emphasizes practical applications of theoretical concepts, such as integrating 3D printing and scanning technologies with security systems for small satellites. His work also explores student efficacy in AI courses and scalable software project management methodologies. He has taught at multiple institutions, including the University of Minnesota and Augsburg University, and held roles at Michigan Tech as Senior Security Engineer. His 2024 Engineering+ Outstanding Teaching Award highlights his commitment to pedagogical innovation. Current projects include in-space 3D printing, solar energy systems, and cryptographic solutions for satellite communications. Key areas of contribution include: 3D printing/Scanning: Material characterization, key replication, and aerospace applications Cybersecurity: Intrusion detection, satellite communications security, and chaotic cryptosystems Educational Innovation: Active learning frameworks, PBL implementation, and student performance modeling His interdisciplinary approach connects computer science fundamentals with real-world engineering challenges, emphasizing sustainability and industry relevance in curricula.
Miroslav Pajic serves as a Professor in the Department of Electrical and Computer Engineering at Duke University's Pratt School of Engineering. He also holds joint appointments as Associate Professor in the Thomas Lord Department of Mechanical Engineering and Materials Science and Associate Professor of Computer Science. As Director of Master's Studies, he oversees the graduate program in Electrical and Computer Engineering and teaches numerous courses spanning embedded systems, cyber-physical systems design, and robotics. Education: Ph.D. in Electrical and Computer Engineering from University of Pennsylvania (2012) Miroslav Pajic's research focuses on the design and analysis of cyber-physical systems (CPS) with varying levels of autonomy and human interaction. His work spans the intersection of embedded systems, artificial intelligence, machine learning, control theory, formal methods, and robotics. He specializes in developing high-assurance autonomous systems with applications in robotics, automotive systems, and medical devices, with particular emphasis on CPS security and resilient autonomy. His research addresses fundamental challenges in creating systems that can operate reliably in uncertain environments while maintaining security against potential cyber attacks. Analysis of Pajic's recent publications reveals a strong interdisciplinary research program bridging theoretical foundations with practical applications. His work spans secure sensor fusion for distributed autonomy, medical applications of CPS (particularly deep brain stimulation for neurological disorders), and innovative sensing technologies for autonomous vehicles. A significant portion of his research addresses security challenges in cyber-physical systems, including stealthy GPS attacks on UAVs and methods for attack-resilient state estimation. His publications increasingly integrate machine learning techniques with traditional control theory to create more adaptive and robust autonomous systems. Pajic actively mentors graduate students and leads research groups focused on cyber-physical systems security and high-assurance autonomy. His research is supported by multiple grants, including the NSF AI Institute for Edge Computing (Athena), which he co-leads. He has received funding from various sources to support his work on secure and resilient cyber-physical systems, medical device security, and autonomous vehicle technologies. Pajic collaborates extensively with medical researchers on applications of cyber-physical systems in healthcare, particularly in deep brain stimulation for neurological disorders. His work bridges the gap between theoretical control systems and practical implementations in safety-critical domains, with a growing emphasis on translating research into real-world applications that improve system security and reliability.
Yuan Tian is an Assistant Professor in the School of Computing at Queen's University, Faculty of Arts and Science. She holds a PhD in Information Systems from Singapore Management University (2017) and a B.Sc. in Computer Science from Zhejiang University (2012). Her research focuses on integrating heterogeneous data sources to enhance software engineering practices, including data mining, recommender systems, and social network analysis. Prior to Queen's, she was a data scientist at Living Analytics Research Centre (LARC), SMU. She has held visiting positions at Carnegie Mellon University, INRIA Paris, and SAIL Canada. Research Interests: Data Mining Software Engineering Social Network Analysis Information Retrieval Recommender Systems Computer Security Recent Research Trends: Her work emphasizes AI-driven solutions for software bug management, code translation, vulnerability detection, and developer behavior analysis. Notable contributions include leveraging LLMs for technical debt repayment and enhancing code vulnerability detection via Graph Neural Networks. Awards: SMU Presidential Doctoral Fellowship (2015-2016) Best Paper Award at SANER 2017 Grants & Advising: No formal advisees listed, but active in collaborative projects with industry and academic partners. Labs/Teams: Previously associated with SOAR Group at SMU and currently leads research in Queen's School of Computing.
Uwe Zdun is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice-Director of Studies for Computer Science and Head of the Research Group Software Architecture. His teaching portfolio includes core courses such as Software Engineering 2, Advanced Software Engineering, and Practical Software Courses for Bachelor's and Master's theses across multiple semesters (2024W-2025S). His research spans software architecture with emphasis on microservices, cloud computing, and DevOps. Key focus areas include architectural design decisions, infrastructure-as-code conformance, security in distributed systems, and the integration of machine learning operations (MLOps/RLOps). He investigates cognitive aspects of architecture practices through controlled experiments and develops model-driven approaches for quality assessment in complex systems. Recent publications (2024-2026) reveal three dominant trends: (1) Security and coupling analysis in infrastructure-as-code deployments, (2) MLOps/RLOps integration for Industry 4.0 cyber-physical systems, and (3) Performance optimization patterns for CI/CD pipelines and autoscaling. His work bridges theoretical architecture models with industrial practice, particularly in microservice ecosystems and reinforcement learning applications. Professor Zdun leads the Research Group Software Architecture at the University of Vienna's Faculty of Computer Science. The group focuses on empirical validation of architectural patterns, tool development for conformance checking, and advancing design decision methodologies in cloud-native and AI-driven systems.
Yepang Liu is a tenured Associate Professor in the Department of Computer Science and Engineering at Southern University of Science and Technology (SUSTech) in Shenzhen, China. He leads the Software Quality Lab and serves as director of the Trustworthy Software Research Center within the Research Institute of Trustworthy Autonomous Systems. His educational background includes a B.Sc. with honors from Nanjing University (2010) and a Ph.D. from the Hong Kong University of Science and Technology (2015), where he was supervised by Prof. Shing-Chi Cheung. Prior to joining SUSTech, he worked as a postdoc at HKUST's CASTLE Lab and Cybersecurity Lab. Liu's research primarily focuses on software testing and analysis, empirical software engineering, AI for SE, software security, and trustworthy AI. His work bridges traditional software engineering with cutting-edge AI technologies, particularly in automated testing, security analysis, and quality assurance for mobile, blockchain, and extended reality applications. Recent projects explore how large language models can enhance bug detection, improve testing automation, and address fairness issues in machine learning systems. His contributions have been recognized with three ACM SIGSOFT Distinguished Paper awards (ICSE 2021, ASE 2016, ICSE 2014) and one Distinguished Artifact award (ICSE 2019). He has also received the ACM SIGSOFT Service Award and Distinguished Reviewer Award for his extensive service to the software engineering community. Top-10 Most Active Early-Stage Software Engineering Researcher (2013-2020) Top-10 Most Popular Instructor Among 2024 Undergraduate Graduates at SUSTech Junior Faculty of the Year (2021) SUSTech Teaching Excellence Award (2021) Outstanding Mentor Award (2020, 2024) Liu actively serves on the editorial boards of Empirical Software Engineering (EMSE) and Journal of Computer Science and Technology (JCST). He has participated in over 80 conference committees including leadership roles in ICSE, FSE, ASE, and ISSTA. His research is supported by the National Natural Science Foundation of China, National Key Research and Development Program, and leading Chinese IT companies. He regularly mentors PhD and MSc students and has guided multiple national competition award-winning teams. The Software Quality Lab under Liu's direction focuses on innovative approaches to software testing, security analysis, and quality assurance across various platforms including mobile, blockchain, and extended reality applications. Current projects emphasize the integration of AI techniques with traditional software engineering practices to address emerging challenges in software quality.
Noura Limam is a Research Assistant Professor at the University of Waterloo's Cheriton School of Computer Science. Her research spans network operations, with emphases on software-defined networking (SDN), 5G/6G architectures, network security, and autonomous network management. Recent work focuses on AI-driven solutions for encrypted traffic analysis, network slicing security, and satellite communication systems. She develops frameworks like Monarch for network slice monitoring and 5Guard for secure slicing. Contributions include blockchain-assisted authentication protocols, meta-reinforcement learning for threat mitigation, and novel handover mechanisms for non-terrestrial networks. Her publications demonstrate consistent innovation in making networks more adaptive, secure, and efficient.
Dr. Joseph Moore is an Assistant Professor in the Department of Mechanical Engineering at Johns Hopkins University (JHU), serving as Director of the Agile and Intelligent Robotics (AIRO) Laboratory. He is affiliated with the Laboratory for Computational Sensing and Robotics (LCSR), the Institute for Assured Autonomy (IAA), and holds a Bridging Faculty appointment in the Research and Exploratory Development Department (REDD) at JHU/APL. His research focuses on computational control, machine learning, and robotics to enable agile systems operating in complex environments. Dr. Moore previously served as Robotics Group Chief Scientist at JHU/APL, leading projects on hybrid unmanned aerial-aquatic vehicles and aerobatic fixed-wing systems. He has secured funding as Principal Investigator (PI) for ONR, DARPA, and ARL programs, particularly in post-stall maneuvering control and multi-robot coordination. His work emphasizes robust control strategies for autonomous systems in constrained environments. Research interests include aerial robotics, optimization, and learning-based control. Notable contributions involve NMPC-based systems, UAV navigation, and adaptive control for uncertain environments. His recent articles highlight advancements in swarm coordination, morphing-wing UAVs, and PAC-NMPC frameworks. Dr. Moore advises students such as Mark Gonzales and Adam Polevoy. Key grants include ONR/DARPA-funded projects on post-stall flight control and Army-funded multi-robot coordination efforts. His lab (AIRO) and collaborations (LCSR, IAA) drive applied and theoretical robotics research.
Professor Hakan Ali Çırpan is a distinguished faculty member at Istanbul Technical University's Faculty of Electrical and Electronics Engineering, where he serves as Professor in the Department of Electronics and Communication Engineering. He also holds the position of Vice Dean at Istanbul Technical University since 2021. With over three decades of academic experience, Professor Çırpan has established himself as a leading researcher in signal processing and communications. His educational background includes: PhD from Stevens Institute of Technology (1993-1997) Master's degree in Electrical-Electronic Engineering (with thesis) from Istanbul University (1989-1992) Bachelor's degree in Electrical and Electronic Engineering from Uludağ University (1985-1989) Professor Çırpan's research spans multiple domains within signal processing and communications. His primary interests include wireless communications, radar systems, machine learning applications in communications, and electronic warfare. His work on channel estimation, orthogonal frequency division multiplexing, and maximum likelihood methods has been particularly influential. He has pioneered research in areas such as source localization, spectrum sensing, and physical layer security. His recent work focuses on 5G/6G networks, AI-enhanced communications, and integrated sensing and communication systems. Analysis of his recent publications (2023-2025) reveals a strong focus on next-generation wireless technologies, particularly 5G/6G networks, AI integration in communications, and electronic warfare applications. His research demonstrates a consistent pattern of addressing fundamental challenges in signal processing while adapting to emerging technological needs. A significant portion of his recent work involves machine learning applications for spectrum management, optimization techniques for radar systems, and novel approaches to network slicing and resource allocation. His notable scientific achievements include: ASELSAN ACADEMY THESIS COMPETITION WINNER (2020) Professor Çırpan has supervised 59 theses throughout his career, mentoring numerous graduate students in the fields of signal processing and communications. He has secured significant research funding, including the "AI-Enhanced 5G/6G Networks with Integrated Camera and ISAC Systems" project (2023-2024) and the "Railway Vehicle Infrastructure New Generation Secure Communication Systems" TÜBİTAK project with a budget of ₺955,000. His research has practical applications in defense systems, railway communications, and next-generation wireless networks. His laboratory work focuses on wireless communications systems, radar signal processing, and AI-enhanced communication technologies. Professor Çırpan leads research teams working on projects related to 5G/6G networks, electronic warfare countermeasures, and secure communication systems. His group collaborates with industry partners like ASELSAN and conducts research with practical applications in national defense and critical infrastructure.
