Skip Navigation

Academic Staff

Dr Norbert Völker Dipl Math Bochum, Dr -Ing FernUniversität Hagen



Position in departmentDirector of Undergraduate Studies
Staff positionSenior Lecturer
E-mailnorbert (non Essex users should add @essex.ac.uk)
Telephone2258 (non Essex users should add 01206-87 to the beginning of this number)
Room1NW.5.3D
BiographyMember of the Foundations and Applications Research Group
Websitehttp://dces.essex.ac.uk/staff/norbert
Research interests
  • Theorem proving
  • Formal methods for the analysis and verification of software systems

(See also: staff research interests by category)

<< Back

© Copyright 2012, University of Essex. All rights reserved. Last updated: 13 October 2011, 11:13:29 .
 Maintained by ces-webmaster (non-essex users should add @essex.ac.uk to create full e-mail address).