Research in Programming Languages and Systems at Imperial spans foundational issues in language semantics right through to the design and implementation of new languages, including compilers and domain-specific techniques to achieve performance, parallelism and correctness.

Key areas include: programming language semantics and type systems, including type systems for concurrent, distributed and parallel computing, and semantics for web programming languages; new programming models and domain-specific languages for emerging application areas; domain-specific code generation and optimization; runtime systems and operating system support for concurrency, parallelism and energy efficiency; program analysis techniques for improving the reliability and security of software at various levels of abstraction, from systems software through to web applications; techniques and tools for rigorous testing of programming language implementations; and techniques and tools for reasoning about concurrency and parallelism in modern programming languages.

PL

Academics

Academics

  • Dr Cristian Cadar

    CC

    Personal details

    Dr Cristian Cadar Reader in Software Reliability

    +44 (0)20 7594 8244

    Research interests

    Software Engineering, Computer Systems and Software Security, with a focus on building practical techniques for improving the reliability and security of software systems.

    Location

    435, Huxley Building

  • Dr Alastair Donaldson

    AD

    Personal details

    Dr Alastair Donaldson Reader

    +44 (0)20 7594 8266

    Research interests

    Formal verification techniques for multicore software. Software performance optimization for multicore processors.

    Location

    422, Huxley Building

  • Prof. Sophia Drossopoulou

    SD

    Personal details

    Prof. Sophia Drossopoulou Professor of Programming Languages

    +44 (0)20 7594 8368

    Research interests

    Object Capability Policies, Concurrent Programming, Program Verification, Characterization of Program Evolution and Theorem Proving.

    Location

    559, Huxley Building

  • Prof. Susan Eisenbach

    SE

    Personal details

    Prof. Susan Eisenbach Professor in Computing

    +44 (0)20 7594 8264

    Research interests

    Programming Languages, Concurrency and Testing.

    Location

    569, Huxley Building

  • Dr Tony Field

    TF

    Personal details

    Dr Tony Field Reader in Performance Engineering

    +44 (0)20 7594 8364

    Research interests

    Engineering for High-Performance, Virtual-time program execution (VTE), Functional programming, Individual-based models (IbMs).

    Location

    354, Huxley Building

  • Prof. Philippa Gardner

    PG

    Personal details

    Prof. Philippa Gardner Professor of Theoretical Computer Science

    +44 (0)20 7594 8292

    Research interests

    JavaScript, Concurrency and Resource Reasoning.

    Location

    453, Huxley Building

  • Prof. Chris Hankin

    CH

    Personal details

    Prof. Chris Hankin Director, Institute for Security Science & Technology

    +44 (0)20 7594 7619

    Research interests

    Security, Program Analysis and  Programming Language Theory.

    Location

    Sherfield Building

  • Prof. Paul Kelly

    PK

    Personal details

    Prof. Paul Kelly Professor of Software Technology

    +44 (0)20 7594 8332

    Research interests

    Languages, compilers, operating systems for parallel computing. Domain-specific tools and active libraries. Computer systems issues underlying performance. Software tools for portable parallel programming. Irregular and data-intensive applications. Applying a broad range of mathematical and theoretical ideas to compute...

    Location

    Level 3 (upstairs), William Penney Building & room 304, Huxley Building

  • Dr Ben Livshits

    BL

    Personal details

    Dr Ben Livshits Reader

    Research interests

    Security, Privacy, Program Analysis, Compilers, Software Engineering and Crowdsourcing.

    Location

    Huxley Building

  • Prof. Wayne Luk

    WL

    Personal details

    Prof. Wayne Luk Professor of Computer Engineering

    +44 (0)20 7594 8313

    Research interests

    Hardware and Architecture, Reconfigurable Computing, Design Automation.

    Location

    434, Huxley Building

  • Dr Sergio Maffeis

    SM

    Personal details

    Dr Sergio Maffeis Senior Lecturer

    +44 (0)20 7594 8390

    Research interests

    Computer Security, Web Programming and Process Calculi.

    Location

    441, Huxley Building

  • Dr Herbert Wiklicky

    HW

    Personal details

    Dr Herbert Wiklicky Reader in Computer Science

    +44 (0)20 7594 8206

    Research interests

    Program Analysis, semantics of programming languages, Probabilistic Models, Program Synthesis, semantics in Computer Security and Quantum Computation.

    Location

    424, Huxley Building

  • Prof. Nobuko Yoshida

    NY

    Personal details

    Prof. Nobuko Yoshida Professor of Computing

    +44 (0)20 7594 8240

    Research interests

    Theoretical Computer Science.

    Location

    556, Huxley Building