College Position
              Emeritus Fellow
           
  
    University Position
              Emeritus Professor
           
  
  
    Degrees
              BA in Mathematics (Cambridge), PhD in Computer Science (Edinburgh), ScD (Cambridge).
           
  
    Research Interests
              Programming Languages, their Analysis and Compilation 
           
  
    Teaching Interests
              Programming Languages, their Analysis and Compilation 
           
  
    Other Interests
              Music, Tennis