Leaving date: 30th October 2011
My research interests cover the areas of hardware design and formal verification, computer architecture, verification of (on-chip) communication protocols/architectures, model checking, and theorem proving.
Currently, I am focusing on verified on-chip communication protocols for multicore/SoC architectures, my PhD project. The main goals include the development of a generic framework for incremental model derivation and formal verification, and the application of this framework to industrial-scale case studies, such as the ARM AMBA high-performance bus protocol and the PCI Express protocol.The work is formalised using higher order logic and the Isabelle theorem prover.
Previous work includes digital circuit design and formal verification of scheduling correctness for an automotive communication system.
I am currently a PhD student at the University of Oxford. My research focuses on verified on-chip communication protocols for high-performance multicore or System-on-Chip architectures. The project is sponsored by the Engineering and Physical Sciences Research Council (EPSRC) and the Intel Corporation.
Before joining the verification group in Oxford, I obtained my M.Sc (Honour's Degree) in Computer Science at Saarland University, Germany at the chair for Computer Architecture and Parallel Computing of Prof. Wolfgang Paul.
View AllManage publications