My thesis for Computer Science (2009-2014).