Programming Languages and Database for ML

The supervisors with research interests in programming languages and database for ML are listed below.

Elizabeth Polgreen

Elizabeth Polgreen Photo
My Website

Lecturer in Programming Languages for Trustworthy Systems

Research

formal program synthesis techniques and the use of synthesis to increase the scalability of verification

Gordon Plotkin

Gordon Plotkin
My Website

Professor (Laboratory for Foundations of Computer Science)

Research

structural operational semantics  (SOS), denotational semantics, theoretical computer science

James Cheney

James Cheney Photo
My Website

Professor and Personal Chair of Programming Languages and Systems

Research

databases and data provenance, programming languages and compilers, generic programming, logic and automated theorem proving,
compression and information theory, XML and related technologies

Jane Hillston

Jane Hillston Photo
My Website

Professor and Personal Chair of Quantitative Modelling

Research

quantitative modelling, stochastic process algebras

Leonid Libkin

Leonid Libkin Photo
My Website

Professor and Chair of Foundations of Data Management

Research

databases, logic in computer science, logic in finite model theory, logic in automata theory

Milos Nikolic

Milos Nikolic Photo
My Website

Lecturer in Database Systems

Research

databases, large-scale data management systems, in-database learning, stream processing, incremental computation, query compilation

Ohad Kammar

Ohad Kammar Photo
My Website

 Royal Society University Senior Research Fellow

Research

applied mathematics, programming language theory, computational effects, domain theory, probabilistic programming, concurrency, access control, staging and metaprogramming, conceptual biology

Rob Van Glabbeek

Rob Van Glabbeek Photo
My Website

Royal Society Wolfson Fellow and Personal Chair of Computer Science

Research

comparative concurrency semantics. Mathematical models and formal languages for the representation of distributed systems and the verification of statements about them

Wenfei Fan

Photo of Wenfei Fan
My Website

Professor and Personal Chair of Web Data Management

Research

database theory and systems

Yang Cao

Yang Cao
My Website

Lecturer in Database Systems

Research

In-database model explanation, transactional caching, transaction scheduling, graph transactions, query optimisation under constraints, bounded evaluation, approximate query processing, graph computing frameworks, graph pattern matching, data quality

This article was published on