Research in Programming Languages and Systems at 51³Ô¹ÏÍø 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
Groups
Centres
Academics
Academics
-
Dr Cristian Cadar
/prod01/channel_3/media/migration/faculty-of-engineering/cadar__s--tojpeg_1491825861878_x4.jpg)
Location
435, Huxley Building
Research interests
Software engineering, computer systems, software security, practical techniques for improving software reliability and security.
-
Professor Alastair Donaldson
/prod01/channel_3/media/migration/faculty-of-engineering/pwpimage-(3)--tojpeg_1491818712736_x4.jpg)
Location
422, Huxley Building
Research interests
Formal verification for multicore software, software performance optimization.
-
Professor Sophia Drossopoulou
/prod01/channel_3/media/migration/faculty-of-engineering/pwpimage-(6)--tojpeg_1491819965444_x4.jpg)
Location
380, Huxley Building
Research interests
Concurrent programming, program verification, characterization of program evolution, theorem proving.
-
Prof. Susan Eisenbach
/prod01/channel_3/media/migration/faculty-of-engineering/pwpimage-(7)--tojpeg_1491820389281_x4.jpg)
Location
569, Huxley Building
Research interests
Programming Languages, Concurrency and Testing.
-
Dr Tony Field
/prod01/channel_3/media/migration/faculty-of-engineering/meBigHoleAdjusted--tojpeg_1491820535758_x4.jpg)
Location
354, Huxley Building
Research interests
Functional programming, engineering for high performance, simulation.
-
Dr Antonio Filieri
/prod01/channel_3/media/migration/faculty-of-engineering/bio-photo-large--tojpeg_1506596062098_x4.jpg)
Location
572, Huxley Building
Affiliations
-
Professor Philippa Gardner
/prod01/channel_3/media/migration/faculty-of-engineering/pwpimage-(5)--tojpeg_1491819615308_x4.jpg)
Location
453, Huxley Building
Research interests
Programming languages, program analysis and verification, concurrency and resource reasoning.
-
Professor Chris Hankin
/prod01/channel_3/media/migration/faculty-of-engineering/pwpimage-(4)--tojpeg_1491818840660_x4.jpg)
Location
Sherfield Building
Research interests
Security, program analysis and programming language theory.
-
Professor Paul Kelly
/prod01/channel_3/media/imperial-college/faculty-of-engineering/computing/public/website-images/-people-list-300X400/Paul-Kelly.png)
Location
L3 (upstairs), William Penney Building
304, Huxley BuildingResearch interests
Programming languages, compilers, parallel computing, domain-specific tools and libraries, performance issues, irregular and data intensive applications, performance evaluation, modelling, and prediction.
-
Dr Ben Livshits
/prod01/channel_3/media/migration/faculty-of-engineering/portrait-dark-2016--tojpeg_1496831027211_x4.jpg)
Location
ACE 355
Research interests
Blockchain, s ecurity, privacy, program analysis, compilers, software engineering.
-
Professor Wayne Luk
/prod01/channel_3/media/migration/faculty-of-engineering/Luk,-Wayne--tojpeg_1511260002756_x4.jpg)
Location
434, Huxley Building
Research interests
Hardware and architecture, reconfigurable computing, design automation.
-
Dr Sergio Maffeis
/prod01/channel_3/media/migration/faculty-of-engineering/photo--tojpeg_1491819715229_x4.jpg)
Location
441, Huxley Building
Research interests
Software security, network and web security, applications of AI to security, security of AI, formal methods.
-
Dr. Azalea Raad
/prod01/channel_3/media/migration/faculty-of-engineering/Azalea-Raad--tojpeg_1569237152157_x4.jpg)
Location
Huxley Building
-
Dr Herbert Wiklicky
/prod01/channel_3/media/migration/faculty-of-engineering/herbert--tojpeg_1491818987912_x4.jpg)
Location
424, Huxley Building
Research interests
Program analysis, programming languages, semantics, probabilistic models, program synthesis, semantics in computer security, quantum computation.
-
Dr. Nicolas Wu
/prod01/channel_3/media/migration/faculty-of-engineering/Nwu--tojpeg_1564410762128_x4.jpg)
Location
374, Huxley Building
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.