skip to content

Department of Computer Science and Technology

  • PhD Student

Research

  • Formal Methods & Verification
  • Automata Theory

Contact Details

Room: 
SE01
Email: 

luisa.cicolini@cst.cam.ac.uk