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-)

TEACHING
  Office hours: Monday 16:00-17:00 and Thursday 14:00-15:00