Royal Holloway, University of London : Department of Computer Science

About Us Research Prospective Students News & Events Students Staff Contact Us Search Home

Home
Academic Staff
Research Staff
Technical Staff
Administrative Staff
PhD Students

Staff and Research Students

Academic Staff
Research Staff
Technical Staff
Administrative Staff
PhD Students

Academics

Gregory Gutin, Professor, Acting Head of Department

G dot Gutin at C S dot R H U L dot A C dot U K
+44 1784 414229
McCrea 127

Graphs and combinatorics (theory, algorithms and applications), combinatorial optimization, and linear and integer programming

R. Adams Robin Adams

Robin dot Adams at C S dot R H U L dot A C dot U K
+44 1784 443690
McCrea 107

Machine support for semi-formalized proof

Alex Clark, Lecturer
Alex dot Clark at C S dot R H U L dot A C dot U K
+44 1784 443430
McCrea 252

Computational linguistics, grammatical inference, dialogue management, and computational models of language acquisition

David Cohen Dave Cohen, Professor

D dot Cohen at C S dot R H U L dot A C dot U K
+44 1784 443692
McCrea 114

Constraint satisfaction problems

Alan Davies

A dot Davies at C S dot R H U L dot A C dot U K
+44 1784 443424
McCrea 124

Computer modelling of large scale scientific problems, especially in the field of laser optics and wave guides.

Roy Davies, Professor

E dot R.Davies at R H U L dot A C dot U K
+44 1784 443429
McCrea 113

Computer analysis of digital pictures for space, transport, medical and industrial applications. Also, Professor in the RHUL Department of Physics

Anna Fukshansky, Lecturer

A dot Fukshansky at C S dot R H U L dot A C dot U K
+44 1784 443698
McCrea 120A

Bioinformatics, mathematical modelling, population genetics

Alex Gammerman, CLRC Director, Professor

A dot Gammerman at C S dot R H U L dot A C dot U K
+44 1784 443434
McCrea 118

Machine Learning and Algorithmic Randomness

Adrian Johnstone, Professor

A dot Johnstone at C S dot R H U L dot A C dot U K
+44 1784 443425
McCrea 110

Language design and compiler theory

Yuri Kalnishkan, Lecturer

Yuri dot Kalnishkan at C S dot R H U L dot A C dot U K
+44 1784 414256
McCrea 248

Computational Learning, on-line prediction, Aggregating Algorithm, Predictive and Kolmogorov Complexity

Zhaohui Luo, Professor

Zhaohui dot Luo at C S dot R H U L dot A C dot U K
+44 1784 443431
McCrea 105

Logic and type theory, computer-assisted formal reasoning, system verification, specification and programming languages

Zhiyuan Luo, Senior Lecturer

Zhiyuan dot Luo at C S dot R H U L dot A C dot U K
+44 1784 443697
McCrea 249

Probabilistic reasoning, machine learning, distributed systems and agent-based computing, and applications of these algorithms and techniques

Fionn Murtagh, Professor

Fionn dot Murtagh at C S dot R H U L dot A C dot U K
+44 1784 443429
McCrea 113

Data and information understanding and coding; Signal and image processing, modelling and visualization; Applications in astronomy, Earth observation, medicine, industrial inspection, environmental science, finance

Alberto Paccanaro, Reader

Alberto dot Paccanaro at C S dot R H U L dot A C dot U K
+44 1784 414239
McCrea 120

Application and development of methods that integrate diverse biological data for solving problems in Computational Biology, e.g. clustering of protein sequences, noise reduction in protein-protein interactions, network biology

Elizabeth Scott, Professor

E dot Scott at C S dot R H U L dot A C dot U K
>+44 1784 443427
McCrea 117

Language design, compiler theory

Glenn Shafer, Professor

Glenn dot Shafer at C S dot R H U L dot A C dot U K
+44 1784 444161
McCrea 123

Statistics and artificial intelligence

Hugh Shanahan, Lecturer

Hugh dot Shanahan at C S dot R H U L dot A C dot U K
+44 1784 443433
McCrea 246

DNA-Protein interactions, solubility as an evolutionary constraint and understanding gene-networks from high-throughput data

Victor Solovyev, Professor

Victor dot Solovyev at C S dot R H U L dot A C dot U K
+44 1784 443673
McCrea 116

Databases of genomic and functional information, methods of analysis of sequences and structures

Kostas Stathis, Reader
Kostas dot Stathis at C S dot R H U L dot A C dot U K
+44 1784 443698
McCrea 108

Representation of Interactive Systems as Games; Models of Cognitive & Autonomous Agents; Artificial Agent Societies; Agent Communication and Coordination; Programmable Agents and Agent Platforms, Web-Services.

Volodya Vovk, Professor

V dot Vovk at C S dot R H U L dot A C dot U K
+44 1784 443426
McCrea 111

Predictive and Kolmogorov complexity, algorithmic randomness, computer learning, foundations of statistics and probability, finance

Chris Watkins, Reader

C dot J.Watkins at C S dot R H U L dot A C dot U K
+44 1784 443419
McCrea 121

Machine learning, particularly reinforcement learning, mathematical finance, and kernel methods

Anders Yeo, Reader

Anders dot Yeo at C S dot R H U L dot A C dot U K
+44 1784 443694
McCrea 251

Graph Theory, Complexity Theory, Combinatorial Optimization, Operational Research

Return to top of page

Research Staff

B. Burford B Burford

Brian dot Burford at C S dot R H U L dot A C dot U K

+44 1784 443912
McCrea 112

Machine learning methods for medical diagnosis

Alexey Chernov
Alexey dot Chernov at C S dot R H U L dot A C dot U K
+44 1784 443912
McCrea 112

Practical competitive prediction

Paidi Creed Patrick Creed
Patrick dot Creed at C S dot R H U L dot A C dot U K
+44 1784 443437
McCrea 106

The complexity of valued constraints

Eun Jung Kim
E dot J dot Kim at C S dot R H U L dot A C dot U K
+44 1784 443437
McCrea 119

Combinatorial Optimisation

Ilia Nouretdinov

I dot Nouretdinov at C S dot R H U L dot A C dot U K
+44 1784 443912
McCrea 112

Statistical learning

Haixuan Yang
Haixuan dot Yang at C S dot R H U L dot A C dot U K
+44 1784 443690
McCrea 107

Development of a graph-theoretic approach to predict protein function by integrating large scale heterogeneous data