Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.

ID: 24955918

linkhttp://www.soundandcomplete.org calendar_today17-03-2009 21:12:45