Electronics and Computer Science (ECS), University of Southampton

Electronics and Computer Science (ECS)

You are here

Home ›

Bernd Fischer

Photograph of Dr Bernd Fischer
http://widgets.ecs.soton.ac.uk/image.php?id=person_9734&maxw=250&maxh=300&corners=0&edge=1&checksum=e30c6f06c3ef58536548ebeec182f62dPhotograph of Dr Bernd Fischer
Bernd Fischer

ECS, Faculty of Physical and Applied Sciences
University of Southampton
Southampton, United Kingdom. SO17 1BJ

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

ECS staff options: Edit this page | See intranet page