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 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
Research interests
Formal verification techniques for multicore software. Software performance optimization for multicore processors.
Location
422, Huxley Building
-
Prof. Sophia Drossopoulou
Personal details
Prof. Sophia Drossopoulou Professor of Programming LanguagesSend email+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
Research interests
Programming Languages, Concurrency and Testing.
Location
569, Huxley Building
-
Dr Tony Field
Research interests
Engineering for High-Performance, Virtual-time program execution (VTE), Functional programming, Individual-based models (IbMs).
Location
354, Huxley Building
-
Dr Antonio Filieri
Research interests
Exact and approximate methods for probabilistic software analysis and probabilistic programming, Control Theory for Software Engineering, and Runtime-efficient and incremental verification of quantitative and functional software properties.
Location
421, Huxley Building
-
Prof. Philippa Gardner
Personal details
Prof. Philippa Gardner Professor of Theoretical Computer ScienceSend email+44 (0)20 7594 8292
Research interests
JavaScript, Concurrency and Resource Reasoning.
Location
453, Huxley Building
-
Prof. Chris Hankin
Personal details
Prof. Chris Hankin Director, Institute for Security Science & TechnologySend email+44 (0)20 7594 7619
Research interests
Security, Program Analysis and Programming Language Theory.
Location
Sherfield Building
-
Prof. Paul Kelly
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
L3 (upstairs), William Penney Building
304, Huxley Building -
Dr Ben Livshits
Research interests
Security, Privacy, Program Analysis, Compilers, Software Engineering and Crowdsourcing.
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
Computer Security, Web Programming and Process Calculi.
Location
441, Huxley Building
-
Dr Herbert Wiklicky
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
Research interests
Theoretical Computer Science.
Location
556, Huxley Building