Curriculum Vitae

David Basin ist seit 2003 ordentlicher Professor an der ETH Z¨¹rich und hat die Professur f¨¹r Informationssicherheit am Institut f¨¹r Informationssicherheit im Departement Informatik inne.

1984 erhielt er vom Reed College seinen Bachelors Degree in Mathematik und 1989 seinen Ph.D. von Cornell University. 1996 habilitierte er an der Universit?t des Saarlandes. Nach seiner Promotion forschte er an der Universit?t von Edinburgh (1990-1991). Sp?ter leitete er eine Untergruppe innerhalb der Forschungsabteilung Logik der Programmierung am Max-Planck-Institut f¨¹r Informatik (1992-1997). Von 1997-2002 war er ordentlicher Professor an der Universit?t Freiburg in Deutschland.

Sein Forschungsgebiet ist die Informationssicherheit, vor allem Methoden und Werkzeuge, um sichere und verl?ssliche Systeme zu entwickeln. Er ist Editor-in-Chief bei ACM Transactions on Privacy and Security und beim Springer-Verlag der Buchreihe Information Security and Cryptography. Er ist Gr¨¹nder des ZISC (Zurich Information Security Center), welches er von 2003 bis 2011 leitete. F¨¹r seine Beitr?ge zur Informationssicherheit und zu Formalen Methoden wurde er 2018 Fellow der ACM.