Programming Languages
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.
Research groups and centres
Academics
Academics
-
Dr Cristian Cadar
Research interests
Software engineering, computer systems, software security, practical techniques for improving software reliability and security.
Location
435, Huxley Building
-
Prof Alastair Donaldson
Research interests
Formal verification for multicore software, software performance optimization.
Location
422, Huxley Building
-
Prof. Sophia Drossopoulou
Personal details
Prof. Sophia Drossopoulou Professor of Programming LanguagesSend email+44 (0)20 7594 8368
Research interests
Concurrent programming, program verification, characterization of program evolution, theorem proving.
Location
559, Huxley Building
-
Prof. Susan Eisenbach
Research interests
Programming Languages, Concurrency and Testing.
Location
569, Huxley Building
-
Dr Tony Field
Research interests
Functional programming, engineering for high performance, simulation.
Location
354, Huxley Building
-
Dr Antonio Filieri
Research interests
Probabilistic software analysis, probabilistic programming, control theory for software engineering, runtime and incremental verification, quantitative and functional software properties.
Location
572, Huxley Building
-
Prof. Philippa Gardner
Personal details
Prof. Philippa Gardner Professor of Theoretical Computer ScienceSend email+44 (0)20 7594 8292
Research interests
Programming languages, program analysis and verification, concurrency and resource reasoning.
Location
453, Huxley Building
-
Prof. Chris Hankin
Personal details
Prof. Chris Hankin Security Science Fellow, Institute for Security Science and TechnologySend email+44 (0)20 7594 7619
Research interests
Security, Program Analysis and Programming Language Theory.
Location
Sherfield Building
-
Prof. Paul Kelly
Research interests
Programming languages, compilers, parallel computing, domain-specific tools and libraries, performance issues, irregular and data intensive applications, performance evaluation, modelling, and prediction.
Location
L3 (upstairs), William Penney Building
304, Huxley Building -
Dr Ben Livshits
Research interests
Security, privacy, program analysis, compilers, software engineering and crowd-sourcing.
Location
569, Huxley Building
-
Prof. Wayne Luk
Research interests
Hardware and architecture, reconfigurable computing, design automation.
Location
434, Huxley Building
-
Dr Sergio Maffeis
Research interests
Software security; network and web security; applications of machine learning to security; security of machine learning; formal methods.
Location
441, Huxley Building
-
Dr. Azalea Raad
Location
Huxley Building
-
Dr Herbert Wiklicky
Research interests
Program analysis, programming languages, semantics, probabilistic models, program synthesis, semantics in computer security, quantum computation.
Location
424, Huxley Building
-
Dr. Nicolas Wu
Research interests
Dr. Wu's research interests are centred around programming languages, where he has made advances in applications of category theory for giving the semantics of programs and algorithms. In particular, his recent work has been focused on showing the connections between domain specific languages, algebraic effect handlers, and structured recursion schemes.
Location
374, Huxley Building