Find Academic Supervisors

Dr. Malte Schwerhoff is a Lecturer at the Department of Computer Science at ETH Zürich. His teaching responsibilities include courses such as Introduction to Programming , Software Engineering , and Preparatory Course in Computer Science . His research focuses on formal verification, automated reasoning, and symbolic execution techniques, with a particular emphasis on security protocols, programming languages, and compiler design. His work bridges theoretical computer science with practical applications in software engineering and cybersecurity. Research contributions span modular verification methodologies, permission-based reasoning frameworks, and the development of tools like Viper for static analysis. His studies address challenges in ensuring correctness and security in software systems through formal methods. Notably, his work on symbolic execution profiling and generalized magic wand support has advanced automated program verification techniques. While no awards or grants are explicitly listed in the provided texts, his active publication record reflects ongoing engagement with cutting-edge topics in computer science. Advising and lab affiliations are not detailed here, but his involvement in teaching and research underscores his role as an educator and scholar in computational theory and practice.

• Computer Science
• Software Engineering
• Formal Verification
• +3 more

Prof. Torsten Hoefler is a Full Professor at the Department of Computer Science, ETH Zürich. His research focuses on High-Performance Computing (HPC), parallel systems, networking, and AI-infrastructure. He leads projects on scalable interconnects, network topology design, and cloud computing benchmarks like SeBS. His work bridges theoretical foundations with practical implementations in distributed systems. Research Interests : High-Performance Computing & Networking Parallel Algorithms & Architectures AI Infrastructure & Distributed Systems Chiplet Interconnects & Topology Optimization Key Contributions : Developed tools like ATLAHS (AI/HPC network simulation) Advanced RDMA-based communication protocols (SDR-RDMA) Benchmarks for serverless computing (SeBS-Flow) His recent articles (2025) emphasize adaptive networks, low-precision AI models, and energy-efficient HPC systems. He also explores ethical computing and sustainability in supercomputing through initiatives like Core Hours & Carbon Credits.

• High-Performance Computing
• Parallel Computing
• Computer Networks
• +3 more

Johannes Hostert is a Researcher at the Department of Computer Science (D-INFK) , ETH Zurich, since October 2023. He works under the guidance of his advisor Ralf Jung in the PLF lab . His research focuses on program verification, separation logic, type theory, and formal methods in Rust programming. Bachelor’s and Master’s degrees from Saarland University Advisor: Ralf Jung Research Trends include formal verification of programming languages, especially Rust and OCaml/C interoperability, mechanised logic in Coq, and aliasing models like Tree Borrows. His work bridges compiler optimization with memory safety guarantees. Scientific Awards : Distinguished Paper Award for Tree Borrows (2025) Labs & Collaborations : PLF lab at ETH Zurich, working with team members like Neven and Derek on projects such as Tree Borrows and MiniRust formalization.

• Program Verification
• Separation Logic
• Type Theory
• +5 more

Prof. Ralf Jung is an Assistant Professor at ETH Zürich's Department of Computer Science, leading the Programming Language Foundations Lab under the Institute for Programming Languages and Systems. His work focuses on formal verification of programming languages, particularly Rust and Iris. Previously, he earned his PhD at Saarland University and MPI-SWS, advised by Derek Dreyer, followed by a postdoc at MIT CSAIL's PDOS group. Research Interests: Formal foundations of Rust, including tools like Miri for detecting undefined behavior and MiniRust for precise specification. Iris logical framework for modular verification of programming languages at scale. Concurrent and distributed systems verification using separation logic. Advising & Labs: He leads the Programming Language Foundations Lab and is hiring postdocs. His work integrates theoretical rigor with practical tooling for real-world language verification challenges. Labs/Teams: Programming Language Foundations Lab at ETH Zürich, collaborating with the Rust language team and global research community.

• Programming Languages
• Formal Verification
• Software Engineering
• +3 more

