Academic Staff

Dr Norbert Völker

Dipl Math Bochum, Dr -Ing FernUniversität Hagen

	Position:	Lecturer / Director of Teaching
	E-mail:	norbert (non-essex users should add @essex.ac.uk)
	Telephone:	+44 (0)1206 87-2258
	Room:	4B.527

Further Information

• Member of the Foundations and Applications Research Group

• Research Interests: Theorem proving; Developmment of embedded software and real-time systems; InterPROM: Interoperable Collaborative Process Management; Development of e-business/ e-commerce/ e-government toolkits with ARFS; Formal methods for the analysis and verification of software systems. (See also: staff research interests by category)

• Personal web pages