Dr.-Ing. Monika Sturm

Belonging to the
Chair of Automata Theory

Address

Dresden University of Technology
Department of Computer Science
Institute for Theoretical Computer Science
D-01062 Dresden

Phone, Fax, Email

Phone: +49 (0) 351 463 38423
Fax : +49 (0) 351 463 37959
Email: sturm@tcs.inf.tu-dresden.de

Visiting Address

Nöthnitzer Str. 46
Room 3023
Dresden-Südvorstadt

Teaching Activities (WS 2009/10)

• Informatik für Biologen
  
• Funktionale Programmierung und Typtheorie

Teaching Activities (WS 2008/09, SS 2009)

• Funktionale Programmierung und Typtheorie
• Grundlagen der Theoretischen Informatik I
• Grundlagen der Theoretischen Informatik II
• Molekulares Rechnen (in vitro und in vivo)
  

Teaching Activities (WS 2007/08, SS 2008)

• Grundlagen der Theoretischen Informatik I
• Grundlagen der Theoretischen Informatik II
• Funktionale Programmierung und Typtheorie
• Molekulares Rechnen (in vitro und in vivo)
  

Research Activities

• Research Group "Computing with Molecules"

Selected Publications

Books

Preface Contents

Th. Hinze, M. Sturm. Rechnen mit DNA - Eine Einführung in Theorie und Praxis. (Computing with DNA - An Introduction into Theory and Practice.) Oldenbourg Wissenschaftsverlag München, 316 pp., 2004, ISBN 3-486-27530-5 The new German-speaking book provides a comprehensive and systematic introduction into the interdisciplinary field of DNA Computing including its mathematical and molecular biological background. DNA Computing is focussed on biological computers whose storage medium and data carrier is formed by organic molecules. Appropriate molecular biological and biochemical processes perform computational operations inside wet test tubes. DNA-based algorithms use a massive data parallelism. This leads to a performance of DNA computers that can challenge the electronic state of the art technology. There are many interesting practical applications in many branches. Their commercialization has already begun. The transfer of basic knowledge about DNA computing is completed by the detailled introduction of models, methods, and techniques that prepare practical in-vitro implementations in the laboratory. Particularly process simulations on a submolecular level based on thermodynamics and reaction chemistry are considered.

Patents

• 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 (disclosed 2003).
• E.P. Stoschek, M. Sturm, T. Hinze, et al. Molekularbiologisches Verfahren zur Lösung von NP-Problemen (Molecular Biological Method for solving NP Problems). Deutsches Patent DE 198 53 726 C2, IPC C12N 15/10, Deutsches Patentamt München, erteilt 2003 (granted 2003).

Journals and Conferences

• 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 and in C.S. Calude, M.J. Dinnen, G. Paun, editors, Preliminary Proceedings Workshop on Multiset Processing (WMP2000), Curtea de Arges, Romania, CDMTCS Research Report No. 140, pp. 236-248, 21-25 August, 2000.
• 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, U. Hatnik, M. Sturm. An object-oriented simulation of real occuring molecular biological processes for DNA computing and its experimental verification. DNA7 - DNA Based Computers, 10.-13.06.2001, USA.
• T. Hinze, M. Sturm. A universal functional approach to DNA computing and its experimental practicability. In Preliminary Proceedings 6th DIMACS Workshop on DNA Based Computers, held at the University of Leiden, Leiden, The Netherlands, 13-17 Juni 2000, page 257. Poster. Postscript/gzip.
• 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. Postscript/gzip.
• E. P. Stoschek, M. Sturm, T. Hinze. On a DNA experiment for solving a certain NP-complete problem. Technischer Report, April 1999. Postscript/gzip.
• T. Hinze, M. Sturm. A universal functional approach to DNA computing and its experimental practicability. Technischer Report, Juni 2000. Postscript/gzip.