Academic Staff
Professor Mark Batty
Professor, Head of GroupInterests: concurrency; software verification; systems; relaxed memory; programmM.J.Batty@kent.ac.uk+44 (0)1227 82 3820Dr Laura Bocchi
ReaderInterests: formal verification of distributed systems; service-oriented systemsL.Bocchi@kent.ac.uk+44 (0)1227 82 3659Dr David Castro-Perez
LecturerInterests: semantics, type theory, domain-specific languages, concurrencyD.Castro-Perez@kent.ac.ukDr Olaf Chitil
LecturerInterests: Tracing, semantics, algorithmic debugging, type error debuggingO.Chitil@kent.ac.uk+44 (0)1227 82 4320Dr Rogério de Lemos
Senior LecturerSoftware engineering for self-adaptive systemsR.Delemos@kent.ac.uk+44 (0)1227 82 3628Dr Stefan Kahrs
LecturerInterests: Expressiveness of programming languages, type systems, term rewriting+44 (0)1227 82 7146+44 (0)1227 82 7146Professor Andy King
Professor in Program AnalysisInterests: Abstract interpretation, logic programming and decompilation.a.m.king@kent.ac.ukDr Stefan Marr
Senior LecturerInterests: My work focuses on programming language implementation techniquesS.Marr@kent.ac.uk+44 (0)1227 82 4561Dr Dominic Orchard
Senior LecturerInterests:Mathematical structure of programs; logical foundations of programmingD.A.Orchard@kent.ac.uk+44 (0)1227 82 3784Dr Marco Paviotti
LecturerDenotational semantics, domain theory, category theory and type theoryDr Vineet Rajani
LecturerInterests: Type theory and verification, Cost analysis, Language-based securityv.rajani@kent.ac.ukEmeritus Professor Simon Thompson
Emeritus Professor of Logic and ComputationInterests: Functional programming in Haskell, Erlang and OCaml;S.J.Thompson@kent.ac.ukDr Michael Vollmer
LecturerInterests: compilers, programming languagesM.Vollmer@kent.ac.uk