Electronics and Computer Science (ECS), University of Southampton

Electronics and Computer Science (ECS)

Bernd Fischer

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

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

Position: Visiting academic staff in Other (non-ECS but in our database)
Extension: 29047
Telephone: Work (Voice): +44 (0)23 8059 9047
Email: b.fischer@ecs.soton.ac.uk
Homepage: http://www.cs.sun.ac.za/~bfischer/
URI: http://id.ecs.soton.ac.uk/person/9734 [browse]

Bernd works with:

This list of people is sourced from RKBExplorer, the result of an ECS project. Click on the "explain" link to the right of each person to find out how they are connected.
Note: the explain link requires heavy processing and may take some time to load.

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