Documentation of what I did during the summer of 2013 in University of Glasgow.