Members

Secretary

    PhDs

      Students

      • Kurt Böhm
        • LaTeX
        • Informatik III '17/'18
      • Alexander Marc Mantel
        • LaTeX
        • Informatik III '17/'18
        • Logik und Verifikation '18
        • Informatik III '18/'19
        • Logik und Verifikation '19
      • Jan Henrik Schwede
        • LaTeX
        • Logik und Verifikation '18
        • Informatik III '18/'19
        • Logik und Verifikation '19
      • Paula Böhm
        • Informatik III '19/'20
      • Elisabeth Fittschen
        • Informatik III '19/'20

      Former Students

      • Hayyan Helal
      • Philipp Czerner
      • Hoang Duc Phung
      • Sascha Wolf
      • Alexandra Schumeko
      • Sarah Diedrich
      • Yule Meyer-Olbersleben
      • Thorben Pajunk
      • Michael Heiderich
      • Niklas Fiekas
      • Marc Janßen
      • Fadi Jabbour
      • Tobias Ahlbrecht
      • Marc Maurer
      • Lech Chwalowski
      • Jens Dehnert
      • David Mainzer
      • Michael Köster
      • Dominik Steinborn
      • Bernd Fuhrmann
      • Nils Bulling
      • Tristan Behrens

      Former Members

      • Lic. Federico Schlesinger (2010 until 2015)
      • Dipl.-Inf. Sara Bessling (2014)
      • Dr. Michaela Huhn (2014-2015)
      • Dipl.-Inf. Michael Köster (2009 until 2014)
      • Dr. Pietro Galliani (2014)
      • Dr. Matei Popovici (2013)
      • Dr. rer. nat. Tristan Behrens (2006 until 2012)
      • Prof. Dr. Barbara Hammer (2005 until 2010) now Professor in Bielefeld.
      • apl. Prof. Dr. Matthias Reuter (2005 until 2010)
      • Dr. rer. nat. Dipl.-Inf. Bassam Mokbel (2009 until 2010)
      • Dr. rer. nat. Dipl.-Inf. Andrej Gisbrecht (2009 until 2010)
      • M.Sc. Olufunke Rebecca Vincent (2008 until 2009, 2014)
      • Dr. rer. nat. Peter Novak (2004 until 2009)
      • Dr. rer. nat. Alexander Hasenfuss (2004 until 2009)
      • Dr. rer. nat. Sabine Bostelmann (2004 until 2006)
      • Dr. rer.-nat. Andreas Brüning (2004 until 2006)
      • Dr. rer. nat. Ulrich Frank (until 2006)
      • Dr. rer. nat. Christian Heller (until 2006)
      • Dr. rer. nat. Frank-Michael Schleif (until 2006)
      • Dr. rer. nat. Silke Schomann (until 2006)
      • Dr. rer.-nat. Frank Stamm (2004 until 2005)
      • Dr. rer.-nat. Oscar Zarate-Aguila (2004 until 2005)
      • Dr. rer. nat. Yingqian Zhang (2004 until 2006) now Professor in Rotterdam.
      • Dr. rer. nat. Stefan Geisler (until 2005)
      • Dr. rer. nat. Michal Tanas (until 2005)
      • Dr. rer. nat. Banchar Arnonkijpanich (until 2010)
      • Dr. rer. nat. Juan Carlos Acosta Guadarrama (2005 - 2010) now Professor in Mexico.
      • Dipl.-Päd. Sabine Bohlmann
      • Dipl.-Inf. Jana Görmer
      • Dipl.-Inf. Alexander Landa

       

       

       

       

      Kontakt  Suche  Sitemap  Data Privacy  Imprint
      © TU Clausthal 2019