iOS + OS X engineer, Imperial alumnus, very much into formal logic and type systems. http://milen.me/ for more.