I do research on the thoery of concurrency and computer-aided formal verification. As the main modeling language I use CSP (Communicating Sequential Processes), a process algebra invented by C.A.R. Hoare (you can download his book on the topic here and a more comprehensive Theory and Practice of Concurrency by Bill Roscoe here).
My major interests are the possible ways of extending the current abilities of computer-aided model checking using counter abstraction, counterexample-guided abstraction refinement, predicate abstraction, process division and others. At the moment I specifically look at possible automatic partial solutions to the undecidable Paramaterised Model Checking Problem (PMCP) and the more general Paramaterised Verification Problem (PVP).
Formal verification of not fully symmetric systems using counter abstraction
In Proceedings of the MOdelling and VErifying Process (MOVEP'08). 2008.
Counter Abstraction in the CSP/FDR setting
Tomasz Mazur and Gavin Lowe
In Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07). 2007.