Dr. Dominik Winterer is a Researcher at the Professorship for Computer Science at ETH Zürich. His work focuses on formal methods, automated reasoning, and programming languages, with a particular emphasis on SMT (Satisfiability Modulo Theories) solvers and planning algorithms. He has contributed to advancing the validation and correctness of SMT solvers through techniques like grammar-based enumeration and type-aware mutation testing. His research also explores oversubscription planning, top-k planning, and nondeterministic planning, addressing challenges in resource allocation and state space reduction. Winterer’s publications span topics from compiler optimization metrics to constraint-solving methodologies, reflecting his interdisciplinary approach to computational problem-solving.

• Formal Methods
• Programming Languages
• Automated Reasoning
• +3 more

Dr. Toni Kraft is a researcher at the Swiss Seismological Service (SED) within ETH Zurich's Department of Earth and Planetary Sciences. His work focuses on induced seismicity monitoring in geothermal projects, microseismic analysis, and tectonic dynamics in alpine regions. He contributes to Switzerland's national seismic monitoring infrastructure and collaborates on international projects like GEOBEST, developing tools for optimizing microseismic networks and analyzing fault reactivation mechanisms. Key research interests include geothermal energy-related seismic risks, climate change impacts on mountain belt seismicity, and innovative applications of machine learning in seismic data analysis. His expertise spans from theoretical fault mechanics to practical monitoring protocols for urban geothermal developments. Dr. Kraft has published extensively on induced seismicity patterns in Swiss geothermal sites (Basel, St. Gallen), microearthquake sequence analysis, and meteorological influences on seismic activity. His work integrates field observations with computational models to improve hazard assessment frameworks.

• Geophysics
• Seismology
• Induced Seismicity
• +3 more

Markus Püschel is a Professor of Computer Science at ETH Zurich, leading the Advanced Computing Laboratory. He previously served as Head of the Department of Computer Science at ETH from 2013 to 2016. Before joining ETH in 2010, he was a Professor at Carnegie Mellon University (CMU) and retains adjunct status there. He holds a PhD in Computer Science (1998) and a Mathematics Diploma (1995) from the University of Karlsruhe. His research focuses on program generation for performance, Fourier analysis, signal processing, machine learning, and compiler optimization. He pioneered the SPIRAL system for generating optimized signal processing libraries and has contributed to algebraic signal processing theory. His work bridges mathematical foundations with practical high-performance computing, emphasizing automated code generation and domain-specific languages. Research trends in his articles include causal inference on directed acyclic graphs, quantized neural network inference, and efficient compiler techniques. His work on graph signal processing and causal analysis has led to novel methods in time-series data and DAG learning. Awards: IEEE Fellow (2020), Golden Owl Teaching Award (2015), NSF Discovery Grant (2008), and multiple best paper awards. Grants/Projects: Co-PI for Making Program Analysis Fast (SNF), SPIRAL GPU projects, and collaborations with industry partners like Intel and AMD. He advises over 40 PhD and master’s students, many of whom contribute to impactful projects in compilers, machine learning, and signal processing. His lab also co-founded the Swiss Data Science Center.

• Program Generation
• Fourier Analysis
• Signal Processing
• +6 more

Fiorella Meyer is part of the Professorship for Computer Science at ETH Zürich, affiliated with the Institute of Programming Languages and Systems. Her role involves contributing to research and academic activities within the Department of Computer Science. Contact details include her office location (CAB H 86.3) and direct phone number (+41 44 632 82 09). Research interests are inferred to focus on programming languages, software systems, and related technical domains given her institutional affiliation. No specific publications or awards are noted in the provided information.

• Programming Languages
• Software Systems
• Compiler Design
• +3 more

