Shweta Shinde is an Assistant Professor at ETH Zürich's Department of Computer Science. She leads the Secure & Trustworthy Systems (SECTRS) group and is affiliated with the Institute of Information Security and the ZISC Center. Her research focuses on foundational and practical aspects of trusted computing, system security, and program analysis to protect devices ranging from smartphones to cloud servers. Key areas include AMD SEV-SNP, Arm CCA, Intel SGX, and hardware-software co-design for security. Dr. Shinde has made significant contributions to confidential computing, including frameworks like OpenCCA and tools for analyzing hardware vulnerabilities. Her work has been recognized with Best Paper Awards and Distinguished Paper Awards at top venues. She advises a group of PhD students, including Mark Kuhne, Supraja Sridhara, and Benedict Schlüter. Her service includes program committee roles at IEEE Security & Privacy, USENIX Security, and as Track Co-Chair for AsiaCCS 2026.
Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.
Peter Pietzuch is a Professor in the Department of Computing at Imperial College London, where he leads the Large-Scale Data & Systems (LSDS) group. He also serves as the Director of Research and is a Visiting Researcher at Microsoft Research Cambridge. Pietzuch holds a Ph.D. from the University of Cambridge and a B.A. from Girton College. His research spans distributed systems, cloud computing, big data processing, and systems security. Key interests include: Scalable architectures for cloud-native applications Efficient stream processing and machine learning systems Trusted execution environments and secure cloud infrastructure Optimization of serverless computing and distributed databases His recent publications focus on adaptive machine learning frameworks, secure cloud resource management, and high-performance stream processing systems. Trends show strong emphasis on hardware-software co-design, confidential computing, and fault-tolerant architectures. Awards include: Best Paper Award at Middleware'03 He actively advises PhD students and secures grants for projects like Faasm (serverless computing) and Teechain (blockchain security). His LSDS group collaborates with industry partners including Microsoft Research. Pietzuch teaches undergraduate and graduate courses including Scalable Systems for the Cloud and Operating Systems . He co-founded the ACM DEBS conference and serves on steering committees for EuroSys and Middleware.
Daniel Genkin is an Associate Professor at the School of Cybersecurity and Privacy and School of Computer Science at Georgia Institute of Technology. His research spans system security, cryptography, side-channel attacks, hardware security, cryptanalysis, secure multiparty computation (MPC), verifiable computation, and SNARKs. He holds a PhD in Computer Science from the Technion - Israel's Institute of Technology and was awarded the 2024 Sloan Research Fellowship. His work focuses on microarchitectural vulnerabilities, including Rowhammer , Cache Timing , and Speculative Execution attacks. Notable contributions include co-discovering Spectre and Meltdown vulnerabilities. He has received multiple awards, including Distinguished Paper Awards , IEEE Micro Top Picks , and Black Hat Pwnie Awards . Publications highlight trends in Side-Channel Analysis , Hardware Exploitation , and Cryptographic Implementations . His email is genkin@gatech.edu , and he actively seeks students for research in security and cryptography.
Prof. Dimitris Gizopoulos is a Professor at the Department of Informatics & Telecommunications, University of Athens, leading the Computer Architecture Laboratory. His research focuses on fault tolerance, design validation, performance, and energy efficiency in microprocessors, GPUs, and AI accelerators. He is an IEEE Fellow (2013) and ACM Distinguished Member (2022). His work is supported by Horizon Europe projects like DARE, Neuropuls, and Vitamin-V, alongside industry grants from AMD, Cisco, and Meta. He participates in networks like HiPEAC and Eurolab4HPC and serves on editorial boards of journals including ACM Computing Surveys and IEEE Transactions on Computers . Prof. Gizopoulos teaches Computer Architecture courses at both undergraduate and graduate levels. His research spans cross-layer reliability analysis, voltage scaling effects, and secure hardware design. Notable contributions include frameworks for GPU reliability assessment (GUFI, GPUI-4) and tools like MerLIN for microarchitecture-level analysis. His lab’s work has been funded by the EuroHPC Joint Undertaking and the Greek-China Research Collaboration program. Key Projects: DARE (RISC-V Europe), Neuropuls (neuromorphic accelerators), Vitamin-V (RISC-V cloud environments). Awards: IEEE Fellow (2013), ACM Distinguished Member (2022), IEEE Golden Core (since 2002). Industry Partnerships: AMD, Cisco, Bosch, NVIDIA, Intel, IBM Research. Labs: Leads the Computer Architecture Lab, focusing on fault tolerance and energy-efficient computing. His work emphasizes bridging hardware-software co-design challenges, with publications in top venues like IEEE Transactions on Computers and ACM Computing Surveys . Recent efforts include analyzing silent data corruptions (SDCs) in CPUs and GPUs, and developing validation frameworks for cloud-native architectures.
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.
Jeanna Matthews is a Full Professor of Computer Science at Clarkson University and an affiliate at Data and Society. She holds a PhD from UC Berkeley (1999) and teaches courses ranging from operating systems to cybersecurity. Her research focuses on algorithmic transparency, AI ethics, and societal impacts of automated systems. Matthews is a prominent ACM leader, serving on multiple committees including the Technology Policy Subcommittee on AI Accountability. She has pioneered work on forensic software analysis in criminal justice systems and delivered DEF CON presentations on virtualization security and adversarial testing. Awards include ACM Distinguished Speaker and Fulbright Specialist roles. Her work emphasizes open-source tools and critical thinking in education, extending to global service learning programs in the Dominican Republic and Brazil. Education: PhD in Computer Science (UC Berkeley, 1999), B.S. in Math/Computer Science (Ohio State, 1994), B.A. in Spanish (SUNY Potsdam, 2016). Research Interests: Cybersecurity vulnerabilities, algorithmic accountability frameworks, automated decision systems in justice contexts, and ethical AI design. Recent projects include investigating bias in DNA forensic software through a Brown Institute grant and analyzing political polarization on social platforms. Awards & Recognition: ACM Distinguished Speaker (2018-present) Fulbright Specialist (2018-present) 2018-2019 Brown Institute Magic Grant ACM SIGOPS Chair (2011-2015) ACM Special Interest Group Governing Board Chair (2016-2018) Teaching & Outreach: Designed courses integrating open-source tools and critical inquiry, including abroad programs in Mexico, Brazil, and the Dominican Republic. Advocates for lifelong learning strategies and questioning underlying assumptions in computing systems. Key Projects: Forensic Software Accountability: Examining discrepancies in DNA analysis tools Algorithmic Transparency: Frameworks for auditing automated systems Cybersecurity Education: Adversarial testing methodologies for justice software
Gang (Gary) Tan is a Professor at the Pennsylvania State University's College of Engineering, specializing in computer security, formal methods, and programming languages. He co-directs the Institute for Networking and Security Research (INSR) and leads the Security of Software (SOS) Group, focusing on compiler, programming language, and formal method techniques to enhance computer security. Education: B.E. in Computer Science from Tsinghua University Ph.D. in Computer Science from Princeton University His research integrates formal verification with practical security applications, particularly emphasizing: Compiler-based security enforcement Side-channel mitigation in speculative execution Fairness analysis in machine learning systems Formal grammar approaches for software reliability Key article trends show: Security-focused formal methods (15% of publications) ML fairness verification (20% of recent work) Compiler-based security solutions (30% of output) Side-channel defense mechanisms (25% of research) Parser design and formal grammar synthesis (10% of contributions) Scientific achievements include: NSF CAREER Award Google Research Awards (2x) PLDI 2024 Best Paper James F. Will Career Development Professorship Outstanding Research Award at Penn State Ruth and Joel Spira Excellence in Teaching Award Dr. Tan actively contributes to academic communities through: DARPA ISAT study group membership Program committee roles (CGO 2024, ECOOP 2018, etc) Leadership in security research initiatives
Prof. Dr. Christian Rossow is a faculty member at CISPA – Helmholtz Center for Information Security in Dortmund, Germany. He also serves as a professor at Saarland University and an honorary professor at TU Dortmund. His research focuses on network security , system/software security , and cyber attacks and countermeasures . His recent publications include work on CSS exploitation for browser fingerprinting, Spectre mitigations on ARM, DDoS attack analysis, and hardware-assisted security extensions. Christian Rossow regularly serves as a PC member and track chair for top cybersecurity conferences like ACM CCS and USENIX Security . He advises multiple PhD students and leads a research group exploring foundational and practical security solutions.
Timothy Harris is an Affiliated Lecturer at the University of Cambridge's Department of Computer Science and Technology, where he jointly teaches courses on multicore semantics and programming. Currently, he works at OpenAI, focusing on performance optimization for GPU inference of large language models, including the Azure OpenAI Service. Previously, he held roles at Microsoft, AWS, Oracle Labs, and was a faculty member at the University of Cambridge (2000–2004). His research spans distributed systems, runtime systems, operating systems, and high-performance computing, with an emphasis on scalability and performance. He contributed to projects like the Xen hypervisor and the Barrelfish research OS. Key research interests include distributed training of PyTorch models in the ONNX runtime, large-scale storage performance with Amazon S3, and runtime systems for in-memory graph analytics. His work often bridges 'big data' and high-performance computing techniques. Notable contributions include the book Transactional Memory (2010) and the Barrelfish OS, alongside numerous publications in top-tier conferences like SOSP, ASPLOS, and EuroSys. He has served as PC chair for ISMM 2025, VEE 2017, and EuroSys 2015, reflecting his leadership in the systems research community. His awards include a Best Paper Award at PACT 2010. Beyond academia, Harris is an avid hiker, aiming to complete the UK coastline, and maintains a photography portfolio at tlhphotography.uk .
Mendel Rosenblum is the Cheriton Family Professor and holds dual appointments as Professor in the Departments of Computer Science and Electrical Engineering at Stanford University. He is a co-founder of VMware Inc. and served as its Chief Scientist for its first decade, playing a pivotal role in designing foundational virtualization technologies. Rosenblum's research focuses on system software, distributed systems, and computer architecture, with notable contributions to virtualization, data center networks, and operating systems. He leads the Platform Lab at Stanford, exploring next-generation data center technologies and high-performance computing systems. Administrative Role: Faculty Director of Stanford Computer Forum (2012–present) Education: PhD (UC Berkeley, 1992), MS (UC Berkeley, 1989), BA (University of Virginia, 1984) His research interests span disk storage management, computer simulation, scalable operating systems, and security. Recent work emphasizes deployable consensus algorithms, programmable smartNICs, and self-programming networks. Rosenblum has authored over 80 publications and holds multiple patents in virtualization and system software. Awards & Recognition: ACM System Software Award (2009) IEEE Computer Entrepreneur Award (2011) ACM Thacker Breakthrough in Computing Award (2018) Member, National Academy of Engineering (2013) He advises PhD and Master's students, including current advisees Sina Jandaghi Semnani and Zixi Liu. Rosenblum teaches advanced courses on web applications, distributed systems, and independent research projects.
Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.
Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.
Dr. Reza Montasari is a Senior Lecturer in Cyber Threats at Swansea University's Hillary Rodham Clinton School of Law. He holds a BSc in Multimedia Computing and MSc in Computer Forensics from the University of South Wales, and a PhD in Digital Forensics from the University of Derby. His professional memberships include Fellow of the Higher Education Academy (FHEA) and Chartered Engineer (CEng). Montasari’s research focuses on Digital Forensics, Cyber Security, and Cyber Terrorism, with over 50 publications. He has authored/co-authored books like Cyberspace, Cyberterrorism and International Security (2024) and Countering Cyberterrorism (2023). His work bridges technical and legal aspects of cyber threats, addressing AI’s role in counterterrorism and national security. He has held roles such as External Examiner at the University of South Wales and leadership positions in cybersecurity initiatives. His expertise includes IoT forensics, dark web challenges, and digital policing strategies. Montasari also collaborates with law enforcement agencies like Cheshire Police and advises media on cybersecurity issues. Key contributions include editorial board memberships, conference presentations (e.g., ICGS3), and contributions to cybersecurity policy development. His research emphasizes ethical AI applications, privacy rights, and mitigating cyber threats in modern societies.
Dominique Devriese is a professor at the Department of Computer Science, KU Leuven, and a member of the DistriNet research group. His work bridges computer security, programming languages, and formal verification. Research interests: Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming, Modal Type Theory Teaching: Formal Systems, Object-Oriented Programming, CyberSecurity, Secure Software His research focuses on rigorous software systems security through capability machines and secure compilation techniques. He actively contributes to formal verification using Agda and Haskell, with recent work on multimode type theory and effect parametricity. Key publication trends include: multimode/presheaf type theory, capability-based security models, formal verification of hardware/software abstractions, and parametricity applications in programming languages. Contact: Email: dominique.devriese@kuleuven.be ORCID: 0000-0002-3862-6856
