Content-type: text/html Title

Prof. Rod Burstall

generated from SQL Database

Teaching
Email: rb
Room 2618, JCMB
Telephone 505134

Research Groups

Crisis

Formal Development of Programs and Systems

Formal Development of Programs and Systems

Happiness

Old Research Projects

Verifying garbage-collection algorithms using the PVS theorem prover.

Research Interests

Many and Various