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.
Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.
Swiss Federal Institute of Technology in LausanneSwitzerland
Colin Jones is an Associate Professor at the École Polytechnique Fédérale de Lausanne (EPFL) in the Automatic Control Laboratory, School of Engineering. He earned his BASc and MASc in Electrical Engineering and Mathematics from the University of British Columbia (1994-2002) and a PhD in Control Theory from the University of Cambridge (2002-2005). Prior to EPFL, he was an assistant professor there and a senior researcher at ETH Zürich. Current role: Director of the Robotics, Control, and Intelligent Systems Doctoral Program at EPFL Research focus: Optimization-based and model predictive control (MPC) for renewable energy systems, green energy management, and data-driven control methods His recent work (2023-2025) spans high-speed predictive control , smart grid optimization , and physically consistent neural networks , with applications to buildings, hovercrafts, and power systems. He has secured an ERC Starting Grant for his research on optimal control of building networks. Publications include over 200 papers in journals like Automatica , IEEE Transactions , and Energy and Buildings . Notable article trends include distributed optimization , data privacy in energy systems , and nonlinear MPC for autonomous vehicles . Scientific Awards : ERC Starting Grant for optimal control of building networks Advising : Supervises 10 current PhD students and has advised 19 past PhD students, including Alessandretti Andrea and Diwale Sanket Sanjay. Grants and projects emphasize smart energy systems , predictive demand response , and nonlinear control .
Kaveh Razavi is an Assistant Professor at ETH Zurich in the Department of Information Technology and Electrical Engineering, supervising the Computer Security Group. He is also affiliated with the Department of Computer Science. Research focuses on commodity hardware and operating systems security Teaching: Computer Engineering (BSc 2022–2025), Hardware Security (MSc 2016–2025), Advanced Operating Systems (MSc 2016–2019) Research Interests: Razavi's work bridges computer systems and security, emphasizing microarchitectural vulnerabilities, hardware exploitation, and security verification. His group develops tools for analyzing hardware-software interactions and mitigating memory attacks like Rowhammer. Scientific Awards: Distinguished/Best Paper Awards at IEEE S&P, USENIX Security, MICRO Five Pwnies Awards for innovative research Dutch Veni Grant, ERC Starting Grant Jochen Liedtke Young Researcher Award Golden Owl Teaching Award (2022) ETH Medal, Intel Bounty Reward, BlackHat USA Recognition
Swiss Federal Institute of Technology in LausanneSwitzerland
Paolo Ienne is a Professor at the Swiss Federal Institute of Technology in Lausanne (EPFL), where he leads the Processor Architecture Laboratory (LAP) within the School of Computer and Communication Sciences. His research focuses on advancing reconfigurable computing systems through innovative FPGA architectures and high-level synthesis methodologies. His primary research domains include reconfigurable computing, FPGA architecture design, dynamically scheduled dataflow circuits, and hardware acceleration techniques. Recent work emphasizes memory system optimization for FPGAs, formal verification of circuit transformations, and rapid C-to-hardware compilation flows. He has pioneered approaches for handling thousands of outstanding memory misses in FPGA accelerators and developed novel techniques for switch-block exploration without explicit pattern enumeration. Analysis of his 2023-2025 publications reveals a strong trend toward practical FPGA deployment challenges, with increasing focus on HBM integration, virtual memory systems for PCIe-attached devices, and formally verified circuit transformations. His work consistently targets real-world bottlenecks in high-level synthesis toolchains while maintaining theoretical rigor in dataflow architecture design. Professor Ienne's laboratory receives support from the Swiss National Science Foundation and industry partners including Huawei, enabling cutting-edge research in FPGA-based acceleration. His collaborative network spans major semiconductor companies and academic institutions worldwide, with frequent co-authorship on conference proceedings and journal publications in IEEE and ACM venues.
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.
Carlo Alberto Furia is an Associate Professor and Vice Dean at the Faculty of Informatics, Università della Svizzera italiana (USI). He is affiliated with the Software Institute, where he leads the ATOM research group. His academic journey includes prior roles as an Associate Professor at Chalmers University of Technology and a Senior Researcher at ETH Zurich’s Chair of Software Engineering. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research centers on formal methods for software engineering, aiming to enhance software correctness, reliability, and quality through rigorous techniques. Key areas include automated program verification, contract-based development, loop invariant inference, and empirical evaluation using Bayesian data analysis. He emphasizes practical applicability and automation in formal methods. His recent publications reflect a strong focus on program analysis at the bytecode level, multilingual software analysis, automated repair of Android security issues, and empirical methodologies. These works span topics such as JVM substitutability, exception behavior in Java bytecode, and information flow security, demonstrating a consistent thread in improving software robustness through formal and automated techniques. He is actively involved in the software engineering research community as an Associate Editor of the Empirical Software Engineering (EMSE) journal and as a Program Committee member for major conferences including FASE, FM, ASE, ICSE, and CauSE. Carlo Furia has advised multiple research projects and supervised student theses. He has led and contributed to funded research initiatives, particularly in program analysis and verification. His group has developed tools such as AutoProof and other software artifacts available through the ATOM software page. He regularly teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. He leads the ATOM research group, which focuses on advancing automated techniques for software testing, analysis, and verification. The group develops practical tools and conducts empirical studies to validate research outcomes.
Zhendong Su is a full professor in the Department of Computer Science at ETH Zurich since August 2018. Previously, he held a full professorship at UC Davis from 2003 until June 2019. He earned his Ph.D. in Computer Science from UC Berkeley and dual Bachelor’s degrees in Computer Science and Mathematics from UT Austin in 1995. Affiliations: ETH Zurich: Full Professor (since 2018) UC Davis: Full Professor and Chancellor’s Fellow (2003–2019) IEEE Fellow, ACM Fellow, and Member of Academia Europaea His research focuses on programming languages, compilers, software engineering, computer security, and education technologies . Key contributions include compiler validation (e.g., Project Yin-Yang for SMT solvers and DBMS testing), testing tools like SQLancer, and educational innovations such as the Algot visual programming language. Recent work emphasizes secure AI (e.g., CipherSteal for TEE-shielded models) and compiler reliability (e.g., Artemis/Apollo for JIT validation). He has pioneered techniques like metamorphic testing and equivalence modulo inputs (EMI) for compiler validation, uncovering thousands of bugs in GCC/LLVM and SMT solvers. Awards: ICSE MIP Award (2022), ACM SIGSOFT Impact Paper (2018), NSF CAREER Award, and multiple industrial awards. His students have won IEEE TCSE Rising Star and SIGSOFT Impact Paper awards, securing roles at top universities and companies like Google and NVIDIA. Service: Steering committee member of ISSTA and ESEC/FSE, ACM Distinguished Speaker, and Associate Editor for ACM TOSEM. Program chaired ISSTA 2012 and co-chaired FSE 2016. Labs/Teams: Leads research groups on compiler validation, secure AI, and education technologies. Projects include Yin-Yang (SMT testing), SQLancer (DBMS fuzzing), and Algot (visual programming for education).
Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.
Swiss Federal Institute of Technology in LausanneSwitzerland
Sebastijan Dumancic is an Assistant Professor at Delft University of Technology, focusing on neuro-symbolic AI through program synthesis and probabilistic programming. He leads the RAIL lab and collaborates with institutions like Harvard, MIT, and CNRS. His research bridges symbolic AI and machine learning, applying program synthesis to scientific discovery, transportation, and robotics. He holds an FWO-funded PhD from KU Leuven and has participated in initiatives like ELLIS and the Symbolic Computation and Machine Learning Initiative. Program synthesis Probabilistic programming Neuro-symbolic AI Constraint-based learning His recent articles highlight advancements in program synthesis, neuro-symbolic integration, and constraint satisfaction. Projects like Find2Fix and Intelligent Greenhouse Horticulture (funded by NWO) demonstrate practical applications. ELLIS Membership University Teaching Qualification He supervises numerous MSc and PhD students in projects involving logic programming, program synthesis, and probabilistic modeling. Active in workshops and symposia, he contributes to neuro-symbolic AI and scientific discovery.
Swiss Federal Institute of Technology in LausanneSwitzerland
Lorenzo Baraldi is an Associate Professor at the University of Modena and Reggio Emilia, where he leads research in deep learning, vision-language integration, and multimodal AI systems. He serves as an ELLIS Scholar and Coordinator of the Modena ELLIS Unit, and has held the position of deputy director at the Interdepartmental Center on Digital Humanities since 2021. Previously, he worked at Facebook AI Research laboratory in Paris in 2017, developing video-matching algorithms for content moderation. His research spans multiple areas including Vision-and-Language integration, Multimodal Retrieval, Image and Video Captioning, Visual-Semantic alignment, Large-Scale model development, High Performance Computing, and Embodied AI. With over 120 publications in international journals and conferences, his work demonstrates consistent contributions to advancing multimodal AI capabilities. He has served as an Associate Editor for Computer Vision and Image Understanding and Pattern Recognition, and as Area Chair for major conferences including ICCV, WACV 2026, and ACM Multimedia 2025. His recent publication record shows significant impact in the field, with multiple papers accepted to top-tier conferences in 2024-2025 including CVPR, ICCV, BMVC, ICLR, ECCV, and NeurIPS. Notably, his paper "Hyperbolic Safety-Aware Vision-Language Models" was selected as a highlight paper at CVPR 2025. His research often involves collaboration with Rita Cucchiara and other researchers at his institution. ELLIS Scholar and Coordinator of the Modena ELLIS Unit Associate Editor for Computer Vision and Image Understanding Area Chair for ICCV and major multimedia conferences Highlight paper at CVPR 2025 Professor Baraldi teaches courses in Computer Vision and Cognitive Systems, Scalable AI, and Computer Architecture for the Artificial Intelligence Engineering and Computer Engineering programs. His teaching spans both undergraduate and graduate levels, with a focus on providing students with both theoretical foundations and practical implementation skills. He has developed educational materials including Deep Learning tutorials for classroom instruction.
Johanna Ziegel is a Professor of Statistics at ETH Zurich, Switzerland, since 2024, and a Visiting Scientist at the Heidelberg Institute for Theoretical Studies (HITS). Previously, she held positions at the University of Bern, where she was promoted to Full Professor in 2023. Her research focuses on decision-theoretically sound methods for forecast evaluation, probabilistic forecasting, risk measures in finance, and applications in meteorology, medicine, and climate science. She is actively involved in editorial roles for journals like Bernoulli , JASA: Theory & Methods , and SIAM Journal on Financial Mathematics . Education: PhD in Stereological Analysis of Spatial Structures from ETH Zurich (2010), supervised by Paul Embrechts and Eva B. Vedel Jensen. Postdoctoral research at the University of Melbourne and Heidelberg University. Research Interests: Forecast evaluation, elicitable functionals, risk measures, isotonic regression, statistical calibration, and applications in finance, climate science, and biostatistics. Her work bridges theoretical statistics with practical challenges in uncertainty quantification and decision-making under uncertainty. Advising & Collaborations: Supervised 7 PhD students and mentored several postdocs. Collaborates with the Computational Statistics group at HITS and the Oeschger Centre for Climate Change Research. Her group explores distributional regression under order constraints and novel methods for forecast comparison. Recognition: Credit Suisse Award for Best Teaching (2022), H.I.T. Program for Academic Leadership (2021–2022). Active in professional service, including the Bernoulli Society Council and editorial boards.
Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.
Swiss Federal Institute of Technology in LausanneSwitzerland
Rachid Guerraoui is a Full Professor at the École polytechnique fédérale de Lausanne (EPFL) where he leads the Distributed Computing Laboratory (DCL) within the School of Computer and Communication Sciences. He holds appointments in multiple departments including IC-SSC and IC-SIN for teaching, and serves on the IC Academic Evaluation Committee. A Moroccan/Swiss/French researcher, Guerraoui has previously been affiliated with Commissariat à l'Energie Atomique in Saclay, Hewlett-Packard Labs in Palo Alto, the Massachusetts Institute of Technology in Boston, and Collège de France in Paris. Guerraoui's research focuses on distributed and concurrent computing across various scales, from multiprocessors to wide-area networks. His work spans Byzantine fault tolerance, distributed machine learning, blockchain technologies, transactional memory, and consensus algorithms. His recent publications reveal a strong emphasis on Byzantine-resistant machine learning, decentralized learning systems, and the theoretical foundations of distributed consensus. The research demonstrates significant contributions to making distributed systems more robust, efficient, and secure against adversarial conditions. Guerraoui has received numerous prestigious awards including ACM Fellow (2012), Professor at College de France (2018), Nygaard-Dahl Award (2024), and Barroso Award (2025). His work has earned multiple best paper awards at top conferences including DISC, ICDCS, IPDPS, and ACM Middleware. He serves as Associate Editor of the Journal of the ACM (2010-2025) and has chaired program committees for major conferences such as PODC, DISC, and Middleware. As an educator, Guerraoui supervises numerous doctoral students and has mentored many successful researchers who now work at leading institutions and companies including Meta, Oracle Labs, Chainlink Labs, and Protocol Labs. He teaches courses on Distributed Algorithms and Concurrent Algorithms at EPFL, emphasizing both theoretical foundations and practical implementations. His educational initiatives include Wandida, a library of scientific e-synopses, and Zettabytes, projects aimed at making computer science accessible to broader audiences.
Swiss Federal Institute of Technology in LausanneSwitzerland
Andreas Peter Burg is a Tenured Associate Professor at the École Polytechnique Fédérale de Lausanne (EPFL), where he leads the Telecommunications Circuits Laboratory (TCL) within the School of Engineering. He holds multiple academic and administrative roles at EPFL including Associate Professor in Teaching (SEL, EDMI, EDEE), Director of SEL Management, and Member of the Doctoral Program Committee for Electrical Engineering. Dr. Burg received his Dipl.-Ing. degree in 2000 and Dr. sc. techn. degree in 2006 from ETH Zurich. His academic career includes positions as SNF Assistant Professor at ETH Zurich (2009-2011) before joining EPFL in January 2011 as a Tenure Track Assistant Professor, where he was promoted to Tenured Associate Professor in June 2018. His research focuses on circuits and systems for telecommunications , with particular expertise in silicon implementation of communication technologies, communication algorithms optimization for hardware, low-power VLSI signal processing, and digital integrated circuits. His work bridges theoretical communication concepts with practical circuit implementations, addressing challenges in wireless and wired communication systems. His recent publications (2024-2025) demonstrate a strong focus on next-generation communication technologies including 6G systems, advanced error correction coding, wireless sensing applications, and ultra-low power circuit design. These works span multiple subfields from LDPC and polar code decoding to RF signal processing and machine learning applications in wireless systems. Willi Studer Award (2000) ETH Medal for diploma thesis (2000) ETH Medal for Ph.D. dissertation (2006) Swiss National Science Foundation Assistant Professorship grant (2008) Dr. Burg has been involved in the development of more than 25 ASICs throughout his career and co-founded Celestrius, an ETH spinoff in MIMO wireless communication. His laboratory work focuses on practical implementations of communication algorithms with emphasis on power efficiency and hardware optimization. Current research directions include 6G technologies, wireless sensing applications, and novel error correction techniques for next-generation communication systems.
