TU BRAUNSCHWEIG
Dipl. Inform. Daniel Schwencke
0531 / 391 9522 Telefon
0531 / 391 9529 Fax
ed.sb-ut.sc.iti@ekcnewhcs E-Mail
Technische Universität Braunschweig
Institut für Theoretische Informatik
Mühlenpfordtstr. 22-23
D-38106 Braunschweig

Herzlich Wilkommen auf meiner Homepage!

Ich arbeite seit Oktober 2007 am Institut für Theoretische Informatik. Meine Forschungsinteressen liegen im Bereich der Kategorientheorie und Koalgebra, insbesondere beschäftige ich mich mit Kogleichungslogik, iterativen Algebren und Distributivgesetzen.


Forschung


Lehre

 

WS 2010/11

SoSe 2010

WS 2009/10

SoSe 2009

WS 2008/09

  • Grundlagen der Verifikation

  aktualisiert am 08.04.2011
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang