Date: 2020-05-01
Categories: research; admin; phd_students

Congratulations to my PhD student John Whitington

I am very pleased to announce that my student, John Whitington, has passed his PhD viva with minor corrections. The examiner was Achim Bruckner. Internal was Irek Ulidowski, with Thomas Erlebach as chair. The viva was conducted online using blackboard collaborate.

The title of the thesis is "Debugging functional programs by interpretation". It should be available in the next few months from https://leicester.figshare.com/

2020-05-01 John Whitington PhD viva
2020-02-05 On the need for PhD viva chairs
2020-01-20 SQLite assumptions, or how to corrupt an SQLite database
2019-12-18 VeTSS annual summary
2019-08-30 B-tree random write performance
2019-08-21 ML'19 Workshop at ICFP: A key-value store for OCaml
2018-07-02 Funded PhD places
2018-06-14 A typed DSL for parsing
2018-05-30 Potential improvements in filesystem performance
2018-05-22 First Python program: an Earley parser!
2018-02-01 New OCaml library: path resolution
2017-09-06 ICFP most influential paper from 10 years ago
2017-05-15 PhD viva: congratulations to Thomas Gransden
2017-03-16 tjr-btree: a CoW B-tree library in OCaml
2015-04-27 Why operational models?
2014-11-26 Isabelle on 64bit ubuntu with 32bit libraries
2013-11-01 Funded PhD positions
2013-04-01 PhD position funded by Microsoft Research