Next: University of Edinburg
Up: Progress Report
Previous: University of Darmstadt
University of Durham
In the year 1999, the Durham team has mainly been working on (1) coercive
subtyping, (2) implementation of proof checker Plastic, and (3) functional
programming with dependent types. Shenwei Yu has passed his PhD viva with
a thesis on model-checking and verification of concurrent programs. The
group is further strengthened by having Dr Randy Pollack and Conor McBride
join us as researchers.
Next: University of Edinburg
Up: Progress Report
Previous: University of Darmstadt