Fahad Ausaf
Student in London, United Kingdom
I am a PhD student and a member of Software Modeling & Applied Logic research group within the department of Informatics at King's College London. My research supervisor is Dr Christian Urban
My research interests are Programming Languages Design, Lexing & Parsing, Theorem Proving and Functional Programming
Currently I am formalizing a FLOPS'14 paper by Sulzmann and Lu about lexing and regular expression derivatives. I do not believe the `hand-proof' in this paper really establishes their main result and I attempt to rework their proof strategy in order to fill the gaps in their proof.