About me

I'm a Research Associate in the Computational Creativity Group at Goldsmiths, University of London. I was awarded my PhD at Heriot-Watt University where I worked on the Automated Discovery of Invariants and Refinement Plans for Formal Modelling in Event-B. Currently I'm part of the WHIM Project which aims at building the What-If Machine, a software system able to invent, evaluate and present fictional ideas with cultural value. [CV]

My research interests are in the areas of Artificial Intelligence and Formal Methods for Software Engineering. In particular:


PhD Thesis

Journals and Book Chapters

Conferences and Workshops