Room A06,
School of
Computer Science,
University of
Nottingham,
Jubilee Campus, Wollaton Road,
Nottingham,
NG8 2BB
United Kingdom
Email: rcp AT
cs DOT nott DOT ac DOT uk
I am a PhD student with the
Functional
Programming Lab in the
School of Computer Science,
University of Nottingham.
I am supervised by Dr. Thorsten Altenkirch. My research explores new reasoning techniques
using container
types. Before coming to Nottingham, I did a MSc (Artificial
Intelligence) in the School of
Informatics at the University
of Edinburgh with
Professor Alan Bundy.