Dr Mark Batty, Lecturer in the School of Computing, has won two awards for his doctoral thesis on computer programming languages.
His dissertation was selected as the winner in the 2015 Council of Professors and Heads of Computing (CPHC) and British Computing Society, The Chartered Institute of IT (BCS) Distinguished Dissertation Competition. The thesis also won the international John C. Reynolds Doctoral Dissertation Award.
Dr Mark Batty developed a mathematical model of new features in the widely used C and C++ programming languages and used it to find serious problems in the specifications of each.
His suggested changes were incorporated by the International Standards Organisation in the 2011 and 2014 standards for the languages.
Dr Bill Mitchell, Director of Education at BCS, The Chartered Institute for IT told Mark;
‘It was a tough competition this year but your thesis was one of three that stood out from the crowd as being exceptional.’
Mark was presented with his award and was commended on his achievement at the annual Roger Needham Lecture at the Royal Society on 2 November 2015.