Dr Marco Paviotti

Marco Paviotti is a Lecturer in Computer Science at University of Kent.

Previously he has been a Research Associate at Imperial College London and University of Kent. He attained his PhD in Theoretical Computer Science at ITU Copenhagenb(Denmark) and his B.Sc. and M.Sc. (with honours) at Università degli Studi di Udine (Italy). 

Marco is interested in Semantics of Programming Languages and Functional Programming. He is using abstract mathematics like Category Theory to model the behaviour of programming languages and to inspire new programming constructions. 

Marco teaches the general underpinning concepts driving the design and implementation of programming languages. In the modules he teaches he focuses on languages with first-order functions, non-termination, concurrency and effects (e.g. state, non-determinism). He recently started teaching the introductory module on quantum computation. 

The School has regular funding for for PhD students. If you are interested in any of the areas listed above please reach out to Marco via email. Ideally, you are student in Computer Science or in Mathematics with particular inclination towards Functional Programming, Algorithms and/or Type Systems.