Bernd Fischer


Bernd Fischer Contact Research and Projects Publications Teaching Search People		Bernd Fischer Bernd Fischer School of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom Position: Academic staff in Electronic and Software Systems Extension: 29047 Telephone: Work (Voice): +44 (0)23 8059 9047 Email: b.fischer@ecs.soton.ac.uk URI: http://id.ecs.soton.ac.uk/person/9734 [browse] Interests: automated theorem proving, code generation, formal methods, model checking, model-driven development, program verification, programming languages

School of Electronics and Computer Science
University of Southampton
Southampton
SO17 1BJ
United Kingdom

Position: Academic staff in Electronic and Software Systems
Extension: 29047
Telephone: +44 (0)23 8059 9047
Email: b.fischer@ecs.soton.ac.uk
URI: http://id.ecs.soton.ac.uk/person/9734 [browse]

Interests: automated theorem proving, code generation, formal methods, model checking, model-driven development, program verification, programming languages