Prof. Dr. Heike Wehrheim
| Adresse: | Prof. Dr. Heike Wehrheim | |
| Universität Paderborn | ||
| Fakultät für Elektrotechnik, Informatik und Mathematik | ||
| Warburger Str. 100 | ||
| D-33098 Paderborn | ||
| Deutschland | ||
| Raum: | O4.225 | |
| Tel.: | (05251) 60-4331 | |
| Fax: | (05251) 60-3993 | |
| Email: | wehrheim(at)uni-paderborn.de | |
| Sekretariat: | Elisabeth Schlatt | |
| Raum: O4.125 | ||
| Tel.: 05251 60-3764 | ||
| E-Mail: schlatt(at)mail.upb.de | ||
| Sprechstunden: | Bitte bei Gesprächsbedarf einen Termin per E-Mail (Elisabeth Schlatt) vereinbaren
| |
Curriculum Vitae
| 1987 - 1992 | Informatikstudium an der Universität Bonn |
| 1992 - 1998 | Wissenschaftliche Mitarbeiterin an der Universität Hildesheim |
| 1998 - 2004 | Wissenschaftliche Mitarbeiterin/Assistentin an der Universität Oldenburg |
| seit November 2004 | Professur für Informatik an der Universität Paderborn |
| Juni 96 | Promotion |
| Dez 2002 | Habilitation |
Projekte
- ForMooS (Embedding of an object-oriented formal method in an object-oriented software development process, DFG, 2001-2005)
- Integrated Specification Notations (mit J. Derrick, Sheffield) (Royal Society, 2003 - 2005)
- Assoziation zum Transregio-SFB AVACS (DFG, 2004-2007)
- MoMo (Modelltransformationen und Modellrefactorings für integrierte Spezifikationsformalismen (DFG, 2006 - 2008))
- Academic Research Cooperation Refinement in Integrated Notations (DAAD, 2007 - 2009)
- ViPar (Abstraktionstechniken zur Verifikation lokaler Eigenschaften paralleler Programme) (DFG, 2008 - 2011)
- DoubleCheck (Provably correct model transformations), Kooperation mit FG Engels und A. Rensink, Uni Twente, seit 2006
- SFB 614 Selbstoptimierende Systeme des Maschinenbaus, Teilprojekt B1 (DFG, 2009 - 2013)
- LINA (Modulare Simulationsbeweise für Linearisierbarkeit) (DFG, 2010 - 2013)
- SFB 901 On-The-Fly Computing, Teilprojekte B3 und B4 (DFG 2011 - 2015)