Formal Methods and Security People

People in the Formal Methods and Security group are:

Academic Staff

NameRolePhoneEmailRoom
James Heather Senior Lecturer 01483 689636 07 BB 02
Mark Manulis Senior Lecturer 01483 683911 34 BB 02
Steve Schneider Professor of Computing 01483 689637 08 BB 02
Helen Treharne Senior Lecturer 01483 683161 13 BB 02

Research Staff

NameRolePhoneEmailRoom
Chris Culnane Research Fellow 01483 682646 27 BB 02

Research Students

NameRolePhoneEmailRoom
Evangelos Aktoudianakis Research Student, FMS 01483 686059 26 BB 02
Ali Alshehri Research Student, FMS 01483 682263 36 BB 02
Franziskus Kiefer Research Student, FMS 01483 682263 36 BB 02
Veronika Kuchta Research Student, FMS
Harshana Liyanage Research Student, FMS
Murat Moran Research Student, FMS 01483 682263 36 BB 02
James Sharp Research Student, FMS
Efstathios Stathakidis Research Student, FMS 01483 682263 36 BB 02

Visiting Staff

NameRolePhoneEmailRoom
Roger Peel Senior Visiting Fellow

Page Owner: css1mc
Page Created: Thursday 12 March 2009 12:52:43 by css1mc
Last Modified: Wednesday 3 March 2010 17:23:49 by css1mc
Expiry Date: Saturday 12 June 2010 12:52:19
Assembly date: Tue Mar 26 22:48:22 GMT 2013
Content ID: 3360
Revision: 2
Community: 1028