Information about the various presentations that I've given, and the projects that I've been working on, can be found below.
I am interested in combining Search-Based Software Engineering (SBSE) techniques with all aspects of Model-Driven Engineering (MDE). As such, my PhD thesis developed an encoding of MDE models that is amenable to a wide range of SBSE techniques. At some point I will put up a page describing the representation, but in the mean time try reading one of my publications, my thesis seminar slides, or my thesis.
Since March 2013 I have been working as a Research Associate on the OSSMETER EU STREP project where I am developing a distributed NoSQL-based platform to apply metric analysis to large volumes of data (e.g. code, forum messages, bug reports) originating from open-source software projects.
Slides for various presentations can be found below:
Thesis seminar (17/07/12)
Search-Based Model-Driven Engineering.
UKIERI presentation (24/02/11)
Model Management and Formal Methods. The presentation that I gave at the UKIERI workshop at the Indian Institute of Science and Technology in Bangalore.
Literature review seminar (18/01/10)
Formal and Semi-Formal Methods: Formal Verification through Model Transformation.
FACS'09 presentation (02/11/09)
The presentation I gave at the FACS'09 workshop, part of Formal Methods Week in Eindhoven, based upon the Williams and Polack Automated formalisation for verification of diagrammatic models paper.
Below are some of the projects that I have been/am involved in, both in my spare time and during my research.
Projects that I am currently working on (currently being updated.. slowly):
Developing an extensible platform for automatically analysing the quality of Open-Source Software projects. Read about it here.
Search-Based Model-Driven Engineering
The main focus of my PhD; solving MDE problems with search. [Currently migrating code to GitHub]
Sensitivity analysis in MDE
We applied my simple representation for MDE models to the task of applying sensitivity analysis to MDE models. This work was published at the Fifteenth International Conference on Model Driven Engineering Languages and Systems, September 2012.
Super Awesome Fighter
Evolving the perfect fighter. This work was the precursor to the MDE model representation that I developed during my PhD. You can view a brief summary of Super Awesome Fighter here (that webpage is presented at University of York open days, and may not be too clear without me explaining it verbally).
Projects that I am not currently working on (and are therefore likely to be out of date):
The Model Behaviour Language
The original aim of my PhD was to seamlessly integrate formal verification into MDE. The proposed approach was to provide a behavioural description language for models which provided verification capabilities (via model checking). But then I got distracted by Super Awesome Fighter, and my PhD changed...
Automatic formalisation of UML to Z: A tool developed during for my Master's thesis. The tool is an implementation of the process developed by Nuno Amalio in his PhD thesis, that takes UML class and state diagrams and formalises them into a Z specification. I am currently extending the and improving the tool, as well as looking at integrating the tool with the Community Z Tools (CZT) project with the aim to provide better feedback to the user regarding the consistency of their diagrams.
Failure condition SIMulator is an extension to the SimHAZAN simulator developed by Rob Alexander as part of his PhD thesis. FailSIM extends SimHAZAN by adding a scenario generation feature - taking Failure Maps, developed by George Despotou in his PhD thesis, as input.
A bit of fun:
The Day Before Christmas
Elementary Set Theory REPL
A (incomplete) read-eval-print-loop (REPL) that helps you learn basic set theory. It's pretty buggy, but the basic stuff works. I'll improve it when I have a chance, and plan to add much more functionality.