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.
Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.
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.
Bryon Aragam is an Associate Professor of Econometrics and Statistics and Robert H. Topel Faculty Scholar at the University of Chicago Booth School of Business. His research focuses on the intersection of causality, statistical machine learning, and probabilistic modeling, with particular emphasis on applications to artificial intelligence systems including large language models like ChatGPT and generative models like DALL-E. Dr. Aragam completed his PhD in Statistics and a Masters in Applied Mathematics at UCLA, where he was an NSF graduate research fellow. Prior to joining the University of Chicago, he was a project scientist and postdoctoral researcher in the Machine Learning Department at Carnegie Mellon University. Research Focus: Causal structure learning in probabilistic generative models Key Areas: Causal machine learning, deep generative models, latent variable models, statistical learning theory Applications: AI interpretability, ethics, and fairness in artificial intelligence systems Teaching: Business Statistics, Econometrics and Statistics Colloquium His recent publications demonstrate a strong theoretical foundation combined with practical applications, particularly in understanding and improving AI systems. His work spans causal discovery, graphical models, deep learning, and latent variable modeling, with particular attention to the theoretical properties of these methods and their applications to real-world AI challenges. The research shows a progression toward increasingly complex problems in causal representation learning and AI interpretability. Scientific Awards: Robert H. Topel Faculty Scholar NSF Graduate Research Fellow Dr. Aragam's work has been published in top statistics and machine learning venues including the Annals of Statistics, Neural Information Processing Systems (NeurIPS), the International Conference on Machine Learning (ICML), and the Journal of Machine Learning Research (JMLR). His research group publishes broadly across both statistical and machine learning communities, demonstrating the interdisciplinary nature of his work at the intersection of statistics, machine learning, and causal inference. As a data science consultant for technology and marketing firms, Dr. Aragam has applied his expertise to problems in survey design, customer retention, logistics, and ranking, bridging the gap between theoretical research and practical applications.
David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.
Heiner Litz is an Associate Professor in the Computer Science & Engineering Department at UC Santa Cruz's Baskin School of Engineering. He holds the Kumar Malavalli Endowed Chair of Storage Systems Research and serves as Director of the Center for Research in Storage Systems (CRSS). He is also a member of UCSC's Hardware Systems Collective (HSC). Litz earned his PhD from Mannheim University and previously held positions at MIT, Google, and Stanford University. His research focuses on computer architecture and systems optimization , specifically improving hardware-software interfaces for data center workloads. Key areas include microarchitectural mechanisms (branch prediction, prefetching, cache design), profile-guided optimizations, and storage/disaggregated memory systems. His work bridges compiler techniques and hardware efficiency for emerging cloud applications. Recent publications emphasize profile-guided optimization across microarchitecture layers, storage scalability, and resource allocation in distributed systems. Trends include hardware-software co-design for data centers, RDMA-based protocols, and real-time control systems. Awards & Honors: Kumar Malavalli Endowed Chair of Storage Systems Research Best Paper Award at MICRO (2022) IEEE Micro Top Picks (2019, 2023) Best Paper Awards at ICPP (2008) and ARC (2009) Advising & Grants: He currently advises 11 PhD students and has graduated 8 MS/PhD students. Research is supported by NSF, Intel, Samsung, Google, Meta, Nutanix, HPE, ARM, Marvell, Cerabyte, Western Digital, and Broadcom. Labs & Teams: Directs CRSS, focusing on storage systems innovation, and collaborates with HSC on hardware-software integration projects.
Andrew Warfield is an Adjunct Professor in the Department of Computer Science at the University of British Columbia (UBC) and a Senior Principal Engineer at Amazon. His research focuses on computer systems software, including virtualization, distributed storage, security, and high-availability systems. He previously held roles as Associate Professor at UBC, CTO at Coho Data, and Technical Director at Citrix Systems. His work has led to projects like Remus (high-availability replication), Tralfamadore (execution analysis), and secure hypervisor development with Xen. Warfield's education includes a PhD from the University of Cambridge's Computer Laboratory, where he researched I/O device virtualization under Steven Hand. He has held visiting roles at Intel Research Cambridge and internships at AT&T Research and Nortel Networks. Research Grants: Supported by Intel Research, NSERC, Network Appliance, and the Communications Security Establishment. Professional Activities: Technical Advisory Board Member at Teradici, and involvement in program committees for conferences like HotOS, EuroSys, and FAST. His research emphasizes practical systems, aiming to bridge the gap between theoretical computer science and real-world applications. Notable contributions include innovations in storage for virtualized environments, secure hypervisor architectures, and disaster-tolerant systems like SecondSite. Warfield is affiliated with UBC's Department of Computer Science and maintains active collaboration with industry partners. Though currently not actively recruiting students, his prior mentorship has influenced many in systems research.
Ion Stoica is a Professor in the Electrical Engineering and Computer Sciences Department at the University of California, Berkeley, where he holds the Xu Bao Chancellor Chair. He serves as Director of the Sky Computing Lab and is Executive Chairman of both Databricks and Anyscale. His research spans distributed systems, cloud computing, and AI systems, with significant contributions to large-scale data processing frameworks. Stoica's research interests focus on the intersection of AI and systems, with emphasis on developing practical implementations that bridge theoretical foundations with real-world deployability. His work addresses fundamental challenges in distributed computing, resource management, and large-scale machine learning systems. Current projects include Ray (a distributed execution framework), vLLM (a high-throughput inference engine for LLMs), Chatbot Arena (an open platform for human preference evaluations), and SkyPilot (a framework for running AI workloads across clouds). His research output demonstrates a consistent trajectory toward more efficient, scalable systems for modern AI workloads, particularly focusing on optimizing inference performance, resource utilization, and cross-cloud deployment. Recent publications reflect growing interest in large language model serving, video generation optimization, and agent-based systems. ACM Fellow SIGOPS Hall of Fame Award (2015) SIGCOMM Test of Time Award (2011) ACM Doctoral Dissertation Award (2001) Member of National Academy of Engineering Honorary Member of the Romanian Academy Stoica has advised an extensive number of doctoral students who have gone on to prominent positions in academia and industry, including assistant professorships at Stanford, MIT, Carnegie Mellon, and other top institutions. He has received significant research funding through his lab activities and startup ventures. His research group has been particularly successful in translating academic research into widely adopted open-source technologies and commercial products. Stoica leads the Sky Computing Lab at UC Berkeley, which focuses on developing systems for AI workloads across multiple clouds. His research group has produced numerous influential open-source projects including Apache Spark, Apache Mesos, and Alluxio, which have become industry standards for large-scale data processing. The lab maintains strong industry partnerships while pursuing fundamental research in distributed systems and AI infrastructure.
Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore , specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell. Co-chair of the W3C WebAssembly Community Group Active in WebAssembly standards development, including concurrency specifications Developed mechanizations in theorem provers like Isabelle/HOL Collaborator with industry (wasmtime engine) and academic teams on verification tools Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects. Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques. Scientific Awards ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.
Lin Zhong is the Joseph C. Tsai Professor of Computer Science at Yale University, leading the Efficient Computing Lab. He holds a Ph.D. from Princeton University and M.S./B.S. degrees from Tsinghua University. Previously, he served at Rice University from 2005 to 2019. His research focuses on optimizing computing efficiency, quantum error correction, operating systems, and mobile systems. Education: Ph.D., Princeton University M.S., Tsinghua University B.S., Tsinghua University Research Interests: His work spans quantum computing (e.g., decoding algorithms for surface codes), operating systems (safety, correctness, and lightweight kernels), and mobile/networking systems (massive MIMO, energy-efficient designs). Recent trends include integrating large language models (LLMs) into robotics and securing cloud-based AI workflows. Awards: NSF CAREER Award ACM SIGMOBILE RockStar (2014) and Test of Time (2022) Fellowships from IEEE and ACM Best Paper Awards at ACM MobileHCI, IEEE PerCom, ACM MobiSys, and more Lab & Teams: His Efficient Computing Lab explores systems for quantum error correction (e.g., FPGA-based decoders), secure embedded systems, and LLM-driven robotics. Projects include TimelyLLM (real-time LLM serving) and Blindfold (confidential memory management).
Inseok Hwang is the Paul Stanley Professor of Aeronautics and Astronautics at Purdue University's School of Aeronautics and Astronautics. He earned his Ph.D. from Stanford University, specializing in multiple-vehicle control systems. His research focuses on hybrid systems, air traffic control, unmanned systems, and cybersecurity of cyber-physical systems. He leads the Flight Dynamics and Control/Hybrid Systems Laboratory and has received numerous awards, including the NSF CAREER Award and AIAA Associate Fellow designation. His work spans theoretical advancements in control theory and practical applications in aerospace systems. He has over 150 peer-reviewed publications and actively collaborates with industry and government agencies like NASA and the FAA. Education: B.S. (Seoul National University, 1992), M.S. (KAIST, 1994), Ph.D. (Stanford, 2004). Professional memberships include AIAA and IEEE. Research Interests: Hybrid systems analysis, air traffic surveillance and control, fault detection and isolation, spacecraft control, and cybersecurity for autonomous systems. His lab develops algorithms for safe and efficient operation of networked systems, including UAS traffic management and resilient control protocols against cyberattacks. Awards: NSF CAREER (2008), AIAA Associate Fellow (2012), University Faculty Scholar (2017), C.T. Sun Award (2019), multiple Seed for Success Awards (2020–2024), and Paul Stanley Professorship (2024). Grants and Collaborations: Active projects funded by NSF, NASA, FAA, and industry partners. Focus areas include resilient navigation, anomaly detection in air traffic systems, and cyberattack mitigation for autonomous vehicles.
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.
Maurice Heemels is a Full Professor at Eindhoven University of Technology (TU/e), leading the Control Systems Technology group. He holds additional professorships in EAISI Mobility, EAISI Foundational, EAISI Health, and EAISI High Tech Systems. His research focuses on hybrid and networked systems, emphasizing resource-aware control, event-triggered strategies, and cyber-physical systems integration. He is an IEEE Fellow and chairs the IFAC Technical Committee on Networked Systems. Academic Background: MSc and PhD in Mathematics (TU/e, 1995 and 1999, both summa cum laude ) Visiting Professorships: ETH Zurich (2001), UC Santa Barbara (2008) Industry Experience: Research & Development at Océ NV Research Interests: Hybrid Systems, Networked Control, Event-Triggered Control Model Predictive Control (MPC) in healthcare and high-tech systems Cyber-Physical Systems for applications like lithography and precision agriculture Key Contributions: Developed Hybrid Integrator-Gain (HIGS) systems and Projection-Based Control methodologies Recipient of a VICI Grant for wireless control systems research Oversaw over €7M in research funding from NWO, EU, and industry Awards & Recognition: Automatica Outstanding Service Award (2014) Best Paper Awards (EBCCSP 2017, etc.) Invited Keynote Speaker at ECC, CDC, and others Grants & Projects: Current Projects: COMEDI (Cost-effective Mechatronics), PROACTHIS (Projection-based Control) Past Projects: Fault Detection in Wafer Scanners, Drone-based Farming Labs & Teams: Active in TU/e’s Cyber-Physical Systems and Systems Engineering research groups, collaborating globally on nonsmooth dynamics and hybrid systems.
Dr. Jia Rao is an Associate Professor in the Department of Computer Science and Engineering at the University of Texas at Arlington, College of Engineering. He previously served as an Assistant Professor at the University of Colorado, Colorado Springs from 2012 to 2016. His research spans operating systems, distributed and parallel computing, cloud computing, virtualization, and machine learning. Education: Ph.D., Computer Engineering, Wayne State University, 2011 M.S., Computer Science, Wuhan University, 2006 B.S., Computer Science, Wuhan University, 2004 Dr. Rao's research focuses on building adaptive, scalable, and efficient computer systems for cloud and data center environments. His interests include resource management, performance modeling, adaptive scheduling, and quality-of-service (QoS) guarantees in virtualized and containerized systems. He combines machine learning and feedback control techniques with low-level system design to improve efficiency, fairness, and predictability in heterogeneous and multi-tenant environments. An analysis of his recent publications reveals a strong trend toward memory and resource management innovations in cloud-native systems. His work explores tiered memory architectures, secure container deployment, preemptive multitasking for deep learning, and efficient packet processing in container networks. These efforts reflect a consistent focus on optimizing system-level performance, security, and scalability in modern data centers. Scientific Awards: NSF CAREER Award (2019) Best Paper Award, APSys (2016) Best Paper Award, ICAC (2013) Best Paper Nomination, HPCA (2013) Best Paper Nomination, HPDC (2013) Best Paper Award, Middleware (2021) Researcher of the Year, UCCS (2014) Dr. Rao actively advises students and serves on dissertation and thesis committees for numerous Ph.D. and Master’s candidates. He leads federally funded research projects supported by the National Science Foundation, including a major CAREER grant on virtualized architectures and collaborative big data initiatives. His research has been sponsored by NSF, IEEE, and Intel Corporation, reflecting strong industry and academic collaboration. He leads and contributes to major research labs and teams focused on cloud systems, operating systems, and performance optimization. His team has produced high-impact work in top-tier venues such as OSDI, SOSP, ATC, EuroSys, and ICDCS. Current and future work includes next-generation memory architectures using CXL, intelligent resource provisioning, and resilient container networking.
