Oxford logo CS logo  
  Contact Us     Search   A–Z


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

I am a first year 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. You can find my complete CV here.

Publications

  • Programming and proving with classical types.
    Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan.
    Asian Symposium on Programming Languages and Systems (APLAS), 2017.

    The final publication is available at Springer via DOI.

  • The λμ calculus.
    Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan.
    Archive of Formal Proofs, 2017.

Theses

Misc