Martin A.T. Handley
I'm a second year PhD student in the Functional Programming Lab at the University of Nottingham. I'm currently researching about new theories for reasoning about program efficiency in a lazy setting, and also developing tools to aid this process. Helping me are my supervisers Professor Graham Hutton and Professor Thorsten Altenkirch.
Please email me if you can help too! firstname.lastname@example.org