Mrs Jo Sharrad
PhD Project Summary
I am currently investigating the area of type error debugging in functional programming languages.
I am a member of the following research groups:
My research interests involve improving the experience programmers have when debugging software written in Functional programming languages. I am particularly interested in type error debugging; looking at locating them when they occur and providing practical error messages.
Autumn Term: Theory of Computing - CO519
TalksSeptember 2017: Won 2nd Place in the Undergraduate category of the ICFP ACM Student Research Competition.
September 2017: Type Errors: Delta Debugging with a Blackbox Compiler - Joanna Sharrad, Olaf Chitil and Meng Wang - Presentation for the Student Research Competition - International Conference Functional Programming 2017
September 2017: Type Errors: Delta Debugging with a Blackbox Compiler - Joanna Sharrad, Olaf Chitil and Meng Wang - Poster for the Student Research Competition - International Conference Functional Programming 2017
June 2017: Teaching Functional Programming should start earlier! - Joanna Sharrad - Lightning Talk - Trends in Functional Programming in Education.
June 2017: Discovering the source of Haskell Type Errors using Delta Debugging - Joanna Sharrad and Olaf Chitil - The 18th Symposium on Trends in Functional Programming.
- Reading; both fiction (Fantasy/Sci-Fi) and non-fiction(Philosophy, Sociology, History, Science).
- Being outside; walking, cycling, skiing or picnicking and BBQing.
- Visiting places of interest; museums, galleries, gardens, anything historical.
- Good company, with lots of humour and great conversation.