 |
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. |