People

Dr Norbert Voelker

Honorary Senior Lecturer
School of Computer Science and Electronic Engineering
Dr Norbert Voelker

Profile

Biography

Seehttp://csee.essex.ac.uk/staff/norbert/

Research and professional activities

Research interests

Theorem proving

Formal methods for the analysis and verification of software systems

Teaching and supervision

Publications

Conferences (1)

Cragg, L., Hu, H. and Voelker, N., (2007). Modularity and Mobility of Distributed Control Software for Networked Mobile Robots

Contact

norbert@essex.ac.uk

Location:

Colchester Campus

Academic support hours:

P/T