### Address

Computer Science Institute

University of Potsdam

Campus Golm, Building 70

An der Bahn 2

14476 Potsdam, Germany

Phone: +49 (0)331/ 977 3064

### Vita

- born 1969 in Friedrichroda/Thuringia
- 1987-1992 studied mathematics at Friedrich Schiller University, Jena
- 1992 Diploma degree in mathematics
- 1992-1995 Federal state scholarship at Friedrich Schiller University, Jena
- 1995-2000 Research assistant at Algebra department of the Mathematical Institute at University Leipzig
- 2001-2004 Software development and customer service for Martin-Schmidt-Softwareentwicklung
- since 04/2004: Technical Assistant at the Computer Science Institute of the University Potsdam

### Publications

- with Nicola Botta, Nuria Brede and Patrik Jansson: Extensional equality preservation and verified generic programming, arXiv preprint arXiv:2008.02123 (2020)
- with Paola Giannini, Marco Servetto and 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)
- with Herrad Werner: Circular stationary solutions in two-dimensional neural fields, Biological Cybernetics, Vol. 85, Nr. 3 (2001)