Department of Computer Science
University of Oxford
|| Home||| Research||| CV||| Maths Blog||| Linux Corner|
I have joined as a Research Assistant at Department Computer Science at the University of Oxford for my post-doctoral research under the mentorship of Daniel Kroening.
Last Modified at : Thu 26 Mar 13:51:20 GMT 2015