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]

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