Cristina Matache


My picture



Address

Room 331
Dept. of Computer Science
Wolfson Building
University of Oxford
Parks Road
Oxford OX1 3QD
United Kingdom

Email

cristina.matache@cs.ox.ac.uk

About

Since October 2018 I have been a PhD student at the University of Oxford, working with Sam Staton. I am also a member of Balliol College. Previously, I obtained an MSc in Computer Science from Oxford and a BA from Cambridge. My research interests are semantics of programming languages, types, category theory, logic and verification. Lately, I've been interested in using logical relations to build models of programming languages.

Publications

Theses

Misc

Teaching

  • 2020--2021: Stipendiary Lecturer at Jesus College.
  • Hilary term 2020: class tutor and marker for Lambda Calculus and Types.
  • Michaelmas term 2019: tutoring Discrete Mathematics for first year undergraduates.