Natasha Sharygina is a Full Professor of Informatics at the University of Lugano (USI) in Switzerland. She leads the USI Formal Verification and Security group, focusing on improving software and hardware verification through formal methods like model checking and SAT/SMT techniques. Her research emphasizes applying these methods to computer security, electronic design, and program analysis. Education: PhD in Informatics from The University of Texas at Austin (2002). Research Interests: Her work spans formal verification, model checking, SMT-based solvers, and security analysis. She develops theoretical frameworks and practical tools for verifying large-scale systems, with applications in safety-critical and distributed computing environments. Funding & Awards: Her research has been supported by grants from the Swiss National Science Foundation, EU STReP/COST projects, Hasler Foundation, and TASSO Career Award. She has been recognized with the ACM Recognition of Service Award and CMU Technical Excellence Awards. Grants & Projects: Key initiatives include 'Beyond Symbolic Model Checking through Deep Modelling' (2019–2023), EU-funded 'Rich-Model Toolkit', and Swiss TASSO Career Award (2005–2010). She has led efforts in parallel SMT solving and runtime verification. Labs & Teams: Director of the USI Formal Verification and Security Lab, which develops tools like Golem (CHC solver) and OpenSMT (SMT solver). Collaborates globally on projects like SAFARI and FunFrog for program verification.

• Formal Verification
• Model Checking
• SAT/SMT Methods
• +4 more

