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.
Kaki Ryan is a Teaching Assistant Professor at the Department of Computer Science, University of North Carolina at Chapel Hill. She holds a Ph.D. (2025), M.S. (2021), and B.S. (2020) from UNC, with a minor in AAAD. Her research focuses on hardware security, symbolic execution, and computer science education. Education Ph.D., 2025, UNC-Chapel Hill M.S., 2021, UNC-Chapel Hill B.S., 2020, UNC-Chapel Hill (Computer Science and Mathematics) Ryan's research centers on hardware security, particularly using symbolic execution to identify bugs and vulnerabilities in hardware designs. She also emphasizes broadening participation in computing and improving pedagogical strategies in computer science education. Her recent publications (2023-2025) explore symbolic execution techniques for hardware security verification, including query caching, information flow analysis, and path explosion mitigation. These works span conferences like ASPLOS, VTS, FMCAD, and workshops such as HASP. Scientific Awards John M. Glotzer Graduate Teaching Assistant Award (2020-2021) Tanner Award for Excellence in Undergraduate Teaching (2022) As an educator, Ryan has served as Instructor of Record for COMP 435 (Computer Security Concepts) and COMP 311 (Computer Organization) in Fall 2025. She has extensive teaching experience as a Graduate Teaching Assistant, Head Teaching Assistant, and Undergraduate Teaching Assistant for courses like COMP 210, COMP 110, and COMP 435, with a focus on data structures, security concepts, and programming fundamentals.
Kenneth P. Birman is the N. Rama Rao Professor of Computer Science at Cornell University, where he has had a long and impactful career in distributed systems, cloud computing, and AI/ML infrastructure. He is known for foundational contributions to reliable and scalable distributed systems, and for leading high-impact projects such as Cascade, Vortex, and Derecho. He is also the author of a widely used textbook on reliable distributed systems and has founded multiple companies based on his research. Education: Ph.D. in Computer Science, University of California, Berkeley M.S. in Computer Science, University of California, Berkeley B.A. in Computer Science, Columbia University Research Interests: Professor Birman's research focuses on building reliable, secure, and scalable distributed systems . His current emphasis is on AI and ML infrastructure , particularly in reducing latency and improving performance through hardware acceleration, RDMA-based communication, and edge computing. He explores how to eliminate data movement bottlenecks in AI pipelines and how to support real-time, mission-critical applications in domains like healthcare, smart grids, and industrial IoT. His work spans systems programming, cloud computing, fault tolerance, and formal verification . He has designed systems that have been deployed in high-stakes environments such as the New York Stock Exchange, the Swiss Exchange, and the French Air Traffic Control system. Scientific Awards: ACM Fellow (1999) IEEE Fellow (2014) IEEE Tsutomu Kanai Award for innovations in distributed computing Teaching and Mentorship: Professor Birman teaches two courses in the fall semester: CS4414: Systems Programming and CS5416: Cloud and ML Systems Programming . He has advised numerous Ph.D. and M.S. students, including Alicia Yang, Tiancheng Yuan, Yifan Wang, Weijia Song, Edward Tremel, Sagar Jha, Jonathan Behrens, and Mae Milano. He has announced that Fall 2025 will be his last semester teaching, and he is no longer recruiting new students, though he will continue supervising current ones. Labs and Projects: He leads the Derecho Project and the Cascade/Vortex Project , both focused on high-performance distributed systems. These projects are collaborative efforts with students and industry partners, and the software is released under open-source licenses. He also maintains strong ties with Cornell's systems group and collaborates with faculty across CS, ECE, IS, and the Cornell Tech NYC campus.
Sıtkı Egeli is an Associate Professor at the Department of Political Science and International Relations at İzmir University of Economics since 2015. With a PhD in International Relations from Bilkent University, an MA in Security Studies from University of Chicago, and a BA in Political Science from Boğaziçi University, he specializes in defense policy, security studies, and military technology. PhD: Bilkent University, International Relations (1993-1999) MA: University of Chicago, Security Studies (1988-1991) BA: Boğaziçi University, Political Science (1983-1988) His research focuses on weapons of mass destruction proliferation , air and missile defense , nuclear deterrence , space security , and disruptive military technologies . His publications analyze Turkish defense industrialization, Arctic geopolitics, and strategic stability in aerospace warfare contexts. Recent collaborative work (2017-2025) spans: • Balancing defense autarky (2025) • Arctic region involvement (2022) • Historical air power development (2021) • Military space operations (2021) • Turkish missile defense (2019) • Ballistic missile programs (2017)
Prof. Srdjan Capkun is a Full Professor in the Department of Computer Science at ETH Zurich and Director of the Zurich Information Security and Privacy Center (ZISC). He holds a Dipl.Ing. from the University of Split (1998) and a Ph.D. from EPFL (2004). His research focuses on system and network security, including wireless security (e.g., secure positioning), trusted computing, blockchain technologies, and privacy-preserving systems. He co-founded 3db Access (acquired by Infineon) and Sound-Proof, addressing secure distance measurement and authentication. Notable achievements include an ERC Consolidator Grant (2016), ACM Fellowship, and IEEE Fellowship. Education: Dipl.Ing., Electrical Engineering / Computer Science, University of Split, 1998 Ph.D., Communication Systems, EPFL, 2004 Research Interests: Wireless security (e.g., UWB, GNSS, cellular) Trusted execution environments (TEEs) Blockchain and cryptocurrency systems Privacy-preserving technologies Awards & Grants: ERC Consolidator Grant (2016) ACM Fellow and IEEE Fellow Leadership of ZISC Advising & Labs: Leads the System Security Group at ETH Zurich Guided postdoctoral researchers and graduate students in security and privacy Companies: 3db Access (secure distance measurement) Futurae (online authentication)
Andrea Coladangelo is an Assistant Professor at the Allen School of Computer Science & Engineering , University of Washington , co-leading the Quantum group and contributing to the Theory and Crypto groups. He coordinates the NSF-funded Quantum@UW REU program , fostering undergraduate research in quantum information. Previously, he was a postdoctoral researcher at UC Berkeley and the Simons Institute , advised by Umesh Vazirani , following a PhD in Computer Science at Caltech under Thomas Vidick . His academic journey began with a B.A. in Mathematics from Oxford and a Master in Mathematics from Cambridge . He co-founded qBraid , a platform for quantum computing education. Research Interests : Andrea explores the intersection of quantum computation and cryptography , focusing on foundational questions in entanglement , quantum correlations , and quantum learning theory . His work investigates quantum pseudorandomness , device-independent security , quantum algorithms , and quantum copy-protection , often leveraging computational assumptions to bridge quantum information theory with cryptographic applications. Scientific Awards : 2025 Google Research Scholar Program Award in Quantum Computing 2023 CSE Undergraduate Teaching Award for his course on quantum computation 2019 Best Student Paper Award at QIP Teaching & Outreach : Andrea designed and taught CSE 434: Intro to Quantum Computation (Spring 2023, 2024, 2025), CSE 534: Quantum Information and Computation (Autumn 2023), and CSE 599C: Quantum Learning Theory (Winter 2025). He also delivered lectures at the 22nd Bellairs Crypto Workshop (2024) and led a quantum programming tutorial using qBraid . Labs & Teams : As co-leader of the Quantum group at the Allen School, he collaborates with researchers in Theory and Crypto , advancing quantum computing through interdisciplinary projects and educational initiatives.
Alessio Lomuscio is a Professor of Safe Artificial Intelligence at Imperial College London, holding the prestigious Royal Academy of Engineering Chair in Emerging Technologies and recognized as an ACM Distinguished Member. He leads the Safe AI Lab, which focuses on developing methods and tools for the verification of AI systems to ensure their safe and secure deployment in applications of societal importance. His research spans verification and robust learning for neural networks and decision trees, robust machine learning in aviation and finance, monitoring of machine learning systems, assurance for autonomous systems and AI, and verification and validation of neuro-symbolic systems. Lomuscio has made significant contributions to formal verification methods for AI systems, particularly in the context of safety-critical applications. His recent publications demonstrate a strong focus on neural network verification techniques, with applications across multiple domains including finance, aviation, and autonomous systems. His work bridges theoretical advances in formal methods with practical applications in real-world AI systems, addressing critical challenges in AI safety and trustworthiness. Scientific Awards: Royal Academy of Engineering Chair in Emerging Technologies ACM Distinguished Member Lomuscio has served in numerous leadership roles, including as Co-Director (2023-present) and Deputy Director (2019-2023) of the UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence. He has also held positions as Director of Strategy and Planning (2017-2020), Member of Management Committee (2013-2020), and Deputy Head of Department (2016-2017). His editorial service includes roles as Associate Editor for Artificial Intelligence Journal and Editorial Board Member for Journal of Artificial Intelligence Research and Journal of Autonomous Agents and Multi-agent Systems. His research group actively mentors students and researchers, with current openings for PhD and postdoctoral positions focused on AI verification and safety. Lomuscio's work has established him as a leading figure in the field of safe and verifiable AI systems, with significant contributions to both theoretical foundations and practical applications.
Moe Z. Win is the Robert R. Taylor Professor at the Massachusetts Institute of Technology (MIT), specializing in wireless communications, optical communications, and space communications systems. His research bridges theoretical and applied domains, including quantum sensing, network localization, and signal processing. B.S.E.E., Texas A&M (1987) M.S.E.E. & Ph.D., University of Southern California (1989, 1998) Recent work focuses on quantum-enhanced positioning, machine learning for localization, and next-generation (xG) non-terrestrial networks. He leads research at the Quantum neXus Laboratory (QX Lab), Wireless Information & Network Sciences Lab, and Laboratory for Information and Decision Systems. His career spans the Jet Propulsion Laboratory (1987-1995) and AT&T Research Laboratories (1998-2002). Key methodologies include soft information fusion, variational quantum sensing, and robust beam tracking for terahertz communications.
Kaiyuan Yang is an Associate Professor in the Department of Electrical and Computer Engineering at Rice University, leading the Secure and Intelligent Micro-Systems (SIMS) Lab. His research focuses on low-power integrated circuits and bioelectronic implants for applications like the Internet of Everything and medical devices. He holds a B.S. from Tsinghua University (2012) and M.S./Ph.D. degrees from the University of Michigan (2017). Research Interests: Low-power digital/analog/mixed-signal systems Bioelectronics and implantable devices Hardware security and PUF design Mixed-signal computing and emerging materials Recent work emphasizes magnetoelectric-powered implants, secure backscatter communication, and in-memory computing architectures. His publications span top venues like IEEE ISSCC, IEDM, and ACM MobiCom. Awards: 2022 NSF CAREER Award 2022 IEEE Top Picks in Hardware Security 2016 IEEE SSCS Predoctoral Achievement Award Dr. Yang serves on editorial boards for IEEE TVLSI and program committees for ISSCC/CICC. His lab develops miniature, secure, and energy-efficient systems for healthcare and IoT applications.
Kamalika Chaudhuri is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD), and also serves as a Director and Research Scientist with the FAIR team at Meta AI. Her research focuses on the foundations of trustworthy machine learning, including robust machine learning, learning with privacy, and out-of-distribution generalization. Dr. Chaudhuri has earned her PhD from UC Berkeley in 2007 with a dissertation on "Learning Mixtures of Distributions." Her academic journey has led her to become a leading researcher in machine learning theory with a particular emphasis on privacy and robustness. Her research interests span machine learning foundations with a strong focus on trustworthy AI . She investigates problems at the intersection of differential privacy , adversarial robustness , and out-of-distribution generalization . Her work addresses critical challenges in developing machine learning systems that maintain privacy while preserving utility, resist adversarial attacks, and generalize effectively beyond training data distributions. She has pioneered approaches in privacy-preserving machine learning, robust learning theory, and methods for detecting and mitigating data memorization in models. An analysis of her recent publications (2024-2025) reveals a strong focus on the intersection of privacy, security, and machine learning. Her work spans differential privacy mechanisms, membership inference attacks, memorization detection, and fairness certification. She has been particularly active in developing methods for privacy-preserving foundation models, with several papers on differentially private computer vision and language models. Her research demonstrates a consistent thread of addressing fundamental challenges in trustworthy AI while developing practical solutions that balance privacy, accuracy, and utility. Best Award at the ICLR 2024 Workshop on Privacy Regulation and Protection in Machine Learning Distinguished Paper Award at IEEE Conference on Secure and Trustworthy Machine Learning (SaTML), 2024 Dr. Chaudhuri has advised numerous PhD students who have gone on to prominent positions at Google, DeepMind, Microsoft Research, and other leading AI institutions. Her group maintains an active research blog with guest posts from UCSD researchers. She has served in significant leadership roles including General Chair for ICML 2022 and Program Co-Chair for both ICML 2019 and AISTATS 2019, where she pioneered initiatives to improve reproducibility in machine learning research. Her research group at UCSD focuses on trustworthy machine learning, with current projects spanning privacy-preserving AI, robustness against adversarial attacks, and methods for ensuring reliable out-of-distribution generalization. The group collaborates closely with the FAIR team at Meta AI, where Dr. Chaudhuri serves as a Research Scientist.
Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.
Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.
Eytan Adar is a Professor of Information and Computer Science at the University of Michigan, holding dual appointments in the School of Information and the College of Engineering's Electrical Engineering and Computer Science department. His work sits at the intersection of human-computer interaction and artificial intelligence, focusing on large-scale systems analysis and novel interface design. Adar's research spans multiple domains including social media analysis (Twitter, Reddit), academic citation networks, meme propagation, information extraction, and political networks. His methodological expertise includes data mining, data visualization, and graph-based network analysis. His work often operates at internet scale, examining language, creativity, social network dynamics, and text production. His recent publications reveal a strong focus on AI-human collaboration, with particular attention to generative AI interfaces, visualization techniques for complex data, and ethical considerations in AI systems. His work shows a consistent pattern of bridging theoretical insights with practical system implementations. Best Paper Award at ProtoAI: Model-Informed Prototyping for AI-Powered Interfaces, IUI'21 Honorable Mention Award at CHI'24 for feminist interaction techniques research Best Paper Award at ICWSM'18 for Wikipedia language edition analysis Best Paper Award at ICML 2016 Workshop for neural language model visualization Best Student Paper at WSDM'09 for web dynamics research Best of CHI at CHI 2008 for web revisitation patterns analysis Adar has advised numerous PhD students who have gone on to prominent positions at organizations including Google, Apple, RAND, Northwestern University, and Stanford. His research is generously supported by the NSF, IARPA, NIH, the Education Department, and major technology companies including Adobe, Microsoft, Facebook, Google, and Yahoo. He is also a founder of the International Conference on Web and Social Media (ICWSM) and has served as Co-General Chair for WSDM and Co-Program Chair for UIST.
Eric Wong is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania, affiliated with the ASSET Center and leading the Brachio Lab. His research focuses on robust and reliable machine learning, including model debugging, adversarial robustness, and explainable AI. He holds a PhD from Carnegie Mellon University (CMU), advised by J. Zico Kolter, and completed a postdoc with Aleksander Madry. His work bridges theory and practice, addressing challenges in model interpretability, safety, and scalability. Teaching includes CIS 5200 (Machine Learning), CIS 3333 (Mathematics for Machine Learning), and a specialized course on debugging ML pipelines. Notable contributions include the FIX Benchmark for interpretable features and defenses against LLM jailbreaking attacks. He received an Amazon Research Award in 2024 and has published extensively in top conferences like ICML, NeurIPS, and ICLR. Affiliations: University of Pennsylvania (CIS), ASSET Center, Brachio Lab Education: PhD in Machine Learning (CMU), Postdoc at MIT Key Projects: FIX Benchmark, DOLPHIN framework, SmoothLLM defense Awards: Amazon Research Award (2024) Lab Focus: Safe AI, model debugging, neurosymbolic learning
Min Yen Kan is an Associate Professor and Vice Dean of Undergraduate Studies at the National University of Singapore's School of Computing, Department of Computer Science. With a PhD from Columbia University (2002), he leads the Web Information Retrieval / Natural Language Processing Group (WING.NUS) and serves as ACL Ethics Committee co-chair. His research spans Natural Language Processing , Large Language Models , Digital Libraries , and Information Retrieval , with specific focus on scientific discourse analysis, fact verification, and multimodal systems. Current projects include Scholarly Document Information Extraction (TRL 6), Task-Oriented Dialogue Systems (TRL 4), and Recommendation Systems (TRL 5). Recent publications reveal strong trends in LLM limitations (bias, hallucination, evaluation), conversational recommendation systems , and misinformation detection . His work consistently bridges theoretical NLP with real-world applications in digital libraries and scientific communication. Award highlights include: CIKM 2019 Best Paper Award ACL Distinguished Service Awards Vannevar Bush Best Paper Award (JCDL 2012) ACM Distinguished Speaker designation Kan mentors PhD students with placements at Google and USTC, and serves as associate editor for Information Retrieval and survey editor for Journal of AI Research . His lab WING.NUS develops practical tools like SciWING for scientific document processing and FANG for fake news detection. Media engagements include commentary on AI regulations in Southeast Asia and workforce implications in the AI era.
