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 vereinbaren Sie bei Gesprächsbedarf einen Termin per E-Mail (Elisabeth Schlatt)


Curriculum Vitae

1987 - 1992 Informatikstudium an der Universität Bonn
1992 - 1998 Wissenschaftliche Mitarbeiterin an der Universität Hildesheim
1998 - 2004Wissenschaftliche Mitarbeiterin/Assistentin an der Universität Oldenburg
seit November 2004Professur für Informatik an der Universität Paderborn
Juni 96 Promotion
Dez 2002Habilitation

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)
  • LINA 4 WM (Linearisierbarkeitsbeweise für schwache Speichermodelle) (DFG, 2015 - 2017)

Publikationen

Impressum | Webmaster | Letzte Änderungen am : 19.01.2015