Thomas Methrayil Varghese
I am a Ph.D student in the Logic and Computation research group at the Department of Computer Science, University of Liverpool (since December 2011).
Together with Sven Schewe, I study constructions on finite automata over infinite objects and research their applicability to verification and synthesis. I am also supervised by Frank Wolter.
Stuff I think is fun
- Automata Theory Beautiful abstract mathematical models of computational processes pioneered in the 1950s. Automata on infinite words and trees were first used to solve decision problems in logic. Now, they are studied in the context of formal verification and synthesis.
- Game Theory, especially finite games of infinite duration, proposed at around the same time as omega-automata, both being inspired by Alonzo Church's solvability problem, and both synergistically related.
- Logic(temporal and modal) is used to specify the desired behaviour of a system. Logical formulae can be represented by automata and evaluated using games.
Teaching
Awards
- Supported for my Ph.D studies by the annual International Doctoral Scholarship, awarded by the School of Electrical Engineering, Electronics and Computer Science at the University of Liverpool.
- Awarded "Best Theoretical Project" in July 2011 for my Master's thesis by the Department of Computer Science, University of Leicester. I was fortunate to have been supervised by Nir Piterman during this time.
Contact Details
Email: P(dot)middlename(hyphen)lastname AT liverpool.ac.uk
Office: Room 1.17
Department of Computer Science
University of Liverpool
Ashton Building
Ashton Street
Liverpool
L69 3BX
United Kingdom