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.