Formal Methods and Security People
People in the Formal Methods and Security group are:
Academic Staff
| Name | Role | Phone | Room | |
|---|---|---|---|---|
| James Heather | Senior Lecturer | 01483 689636 | j.heather@surrey.ac.uk | 07 BB 02 |
| Mark Manulis | Senior Lecturer | 01483 683911 | m.manulis@surrey.ac.uk | 34 BB 02 |
| Steve Schneider | Professor of Computing | 01483 689637 | s.schneider@surrey.ac.uk | 08 BB 02 |
| Helen Treharne | Senior Lecturer | 01483 683161 | h.treharne@surrey.ac.uk | 13 BB 02 |
Research Staff
| Name | Role | Phone | Room | |
|---|---|---|---|---|
| Chris Culnane | Research Fellow | 01483 682646 | c.culnane@surrey.ac.uk | 27 BB 02 |
Research Students
| Name | Role | Phone | Room | |
|---|---|---|---|---|
| Evangelos Aktoudianakis | Research Student, FMS | 01483 686059 | e.aktoudianakis@surrey.ac.uk | 26 BB 02 |
| Ali Alshehri | Research Student, FMS | 01483 682263 | a.a.alshehri@surrey.ac.uk | 36 BB 02 |
| Franziskus Kiefer | Research Student, FMS | 01483 682263 | f.kiefer@surrey.ac.uk | 36 BB 02 |
| Veronika Kuchta | Research Student, FMS | v.kuchta@surrey.ac.uk | ||
| Harshana Liyanage | Research Student, FMS | h.liyanage@surrey.ac.uk | ||
| Murat Moran | Research Student, FMS | 01483 682263 | m.moran@surrey.ac.uk | 36 BB 02 |
| James Sharp | Research Student, FMS | j.h.sharp@surrey.ac.uk | ||
| Efstathios Stathakidis | Research Student, FMS | 01483 682263 | e.stathakidis@surrey.ac.uk | 36 BB 02 |
Visiting Staff
| Name | Role | Phone | Room | |
|---|---|---|---|---|
| Roger Peel | Senior Visiting Fellow | r.peel@surrey.ac.uk |
