|
ETHistory 1855-2005 | Rückblicke | Departemente | INFK | Weitere Seiten | professoren | Biografien | David Basin |
|
|
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet.
Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren.
Weitere Informationen finden Sie auf
folgender Seite.
Important Note:
The content in this site is accessible to any browser or Internet device,
however, some graphics will display correctly only in the newer versions of
Netscape.
To get the most out of our site we suggest you upgrade to the latest
Netscape.
More information
 |
David Basin ist seit 2003 ordentlicher Professor an der ETH Zürich und hat die Professur 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. Zur Zeit leitet er das ZISC (Zurich Information Security Center). Ebenfalls ist er Mitherausgeber des Acta Informatica, Information Processing Letters, Journal of Applied Logic, Journal of Automated Reasoning und Higher-Order and Symbolic Computation. Des Weiteren ist er Co-Editor-in-Chief beim Springer-Verlag der Buchreihe Information Security and Cryptography. Ebenfalls ist er Mitherausgeber des Acta Informatica, Information Processing Letters, Journal of Applied Logic, Journal of Automated Reasoning, Higher-Order and Symbolic Computation und IEEE Transactions on Dependable and Secure Computing. Ebenfalls ist er Mitherausgeber des Acta Informatica, Information Processing Letters, Journal of Applied Logic, Journal of Automated Reasoning, Higher-Order and Symbolic Computation und IEEE Transactions on Dependable and Secure Computing. |
|
 |
