Assistant professor at:  
  Computer Science Department, 
  University of Warwick, UK 

Office: 219, 2nd floor
Phone: +44 24 7652 2417
FAX:   +44 24 7657 3024
Email: 
  Name.Surname @ dcs.warwick.ac.uk
Mail Address: 
  Department of Computer Science
  University of Warwick
  Coventry CV4 7AL
  United Kingdom

RESEARCH
  My papers

  Research groups: 
    Formal Methods
    Algorithms and Computational Complexity    
    Discrete Mathematics and its Applications

  PhD students:
    John Fearnley (2007-)
    Michal Rutkowski (2006-)
    Ashutosh Trivedi (2005-2009)

TEACHING
  Office hours: Tuesday 14:30-15:30 and Thursday 13:30-14:30