My research methodology is centred around three principles:

  • Theory is the foundation. I consider that formal methods and mathematical techniques provide us with the necessary tools not only to better understand our world but also to develop new methods to master it.
  • Practice is essential. Turning the theoretical results into real software is paramount. I always thought that it is important (and also fun) to get my hands dirty in order to implement my ideas, build systems and prototypes, and experiment new scenarios and cases.
  • Be truly interdisciplinary. While my education and research is primarily in computer science, I am always keen in exploring ideas from other disciplines both inside and outside computer science. 

Feed me, Feed me: An Exemplar for Engineering Adaptive Software (ongoing work) 

Collaborative Security (Postdoc Work)

Dynamic Synthesis of Mediators: From Theory to Practice (PhD Work)