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.

Conference Day
Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

14:00 - 15:30
14:00
30m
Talk
Student Interaction Activity
PLMW
Isil DilligUniversity of Texas, Austin, Ross TateCornell University
14:30
30m
Talk
Automata and Coinduction
PLMW
Alexandra SilvaRadboud University Nijmegen
Media Attached
15:00
30m
Talk
Unaccustomed As I Am to Public Speaking
PLMW
John HughesChalmers University of Technology
Media Attached