Skip to main content

Alex Kavvos

Personal photo - Alex Kavvos

Alex Kavvos

Doctoral Student

College Lecturer, University College

E: alex.kavvos@cs.ox.ac.uk

Room 207, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

λ-calculus, type theory, modalities in type theory and programming languages, categorical semantics, higher-order computability.

Please visit my personal website.

Biography

I read Computer Science at University College, Oxford and received a MCompSci in Computer Science in 2013. I am a Non-Stipendiary College Lecturer at Univ, mainly tutoring undergraduate students in 1st year programming courses.

Selected Publications

View AllManage publications

Activities

Supervisor