Computer Science Research

Ph.D. candidate

  • Dependent type systems for formal languages which take a nominal sets based approach to name binding
  • Supervisor: Maribel Fernández
  • EPSRC Doctoral Training Account (DTA)