skip to content

Department of Computer Science and Technology

  • Research Staff

Research

  • Formal Methods & Verification
  • Automata Theory

Contact Details

Room: 
SE01
Email: 

lc985@cam.ac.uk