Tag Archives: Mark Batty

School promotions recognise staff success

Congratulations to four members of academic staff who have been promoted in the recent round of academic promotions which took effect on 1 October 2016. Dr Mark Batty and Dr Matteo Migliavacca have been promoted to senior lecturer and Dr … Continue reading

Posted in News | Tagged , , , , | Leave a comment

Using mathematics to better specify and design computer systems – Think Kent video

As part of the University of Kent Think Kent series – a collection of YouTube videos celebrating research with international impact at the University – Mark Batty explores how mathematics can improve computer systems. Modern computer systems have intricate and unusual memory behaviour. … Continue reading

Posted in News, research | Tagged | Leave a comment

Dissertation Award for Mark Batty

Dr Mark Batty has won the 2015 John C Reynolds Doctoral Dissertation Award. This prestigious prize is presented annually to the author of an outstanding doctoral dissertation in the area of Programming Languages from submissions received globally. Mark, who is joined the School … Continue reading

Posted in News, research | Tagged , , , | Leave a comment