John Bell, Lecturer
BA MSc(Lond) PhD(Essex)
John Bell's research interests centre on logic and artificial
intelligence knowledge representation and reasoning.
Gianluigi Bellin, Senior Lecturer
Laurea(Padua) PhD(Stanford)
Gianluigi Bellin has produced significant results for the study of
non-commutative logical systems. One of his current long-term research
projects promises both an improved understanding of the geometry of
proof nets and the structure of linear logic. He also holds an
appointment at the University of Verona.
Hanne Gottliebsen, Lecturer
MSc (Aarhus) PhD (St Andrews)
Computational logic and applications to mathematical modelling
Kohei Honda, Reader
MSc PhD(Keio, Japan)
Kohei Honda's work focuses on theories of interacting processes,
semantics of programming languages, types for sequential and concurrent
programs. He is well-known for his work on the asynchronous pi-calculus
and has been concerned with capturing representative programming
language constructs, such as call-by-value, as typed process behaviour.
Matthew Huntbach, Lecturer
BScEng(Lond) MA DPhil(Sus)
Matthew Huntbach's areas of interests are concurrent programming
languages, multi-agent systems, inductive logic programming.
Professor Peter Landin,
Emeritus Professor of Theoretical Computation
MA(Cantab)
Peter Landin's research focuses around programming foundations. His
pioneering research of the 1960s may fairly be said to be the
foundation for much of the last three decades of research in
programming languages.
Pasquale Malacaria, Lecturer
Diploma di Laurea in Filosofia, Diploma d'Etude
Approfondies en Logique et Fondements de l'Informatique, Doctorat de
Logique et Fondements de l'Informatique
Semantics of programming languages and application to static analysis,
computer security. Best known for his collaboration in building the
first fully abstract model of PCF so giving a solution to the longest
standing open problem in the semantics of languages. He has applied his
work to compiler optimisers, generalised flowcharts and computer
security.
Professor Ursula Martin, Professor of Computer Science
BA, MA (Cantab), MSc, PhD (Warwick), FBCS, FIEE, CEng
Ursula Martin's long-term research program concerns the use of
computational logic in mathematics and its applications, including pure
mathematics, symbolic computation, numerical libraries and mathematical
modelling. Her current goal is to develop logical techniques to model
continuous and discrete dynamical systems, with a focus on the needs of
applications.
Professor Peter O'Hearn,
Professor of Semantics and Design of Programming Languages
BSc(Dalhousie) MSc PhD(Queen's, Canada)
Peter O'Hearn is a major figure in moving theoretical work from
functional to more realistic programming languages. He has provided a
semantic account of the essentially irreversible nature of state change
in imperative languages and has opened up new directions in reasoning
about mutable data structures.
Soren Riis, Reader
MSc(Copenhagen) PhD(Oxon)
Soren Riis is particularly motivated by the most famous open complexity
problems where he has recently solved McCarthy's long-standing
'mutilated chessboard' problem. He is currently interested in curious
'complexity gaps' in propositional proof systems.
Professor Edmund Robinson, Professor of Computer Science
MA PhD(Cantab)
Edmund Robinson's research interests are theory of computation and
categorical logic. His is a leading international category theorist who
sets standards of conceptual clarity in semantics. His work on
premonoidal categories has opened up a range of uses in the semantics
of non-functional languages. His work on Dyads is aimed at the rapid
generation of special-purpose compilers.
Mounia Lalmas, Reader
MSc PhD(Glasgow)
Mounia Lalmas's areas of research interest are information retrieval,
logic, uncertainty, combination of evidence.
Jane Reid, Lecturer
MA(St Andrews) MSc(Glasgow)
Jane Reid's work focuses on user-centred aspects of information
retrieval, human-computer interaction. (Also a member of IMC group)
Thomas Rolleke, Lecturer
Diplom der Infomatik, Doktor der Infomatik (Dortmund)
Thomas Rolleke works with systems of information retrieval.
Tassos Tombros, Lecturer
Dip. Eng. (University of Patras, Greece), MSc PhD (Glasgow)
Tassos Tombros's research interests are in document clustering, automatic summarisation, interactive information retrieval and personalisation.
BSc MSc(Lond) PhD(Sheff)
Professor Norman Fenton's research interests are risk assessment and
decision analysis with Bayesian nets. He has achieved international
renown for laying the foundations of the field of software metrics. His
pioneering work in applications of Bayesian nets has been applied to
very many high-stakes and safety-critical environments.
William Marsh, Lecturer
MA(Camb) MSc(Oxon) PhD(Soton)
William Marsh works in the areas of decision analysis, risk assessment,
software engineering.
Marie-Luce Bourguet, Lecturer
Maitrise(Bordeaux) DEA PhD INPG(Grenoble)
Marie-Luce Bourguet's interests are HCI and multi-modal interaction.
Nick Bryan-Kinns, Lecturer
BSc, MSc, PhD
Nick Bryan-Kinns's research interests lie in understanding computer
mediated communication for human activities. His current focus lies in
investigating the nature and requirements of mutual engagement between
participants in collaborations. This is currently explored through
investigation of the nature of mutual engagement in group music
interaction, conceptual work on the anthropomorphising of mass
communication, and developing understandings of what it might mean to
be 'interactive' art.
Patrick Healey, Senior Lecturer
BSc(North) DipAppPsych(Notts) MSc PhD(Edin)
Patrick Healey's interests are computer-supported cooperative work,
computer mediated communication.
Jon Rowson, Senior Lecturer
BSc(Manc) MSc(Essex)
Jon Rowson's research has been centred around the formal specification
of interactive systems.
Tony Stockman, Senior Lecturer
B.Tech, PhD (Bradford)
Tony Stockman works in HCI and distance learning and has a particular
interest in issues of accessibility.
Graham White, Lecturer
BA(Oxon) SM(MIT) DPhil(Oxon)
Graham White's areas of research are category theory and the
formalisation of common sense reasoning (Also a member of Logic and
Semantics group)
Lourdes Agapito, Lecturer
BSc MSc PhD(Complutense, Madrid)
Lourdes de Agapito has developed a set of novel methods drawn from
algebraic projective geometry that enable cameras to be calibrated
directly from video sequences. These can be used to recover the focal
length and camera motion when the camera is panned and zoomed.
Professor Sean Gong, Professor of Visual Computation
BSc(Electron Sci and Tech China) DPhil(Oxon)
Sean Gong's work focuses on computer vision, learning and belief
revision theories. He is one of the most active vision researchers in
the world. He has comprehensively examined the computational nature of
human face recognition under constant dynamic scene change and has
provided a unified treatment of face recognition as a special case in
dynamic vision.
Pengwei Hao, Lecturer
BS, MS (Northwestern Polytechnic University Xi'an, China),
PhD (Institute of Remote Sensing Applications, Chinese Academy of
Sciences)
Pengwei Hao was previously a faculty member at Beijing University. His
research interests focus on image coding, image retrieval, 3D
modelling, mesh coding, non-photorealistic rendering, computer
animation. As an expert in image coding, one of my techniques has been
included in JPEG 2000, the new international standard for image coding.
Peter McOwan, Reader
BSc(Edin) MSc(Aberd) PhD MSc(Lond)
Peter McOwan's research interests are computational models for vision,
neurobiologically inspired hardware and software, visual perception,
and cognitive science. His main work lies in the implementation of
biologically-inspired models of motion capture. Peter McOwan has
produced a model of the human cortical pathway that demonstrates that a
single motion-processing system can be responsible for the perceived
effects in luminance and contrast-modulated stimuli. (Also a member of
IMC group)
Fabrizio Smeraldi, Lecturer
MSc (Genoa), PhD (Lausanne)
The focus of Fabrizio Smeraldi research is on Pattern Recognition and
Learning Theory, mainly in biometrics for authentication and improved
HCI, and he has some experience with neural networks.
Farrukh Alavi, Lecturer
BSc MSc PhD(Lond)
Farrukh Alavi's research interests are video compression, systolic
arrays and applications in finance.
Dimiter Avresky, Reader
MS(TU Sofia) PhD(MIIT Moscow)
Dimiter Avresky works with parallel computing, fault-tolerant
computing, network topologies, systems architecture. He participated in
the modelling of Compaq/Tandem's ServerNet system area network
architecture used in a world-record terabyte sort at Sandia National
Laboratories in the USA. He has also developed dynamic software
reconfiguration techniques to solve the problem of tolerating multiple
node failures in a hypercube.
Silvano Barros, Lecturer
BSc(Brun) MSc(Brun/UMIST) PhD(Brun)
Silvano Barros's work is in the areas of parallel
algorithms/architecture, information retrieval, computer aided design.
Professor Heather Liddell,
Research Professor of Parallel Computing Applications
PhD(Lond)
Professor Heather Liddell interests are parallel languages, algorithms
and applications.
Professor Yakup Paker, Research Professor of Parallel Computing
DegEEng(Tech Uni, Istanbul) MS PhD(Columb, USA)
Professor Yakup Paker's research interests are parallel architectures
and systems. He has participated in the pioneering of virtual studios.
His current projects involve the integration of interactive broadcast
media with the internet and how parallelism can be used to meet the
challenging requirements of 3D motion capture, modelling, transmission
and display.