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 Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change
|14:00 - 14:30|
|14:30 - 15:00|
Alexandra SilvaRadboud University NijmegenMedia Attached
|15:00 - 15:30|
John HughesChalmers University of TechnologyMedia Attached