Research

My main research interest is Software Engineering and Formal Methods. Currently I am investigating linking constructive (top-down) and analytical (bottom-up) approaches to software verification. Specifically, I am building a link between Event-B (constructive) and Dafny (analytical). 

Publications