Write a Blog >>
Tue 19 Jan 2016 14:30 - 15:00 at Room St Petersburg III - Session III

I am a senior lecturer at the Programming Principles, Logic and Verification Group, University College London.My main research focuses on the modular development of specification languages and algorithms for models of computations. A lot of my work is developed from the unifying perspective offered by coalgebra, a mathematical framework established in the last decades.

Tue 19 Jan

PLMW-2016-home
14:00 - 15:30: PLMW - Session III at Room St Petersburg III
PLMW-2016-home145320840000014:00 - 14:30
Talk
PLMW-2016-home145321020000014:30 - 15:00
Talk
Media Attached
PLMW-2016-home145321200000015:00 - 15:30
Talk
Media Attached