Dr. Bianca Truthe

* 10.01.1975 in Magdeburg

1993 Abitur (Werner-von-Siemens-Gymnasium Magdeburg)

1999 Diplom in Informatik (Otto-von-Guericke-Universität Magdeburg)

2005 Promotion in Theoretischer Informatik (Otto-von-Guericke-Universität Magdeburg)

Lehre

Vorlesungen
SS 2013: Formal models for natural languages (IF, DKE)
WS 2012/13: Coding Theory and Cryptography (IF)
SS 2012: Beschreibungskomplexität (IF)
SS 2011: Coding Theory and Cryptography (IF)
SS 2011: Formale Modelle für natürliche Sprachen (IF)
WS 2010/11: Formalsprachliche Modelle biologischer Prozesse (IF)
SS 2010: Beschreibungskomplexität (IF)
WS 2009/10: Formale Modelle für natürliche Sprachen (IF)
SS 2009: Bildgrammatiken (IF)
SS 2008: Beschreibungskomplexität (IF)
WS 2007/08: Formale Modelle für natürliche Sprachen (IF)
Übungen zu folgenden Vorlesungen
WS 2012/13: Logik (IF, CV, IngIF)
WS 2011/12: Logik (IF, CV, IngIF)
WS 2010/11: Logik (IF, CV, IngIF)
WS 2009/10: Logik (IF, CV, IngIF)
WS 2008/09: Logik (IF, CV, CSE)
SS 2005: Theoretische Informatik I (CV 04)
WS 2004/05: Theoretische Informatik II (CV 03)
SS 2004: Theoretische Informatik I (CV 03)
WS 2003/04: Logik (CV, WIF 03)
Theoretische Informatik II (CV 02)
SS 2003: Theoretische Informatik I (CV 02)
WS 2002/03: Theoretische Informatik II (CV 01)
SS 2002: Theoretische Informatik I (CV 01)
WS 2001/02: Theoretische Informatik II (CV 00)
SS 2001:Theoretische Informatik I (CV 00)

Tagungen, Veröffentlichungen, Adresse

[Magdeburg]/ [Universität]/ [Fakultät]/ [Institut]/ [Arbeitsgruppe]