I am programme director for BSc Computer Science and MEng Software Engineering
I am coordinator of the SICSA sub-theme SEMANTICS on high-level parallel computation.
See a summary of my teaching activities.
I am a member of the dependable systems group in the School of Mathematical and Computer Sciences of Heriot-Watt University.
I am looking for potential PhD students in any of the areas described above. Visit my home page for details.