E-Mail

Lehre (Auswahl)

• Formale Systeme (WiSe 2019/20)
• Proseminar: Ausgewählte Themen der Theoretischen Informatik (WiSe 2019/20)
• Proseminar: Ausgewählte Themen der Theoretischen Informatik (SoSe 2019)
• Informatik für Biologen (WiSe 2018/19)
• Proseminar: Ausgewählte Themen der Theoretischen Informatik (WiSe 2018/19)
• Informatik für Biologen (WiSe 2017/18)
• Proseminar: Ausgewählte Themen der Theoretischen Informatik (SoSe 2018)
• Formale Systeme
• Proseminar: Ausgewählte Themen der Theoretischen Informatik (WiSe 2017/18)
• Theoretische Informatik und Logik
• Funktionale Programmierung und Typtheorie
• Molekulares Rechnen (in vitro und in vivo)
• Proseminar: Die Unvollständigkeitssätze von Kurt Gödel
• Proseminar: Perlen der Theoretischen Informatik
• Seminar: Extensions of Description Logics
• Forschungsprojekt Grundlagen
• Forschungslinie - Einführung in die Forschung
• Grundlagen der Theoretischen Informatik I
• Grundlagen der Theoretischen Informatik II

Forschung

• Unkonventionelle Berechnungsmodelle
• Biologisch inspirierte Berechnungsmodelle
• Modellierung biologischer Systeme und ihrer Eigenschaften
• Getypte Lambda-Kalküle
• Typkonzepte für funktionale Programmiersprachen
• Verifikation und Programmtransformation in der funktionalen Programmierung

Ausgewählte Veröffentlichungen

• T. Zerjatke and M. Sturm. Solving a PSPACE-complete problem by gene assembly. Journal of Logic and Computation. 23(4):897-908, 2013.
• T. Hinze, M. Sturm. Rechnen mit DNA - Eine Einführung in Theorie und Praxis. Oldenbourg Wissenschaftsverlag München, 316 S., 2004.
• M. Sturm, T. Hinze. Verfahren zur Ausführung von mathematischen Operationen mittels eines DNA-Computers und DNA-Computer hierzu. Anmeldung als Deutsches Patent DE 101 59 886 A1, IPC G06N 3/00, Deutsches Patentamt München, offengelegt 2003.
• E.P. Stoschek, M. Sturm, T. Hinze, et al. Molekularbiologisches Verfahren zur Lösung von NP-Problemen. Deutsches Patent DE 198 53 726 C2, IPC C12N 15/10, Deutsches Patentamt München, erteilt 2003.
• C. Hofmann, M. Sturm. DNA-basierte Modelle - eine spieltheoretische Verifikation. In R. Freund, M. Oswald (Editoren), Tagungsband 16. Theorietag, TU Wien. Austria, 2006.
• S. Voigt, M. Sturm. DNA-Computing in vivo. In R. Freund, M. Oswald (Editoren), Tagungsband 16. Theorietag, TU Wien. Austria, 2006.
• T. Hinze, U. Hatnik, M. Sturm. An object-oriented simulation of real occurring molecular biological processes for DNA computing and its experimental verification. In N. Jonoska, N.C. Seeman, editors, DNA Computing. Proceedings Seventh International Workshop on DNA-Based Computers (DNA7), Tampa, FL, USA, 2001, Revised Papers. Series Lecture Notes in Computer Science, ISBN 3-540-43775-4, Vol. 2340, pp. 1--13, Springer Verlag, 2002.
• M. Sturm, T. Hinze. Distributed Splicing of RE with 6 Test Tubes. Romanian Journal of Information Science and Technology, ISSN 1453-8245, Editura Academiei Romane 4(1-2):211-234, 2001.
• U. Hatnik, T. Hinze, M. Sturm. A Probalistic Approach to Description of Molecular Biological Processes on DNA and Their Object Oriented Simulation. In V.V. Kluev, N.E. Mastorakis, editors, Proceedings WSES International Conference on Simulation (SIM2001), ISBN 960-8052-40-8, Malta, 01-06 September, 2001.
• E.P. Stoschek, M. Sturm, T. Hinze. DNA-Computing - ein funktionales Modell im laborpraktischen Experiment. Informatik Forschung und Entwicklung. ISSN 0178-3564, Springer Verlag 16(1):35-52, 2001.
• T. Hinze, M. Sturm. Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation. In R. Freund, editor, Proceedings Theorietag 2000, pages 185-189. TU Wien, Austria, September 2000.