Welcome to the Department of Computer Science
Created in 1968, we are one of oldest computer science departments in the World.
We are located in the Bedford Building. Please follow this link for a campus map and this one for directions to Royal Holloway.
For general enquiries or for further information please contact us at:
Department of Computer Science
Royal Holloway, University of London
Egham TW20 0EX
telephone: + 44 (0) 1784 443421
fax: + 44 (0) 1784 439786
Main contact points
(with links to e-mail addresses)
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 |
Tel no. |
|
Professor |
+44 1784 276792 |
||
|
Lecturer |
|
|
|
|
Professor |
|
+44 1784 443692 |
|
|
Lecturer |
|
|
|
|
Lecturer |
|
|
|
|
Lecturer |
|
|
|
|
Lecturer |
|
+44 1784 414686 |
|
|
Lecturer |
|
|
|
|
Professor Co-Director of the Centre for Reliable Machine Learning |
+44 1784 443434 |
||
|
Professor Member of Academia Europea Fellow of AAIA Digraphs, Algorithms, Access control |
|
+44 1784 414229 |
|
|
Professor Formal Methods, Infinite-State Systems |
|
+44 1784 443673 |
|
|
Lecturer |
|
|
|
|
Professor Generalised parsing, Formal semantics, Programming language design |
|
+44 1784 443425 |
|
|
Reader Machine learning, Prediction, Universal algorithms, Applications in Finance |
+44 1784 414256 |
||
|
Senior Lecturer Software engineering methodologies, IT project management |
+44 1784 443424 |
||
|
Lecturer Programming languages, concurrency, and verification |
|
||
|
Professor |
|
+44 1784 443431 |
|
|
Professor |
|
+44 1784 443697 |
|
|
Professor, Head of Department Software engineering, Software evolution and reengineering |
+44 1784 414161 |
||
|
Senior Lecturer Distributed systems, Systems security |
|
+44 1784 276034 |
|
|
Professor |
|
+44 1784 414239 |
|
|
Lecturer |
|
|
|
|
Teaching Fellow |
|
+44 1784 276821 |
|
|
Lecturer |
|
+44 1784 276827 |
|
|
Lecturer Formal Methods, Learning-based Verification |
|
+44 1784 443690 |
|
|
Professor Generalised parsing, Formal semantics, Programming language design |
+44 1784 443427 |
||
|
Lecturer |
|
+44 1784 917112 |
|
|
Professor Director of Student Experience (School and Department) |
|
+44 1784 443433 |
|
|
Professor Director of Research Artificial Intelligence, Multi-agent Systems, Computational Logic |
|
+44 1784 443698 |
|
|
Professor |
+44 1784 443426 |
||
|
Professor Director of the Centre for Algorithms and Complexity Parameterized Complexity, Constraint Satisfaction Problems |
|
+44 1784 443429 |
|
|
Professor |
|
+44 1784 443419 |
|
|
Reader |
|
|
Research staff
Name |
Job title |
Room |
|
Research Associate |
McCrea 112 |
|
|
Research Associate |
McCrea 112 |
Research students
Name |
|
Jack Pellen-Pickersgill |
|
Metagenomics, Human microbiome, Explainable AI |
Visiting and Honorary appointments
|
Honorary Research Fellow |
|
|
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 |
