Prof. Dr. Heike Wehrheim
| Address: | Prof. Dr. Heike Wehrheim |
| University of Paderborn | |
| Faculty for Electrical Engineering, Computer Science and Mathematics | |
| Warburger Str. 100 | |
| D-33098 Paderborn | |
| Germany | |
| Office: | O4.225 |
| Phone: | ++49 5251 60-4331 |
| Fax: | ++49 5251 60-3993 |
| Email: | wehrheim(at)uni-paderborn.de |
| Administration: | Elisabeth Schlatt |
| Phone: ++49 5251 60-3764 | |
E-Mail: schlatt(at)mail.upb.de | |
| Office Hours: | Please send an e-mail to Elisabeth Schlatt for an appointment |
Curriculum Vitae
| 1992 | Master (Diplom) in Computer Science from the University of Bonn |
| 1992 - 1998 | Research Assistant (Wissenschaftliche Mitarbeiterin) at the university of Hildesheim |
| 1998 - 2004 | Research Assistant at the university of Oldenburg |
| since November 2004 | Professor for computer science at the university of Paderborn |
| June 96 | PhD defense |
| Dec 2002 | Habilitation |
Projects
- ForMooS (Embedding of an object-oriented formal method in an object-oriented software development process, DFG, 2001-2005)
- Integrated Specification Notations (with J. Derrick, Sheffield) (Royal Society, 2003 - 2005)
- Association to Transregio-SFB AVACS (DFG, 2004-2007)
- MoMo (Model transformations and model refactorings for integrated specification formalisms, DFG, 2006 - 2008)
- Academic Research Cooperation Refinement in Integrated Notations (DAAD, 2007 - 2009)
- Collaborative Research Center Self-optimizing Concepts and Structures in Mechanical Engineering, Subproject B1 (DFG, 2009-2013)
- LINA (Thread modular simulations proofs of linearizability) (DFG, 2010 - 2013)