Jacob Walters

Research Postgraduate

  • School of Informatics
  • The University of Edinburgh

Contact details

Research Areas

Programming Languages and Software Engineering
Theoretical Computer Science

Personal Statement

I am a PhD student, working with Ohad Kammar on dependently typed programming.

Research Institute

Laboratory for Foundations of Computer Science

This article was published on