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
Office: O4.225, mornings only

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 - 2004Research Assistant at the university of Oldenburg
since November 2004Professor for computer science at the university of Paderborn
June 96 PhD defense
Dec 2002Habilitation

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)
  • CRC 901 On-The-Fly-Computing, subprojects B3 and B4 (DFG 2011 - 2015)
  • LINA 4 WM (Linearizabiliy proofs on weak memory models) (DFG 2015 - 2017)
 

Publications

Imprint | Webmaster | Recent changes: 19.01.2015