I am working as a research officer at The School of Information Technology and Electrical Engineering and am due to start work on the "Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems" project.
I am interested in formal methods for deriving and verifying concurrent programs, with a particular focus on progress properties (of both blocking and non-blocking programs). The progress-based derivation techniques extend the safety-based approach of Feijen and van Gasteren. Furthermore, in order to disallow arbitrary modifications, the derivation techniques are related to refinement. As for non-blocking programs, I have worked on techniques for verifying the lock-free progress property.
My publications may be accessed from my university homepage .