Adresse
Institut für Informatik
Universität Potsdam
Campus Golm, Raum 1.48
An der Bahn 2
14476 Potsdam
Telefon: +49 (0)331/ 977 3064
Kurzbiographie
- geboren 1969 in Friedrichroda/Thüringen
- 1987-1992 Studium der Mathematik an der Friedrich-Schiller-Universität in Jena
- 1992 Diplom Mathematik
- 1992-1995 Stipendiat an der Friedrich-Schiller-Universität in Jena
- 1995-2000 Wissenschaftlicher Mitarbeiter des Mathematischen Instituts der Universität Leipzig, Abteilung Algebra
- 2001-2004 Softwareentwicklung und Kundenbetreuung für Martin-Schmidt-Softwareentwicklung Rostock
- seit 04/2004 technischer Angestellter des Instituts für Informatik der Universität Potsdam
Publikationen
- mit Nicola Botta, Nuria Brede und Patrik Jansson: Extensional equality preservation and verified generic programming, arXiv preprint arXiv:2008.02123 (2020)
- mit Paola Giannini, Marco Servetto und Elena Zuccha: Tracing sharing in an imperative pure calculus, Science of Computer Programming, Vol. 172 (2019), pp 180-202
- Lech Inequalities for Deformations of Singularities Defined by Power Products of Degree2, Contributions to Algebra and Geometry, Vol. 43, No. 1, pp. 33-37 (2002)
- mit Herrad Werner: Circular stationary solutions in two-dimensional neural fields, Biological Cybernetics, Vol. 85, Nr. 3 (2001)