Follow @
OH
PhD student at Computer Laboratory, University of Cambridge working in the area of automated software verification.
J