My PhD is focused on the synthesis of software behavior model from early requirements specifications. The work tries to solve problems related to incompleteness and partiality of requirements at early stage of development. Here is a summary of my PhD research.

I have been with embedded software industry from 2000 to 2008, after which I joined Lero the Irish Software Engineering Research Center, at University of Limerick, Ireland. I worked in avionics and automotive software, most notably with IBM from 2005 to 2008.

Publications

See my Lero web page