Research Interests
I am currently interested in formal verification of hardware and hardware like-systems. I am reading my Ph.D. in this area under the wise supervision of Dr. Gordon Pace. I form part of the Semantics and Verification Research Group. Additionally I am very interested in programming using Haskell and the C language, especially in the design and approach of the programming constructs themselves. At the moment I am working on extending Lava to allow a programmer to reason and specify generic components both in terms of synthesis and verification. I am also working on the embedding of Esterel within Lava. I am also interested in multi-processor and low-level programming. I am very intrigued by recent developments and research that apply formal techniques to multi-core programming. Before starting my Ph.D. my main area was low-level optimisation of concurrent systems. I was involved in the Systems Software Research Group in which I did my first publications. If you are interested in working in my areas of interest or something related, do not hesitate to contact me. I am always happy to work with people who are eager to extend the world's body of knowledge.
Home