-   of  
Results Per Page  
3 {"orderBy":"1 D"}
Highlighted Title Type Organisation Start Date
View detail
Invited Tutorial, CAV'08 Invited Speaker    
Description
CAV is the premier venue for Computer Aided Verification Research.
End Date
 
View detail
Most Influential POPL Paper Award, 2011 Award ACM/SIGPLAN  
Description
Awarded to a paper from the POPL conference held 10 years previously (in this case, 2001). Papers are judged by their innfluence over the previous decade.
End Date
 
View detail
RAEng/Microsoft Research Chair Other Royal Academy of Engineering 01-MAR-2012
Description
 
End Date
28-FEB-2017
 -   of  
Results Per Page