Welcome to the Department of Computer Science
Created in 1968, we are one of oldest computer science departments in the World.
For general enquiries or for further information please contact us at:
Department of Computer Science
Royal Holloway, University of London
Egham TW20 0EX
☎: + 44 (0) 1784 443421
Main contact points
Head of Department: Carlos Matos
Undergraduate admissions: admissions
Postgraduate taught (MSc) admissions: CompSciHelpdesk
Postgraduate research (PhD) admissions: phd-admissions
Directory
Academic staff
Name |
Job title |
Room |
|
Lecturer |
Bedford 1-14 | |
|
Senior Lecturer |
Bedford 2-21 |
|
|
Lecturer |
|
|
|
Senior Lecturer |
Bedford 1-20 |
|
|
Lecturer |
Bedford 1-18 |
|
|
Lecturer |
Bedford 1-14 |
|
|
Lecturer |
McCrea 0-21 |
|
|
Lecturer |
Bedford 1-11 |
|
|
Professor, Co-Director of the Centre for Reliable Machine Learning |
Bedford 2-18 | |
|
Professor, Member of Academia Europea, Fellow of AAIA Digraphs, Algorithms, Access control |
Bedford 2-12 | |
|
Professor, Director of the Centre for Programming Languages and Systems Formal Methods, Infinite-State Systems |
Bedford 2-08 |
|
|
Lecturer |
McCrea 0-14 |
|
|
Professor Generalised parsing, Formal semantics, Programming language design |
Bedford 2-15 |
|
|
Reader Machine learning, Prediction, Universal algorithms, Applications in Finance |
Bedford 2-28 | |
|
Senior Lecturer, CEO of Code Groovers Software engineering methodologies, IT project management |
Bedford 1-21 | |
|
Senior Lecturer Programming languages, concurrency, and verification |
Bedford 2-09 | |
|
Professor |
Bedford 2-32 |
|
|
Professor |
Bedford 2-27 |
|
|
Professor, Head of Department Software engineering, Software evolution and reengineering |
Bedford 1-22 | |
|
Senior Lecturer Machine Learning, Transport, Mobile Computing |
Bedford 2-10 | |
|
Senior Lecturer Distributed systems, Systems security |
Bedford 1-25 |
|
|
Professor, Director of the Centre for Systems and Synthetic Biology |
Bedford 1-11 |
|
|
Lecturer |
McCrea 0-10 |
|
|
Professor |
|
|
|
Senior Lecturer |
Bedford 2-13 |
|
|
Senior Lecturer Formal Methods, Learning-based Verification |
Bedford 2-07 |
|
|
Professor Generalised parsing, Formal semantics, Programming language design |
Bedford 2-14 | |
|
Lecturer |
Bedford 2-25 |
|
|
Professor, Director of Student Experience (School and Department) |
Bedford 2-26 |
|
|
Lecturer |
McCrea 0-13 |
|
|
Professor Artificial Intelligence, Multi-agent Systems, Computational Logic |
Bedford 2-22 |
|
|
Lecturer |
McCrea 0-24 |
|
|
Professor, Co-Director of the Centre for Reliable Machine Learning |
Bedford 2-20 | |
|
Professor, Director of the Centre for Algorithms and Complexity Parameterized Complexity, Constraint Satisfaction Problems |
Bedford 2-11 |
|
|
Professor |
Bedford 2-29 |
|
|
Professor |
Bedford 2-23 |
Teaching fellows
Name |
Room |
|
Vasudha Darbari |
McCrea 0-32 |
| Erjill De Vera |
Bedford 1-26 |
| Christos Dexiades |
Bedford 1-19 |
| Tiger-Lily Goldsmith |
Bedford 1-19 |
| Ilia Nouretdinov |
Bedford 1-26 |
| Swasti Sharma |
McCrea 0-32 |
| Susnas Sourjah |
McCrea 0-32 |
| Amanda Warren |
Bedford 1-19 |
Visiting and Honorary appointments
|
Honorary Research Fellow |
|
|
Visiting Professor |
|
|
Emeritus Professor |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Honorary Fellow |
|
|
Visiting Professor |
|
|
Visiting Professor |
|
|
Emeritus Professor |
|
Industrial Advisory Board
Name |
Company |
|
Jump Trading |
|
|
Pentatonix |
|
|
Blackrock |
|
|
Angelo Haritsis |
Eisler Capital |
|
PWC |
|
|
Accenture |
|
|
Salesforce |
|
|
Aridhia |
|
|
HM Revenue & Customs |
|
|
Valiha Consultancy |
|
|
Gartner |
|
|
BT |
|
|
Huler |
|
|
Shell |
|
|
Shell |
|
|
Fujitsu |
