| Curriculum Vitae | Dirk Schlimm |
| : Home :: Teaching :: Research :: Publications :: Talks :: CV : | |||||
| Employment | |||||
| Jun 2007 | - | present | Associate member School of Computer Science McGill University, Montréal, Canada |
||
| Aug 2006 | - | present | Faculty lecturer Department of Philosophy McGill University, Montréal, Canada |
||
| Jan 2005 | - | Jul 2006 | Course lecturer Department of Philosophy McGill University, Montréal, Canada |
||
| Education | |||||
| Carnegie Mellon University, Pittsburgh, U.S.A.: | |||||
| Aug 1997 | - | May 2005 | Department of Philosophy Doctoral student in Logic, Computation and Methodology |
||
| May 2005 | Ph.D. Thesis: Axiomatics as Engine for Driving Discovery in Mathematics and Science Advisor: Clark Glymour |
||||
| May 2000 | M.Sc. Thesis in Logic and Computation: Richard Dedekind - Axiomatic Foundations of Mathematics Advisor: Wilfried Sieg |
||||
| McGill University, Montréal, Canada: | |||||
| Aug 2003 | - | Dec 2003 | Visiting research student (Department of Philosophy) | ||
| Trinity College Dublin, Ireland: | |||||
| Oct 1994 | - | Jun 1995 | Visiting student (Erasmus scholarship) | ||
| Technical University Darmstadt, Germany: | |||||
| Jan 1997 | Interdisciplinary Diploma Thesis: Intuitionism and Computer Science Advisor: Christoph Kreitz |
||||
| Mar 1992 | - | Mar 1997 | Student of philosophy (Magister-Vorprüfung) | ||
| Oct 1990 | - | Mar 1997 | Student of computer science (Diplom) | ||
| National service | |||||
| Aug 1988 | - | Mar 1990 | Service as conscientuous objector in hospice:
Kreisalten- und Pflegeheim Bad Soden |
||
| School | |||||
| Aug 1985 | - | Jun 1988 | Gymnasiale Oberstufe Schwalbach (Abitur) | ||
| Sep 1979 | - | Jul 1985 | Gesamtschule Eschborn - Gymnasialzweig | ||
| 1972 | - | Aug 1979 | Istituto E. Vendramini, Bassano del Grappa, Italy | ||
| : Home :: Teaching :: Research :: Publications :: Talks :: CV : | © 7/10/08 | ||||