Marco Zaffalon is Professor and Scientific Director at IDSIA (Istituto Dalle Molle di Studi sull'Intelligenza Artificiale), affiliated with the Università della Svizzera italiana's Faculty of Informatics. He leads a 30-member research group on probabilistic machine learning and has published over 150 papers. Education: M.Sc. in Computer Science (Università degli Studi di Milano) Ph.D. in Applied Mathematics (Università degli Studi di Milano) Research spans probabilistic machine learning, causal AI, imprecise probabilities, and quantum computation. His work develops theoretical foundations for uncertainty reasoning and applies them to AI systems. Recent publications focus on causal inference with LLMs, counterfactual computation, and quantum decision models. Articles consistently explore intersections of probability theory, computational methods, and real-world applications like healthcare. Trends include advancing tractability in causal queries and bridging logical frameworks with machine learning. Administrative roles include co-founding Artificialy (as Chief Scientist) and directing IDSIA since 2019. He teaches courses in Causal AI, Uncertain Reasoning, and Probability.

• Probabilistic Machine Learning
• Causal AI
• Imprecise Probabilities
• +2 more

Aris Xanthos is a Professor (MER 1) in the Section of Language and Information Sciences at the University of Lausanne (UNIL) since 2012. Specializing in computational linguistics and mathematical methods for language sciences, he collaborates with institutions such as the Universities of Zurich, Vienna, and Antwerp. His research focuses on developing innovative computational tools for linguistic analysis, including projects like Textable, an interactive text analysis software. Additionally, he founded and directs a startup specializing in automatic language processing technologies. Xanthos earned his PhD in 2007 with a thesis on morphological learning, conducted in part at the University of Chicago under John Goldsmith. His teaching includes textual computing for arts students at UNIL. Research themes span lexical diversity metrics, computational morphology, and interdisciplinary applications of NLP in fields like child language acquisition and game studies. His work bridges formal linguistics with digital humanities, emphasizing methodological rigor and computational innovation. Publications highlight contributions to emoji ambiguity analysis, poem generation algorithms, and historical corpus development. His startup demonstrates practical applications of academic research, reflecting a commitment to both theoretical and applied linguistic inquiry.

• Computational Linguistics
• Natural Language Processing
• Morphology
• +3 more

Tobias Dienlin is a Full Professor of Empirical Communication and Media Research at the University of Zurich, affiliated with the Department of Media Psychology & Methods. Previously, he held positions at the University of Vienna as Associate and Assistant Professor of Interactive Communication, and earlier roles as a researcher at the University of Hohenheim and visiting scholarships at UC Santa Barbara and Ohio State University. His research focuses on the psychological and societal impacts of digital media, particularly social media’s effects on well-being, privacy behaviors, and open science practices. Education includes a Ph.D. in Social Sciences (2017) from the University of Hohenheim and a Master’s in Psychology from Johannes Gutenberg-University Mainz (2012). He has received significant grants such as the CHANSE NORFACE-funded €1.5M PROMISE project (2025) as principal investigator, exploring social media policies for youth well-being. His awards include the University of Vienna Teaching Award (2021) and top paper recognitions at ICA conferences (2016–2017). Key research themes include the privacy calculus model, media effects on mental health, and digital media’s role in social competence development. He actively promotes open science practices through publications like An agenda for open science in communication (2021) and methodological innovations in reproducible research. His work bridges empirical rigor with societal relevance, addressing challenges like digitalization’s impact on democracy and mental health. Grants : PROMISE Project (2025): €483k ad personam Freiräume Schaffen Grant (2024): €3,850 DAAD Travel Grants (2013–2016): €1,452–€577 Awards : Teaching Excellence (2021) ICA Top Paper (2017) and Promising Student Paper (2016) Best Diploma Thesis (2012) His research agenda emphasizes interdisciplinary collaboration, with labs focusing on media psychology and open science advocacy. He contributes to policy debates on digital media’s societal implications while maintaining a commitment to methodological transparency.

• Social Media Effects
• Media Use and Well-Being
• Digital Media Studies
• +2 more

Jacques Michelet is a Lecturer at the University of Geneva , where he has been affiliated since 2009. He holds a PhD in Geography focused on Swiss regional policy paradigms and teaches courses in economic geography, territorial economy, and GIS. His work bridges applied research and policy design, particularly in territorial development. PhD in Geography (paradigm shifts in Swiss regional policy) Specializes in GIS, regional development, and spatial information management Key contributor to ESPON projects and pan-European dataset compilation His research emphasizes collaborative methodologies, territorial development in mountainous regions, and the creation of spatial tools. Notably, he developed the first publicly available GIS map of Europe’s 119,400 local administrative units under a Creative Commons license. He also serves as an independent consultant in spatial planning and cross-border cooperation.

• Regional Development
• Economic Geography
• Territorial Policies
• +6 more

Dr. Montserrat Filella is a Lecturer and volunteer staff member at the University of Geneva, actively contributing to research and teaching in environmental and analytical chemistry. She teaches an advanced course on the chemistry of the environment and has been involved in academic instruction at institutions in France and the UK, including the Open University. Her interdisciplinary research spans environmental processes, speciation of trace elements, and science communication. Her research interests include the physico-chemical behavior of chemical components in environmental and biological systems, with a strong focus on technology-critical elements (TCEs) such as antimony, tellurium, niobium, tantalum, and germanium. She integrates computer modeling with laboratory and field measurements to understand metal speciation, stability constants, and environmental fate. She is also actively involved in current research on microplastics and nanoplastics, developing analytical tools and collaborating on detection methods using techniques like STXM and MIXE. The recent publications highlight a consistent trend in environmental analytical chemistry, particularly in the speciation, thermodynamics, and detection of understudied elements. Her work bridges fundamental inorganic chemistry with applied environmental concerns, emphasizing data quality, method validation, and sustainability. She frequently contributes to editorial research fronts and critical reviews, demonstrating leadership in her field. Dr. Filella is engaged in science popularization, participating in scientific festivals and exploring interdisciplinary connections such as music and chemistry. She is a member of scientific societies and leads initiatives like the microplastics.ch network. While no formal awards are listed, her extensive publication record in high-impact journals reflects significant scholarly contributions. She collaborates widely with researchers across Europe and contributes to international projects, including IUPAC’s Humic-Metal Binding Constants Database. She is currently working on measuring antimony speciation in plastics, analyzing element concentrations in plastic waste, and evaluating advanced spectroscopic methods for nanoplastics detection. These efforts are conducted in collaboration with researchers such as Takuji Adachi, Andrew Turner, and Moritz Bigalke. Though no students are listed, her mentorship may occur through collaborative networks and teaching activities.

• Environmental Chemistry
• Analytical Chemistry
• Aquatic Chemistry
• +7 more