April 21, 2015

Arjun Radhakrishna rewarded for doctoral dissertation

ACM SIGBED Paul Caspi Memorial Dissertation Award goes to Arjun Radhakrishna • IST Austria graduate holds postdoc position at University of Pennsylvania

Arjun Radhakrishna received this year's ACM SIGBED Paul Caspi Memorial Dissertation Award for his thesis about "Quantitative Specifications for Verification and Synthesis". Established by the ACM SIGBED Special Interest Group on Embedded Systems in 2013, the Paul Caspi Memorial Dissertation Award recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems. Arjun Radhakrishna is a computer scientist who, after finishing his PhD at IST Austria in 2014, took a postdoc position at the University of Pennsylvania.