Submitted by Nicholas Cutler on Fri, 14/07/2017 - 12:01
Ramama Kumar has been awarded the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for 2017. The award is presented annually to the author of an outstanding dissertation in the field of programming languages, and includes a prize of $1000. This prize was established to honour the theoretical contributions made by John C. Reynolds to programming languages including type theory and Lambda calculus.
Ramana is the third PhD student from the Computer Laboratory to have been awarded this prize, in this case for his dissertation Self-compilation and self-verification. This dissertation establishes the possibility of end-to-end verification of software, and makes use of this property for both the compiler and theorem prover using the CakeML language.
