Postdocs

Santanu Dash
Santanu and I are studying multimodal software engineering and the data-driven construction of programs.

Nassim Seghir
Nassim and I are working on the identifying, cataloguing, and exploiting SubTuring islands.

David White
David and I are working on the application of metaheuristics and machine learning to programming problems.

Students

First Supervisor (Advisor)

Zheng Gao (with Mark Harman as second)
Zheng and I are quantifying the effectiveness of type systems and seeking to exploit my time-traveling debugger work for root cause analysis.

Alex Marginean (co-first with Mark Harman)
Alex and I are working on bespoke program analysis and automated software transplantation.

Carlos Gavidia (co-first with Mark Harman)
Along with Federica Sarro, Carlos and I are applying game theory to the analysis of software processes.

Michail Basios (with Donald Lawrence as second)
Mike and I are working to apply multiobjective optimization to the problem of program optimization and to optimize and secure blockchain based programs.

Profir-Petru Partachi (with David Clark as second)
Profir and I are tapping into natural language data sources to guide testing.

Iason Papapanagiotakis-Bousy (co-first with David Clark)

David Kelly (co-first with David Clark)
Along with David Clark, David and I are working on merging gradual and information flow typing to support security aware programming.

Second Supervisor (co-Advisor)

Irene Vlassi-Pandi (Charles Sutton is first supervisor; Andy Gordon is co-second.)
Irene, Charles, Andy, and I are applying ML to the problem of reducing the annotation tax of types in programming languages.

Saheed Busari (Emmanuel Letier is first supervisor)
Robert Bruce (Mark Harman is first supervisor)
Oni Olawole (Emmanuel Letier is first supervisor)
Glen Anderson (Peter Coveney is first supervisor)