David A. Basin
David A. Basin
Joined
July 2019
Names
Emails
****@inf.ethz.ch (Confirmed)
Personal Links
Career & Education History
Full Professor
ETHZ - ETH Zurich (ethz.ch)
2003 – 2023
Full Professor
Albert-Ludwigs-Universität Freiburg (uni-freiburg.de)
1997 – 2002
Instructor
Saarland Informatics Campus, Max-Planck Institute (mpi-inf.mpg.de)
1992 – 1997
Postdoc
University of Edinburgh, University of Edinburgh (ed.ac.uk)
1990 – 1991
PhD student
Cornell University (cornell.edu)
1985 – 1989
Advisors, Relations & Conflicts
Coauthor
Florian Turati
2023 – 2023
Coauthor
Anqun Pan
2023 – 2023
Coauthor
Daniel Stefan Dietiker
2023 – 2023
Coauthor
Yvonne-Anne Pignolet
2023 – 2023
Coauthor
Arshavir Ter-Gabrielyan
2023 – 2023
Coauthor
Huayi Duan
2023 – 2023
Coauthor
Rubén Fischer
2023 – 2023
Coauthor
Jie Lou
2023 – 2023
Coauthor
Marco Bearzi
2023 – 2023
Coauthor
Jodok Vieli
2023 – 2023
Coauthor
Cyrill Krähenbühl
2023 – 2023
Coauthor
Marc Wyss
2023 – 2023
Coauthor
Vincent Lenders
2023 – 2023
Coauthor
Linard Arquint
2022 – 2023
Coauthor
Sven N. Wiesner
2022 – 2023
Coauthor
Lukas Heimes
2020 – 2023
Coauthor
Felix A. Wolf
2020 – 2023
Coauthor
Peter Müller
2020 – 2023
Coauthor
Jorge Toro-Pozo
2020 – 2023
Coworker
Shweta Shinde
2020 – 2023
PhD Advisee
Joshua Schneider
2017 – 2023
Coauthor
Srdan Krstic
2017 – 2023
Coauthor
Joseph Lallemand
2017 – 2023
Coworker
Srdjan Capkun
2015 – 2023
Coauthor
Adrian Perrig
2014 – 2023
Coauthor
Ralf Sasse
2014 – 2023
Coauthor
Cas Cremers
2009 – 2023
Coauthor
Patrick Schaller
2007 – 2023
Coauthor
Christoph Sprenger
2006 – 2023
PhD Advisee
Martin Raszyk
2018 – 2022
PhD Advisee
Tobias Klenze
2016 – 2022
PhD Advisee
Seyed Reza Sefidgar
2016 – 2021
Postdoc Advisee
Dennis Jackson
2019 – 2020
PhD Advisee
Sven Hammann
2017 – 2020
PhD Advisee
Damien Desfontaines
2016 – 2020
PhD Advisee
Lara Schmid
2015 – 2020
PhD Advisor
Robert Constable
1985 – 1989
Expertise
Information Security: foundations
, methods
, and tools for modeling
, building
, and validating secure and reliable systems
2002 – 2023
Software Engineering
1997 – 2002
Programming logics
1992 – 1997