|
Steve Barker
The focus of my research is on the development and
application of declarative languages to problems of
information retrieval and exchange, security and integrity.
office: room 402E, Strand Building
|
|
Anatoli Degtyarev
My main interest is automated deduction in classical and non-classical logics, especially first-order logic with equality and first-order temporal logic. Methods and techniques of automated deduction are used in many areas of computer science, including software and hardware verification, logic and functional programming, deductive databases and artificial intelligence, knowledge representation and reasoning.
|
|
Maribel Fernández (group co-ordinator)
research interests:
- Programming languages (functional, logic, object-oriented,
concurrency, mobility): types, semantics, security.
- Rewrite-based computation models: term and graph rewriting,
lambda-calculus, interaction nets.
office: room 402A, Strand Building
|
|
Agi Kurucz
research interests: modal and temporal logics, algebraic and first-order logic, axiomatisation and decision problems, universal algebra and model theory
office: room 3DA, Main Building, Strand
|
PhD Students and Research Associates
|
Christophe Calves
research interests: Nominal Rewriting
office: room 22F, Main Building, Strand
|
|
|
Elliot Fairweather
research interests: Nominal Techniques, Type systems
|
|
|
Olivier Namet
research interests: tools for graph representation and transformation
office: room 110, Drury Lane
|
|
Nikolaos Siafakas
research interests: Quantum computing, Lambda calculus, Implementation of programming languages
office: room 110, Drury Lane
|
|
|
Matthew Walker
research interests: functional programming and interaction nets
office: room 110, Drury Lane
|
Visiting Researchers
|
|
Nora Szasz (from University ORT, Uruguay)
research interests : Nominal Techniques, Type theory
|
|
|
Alvaro Tasistro (from University ORT, Uruguay)
research interests: Nominal Techniques, Type theory
|
Past Visiting Researchers
|
|
Sandra Alves (from Faculty of Science, University of Porto)
research interests: Lambda Calculus, Type Theory, Formal Systems
|
|
|
Clara Bertolissi
research interests: Interests: Security, Higher-order rewriting, graph rewriting
|
|
|
Ross Duncan (from University of Oxford)
|
|
|
Mario Florido (from University of Porto)
|
|
|
Shinya Sato
office: room 120, Drury Lane
|
Former Members
|
Fabien Fleutot
research interests: Calculi and types for object languages
|
|
Abubakar Hassan
research interests:Interaction Nets
office: room 123, Drury Lane
|
|
Roman Kontchakov
research interests: temporal logic, spatial and description logics, combinations of logics, complexity and decidability
|
|
Ian Mackie
research interests: Lambda calculus, Interaction Nets, Linear Logic, Geometry of Interaction
office: room 402A, Strand Building
|
|
Mikhail Sheremet
research interests:logical and algebraic problems in quasi-varieties of algebraic structures and especially of partial algebras
|
|
Michael Zakharyaschev
I am working in mathematical and computational logic as well as in knowledge
representation and reasoning. My favourites are modal, temporal, spatial,
description, metric, and intuitionistic logics. I find it very exciting to
design combined formalisms such as spatio-temporal logics, analyse their
expressive power, computational complexity and develop reasoning techniques
|
|
|
|
