Cofounder of Imandra Inc; Music on Asian Man Records; Life Member, Clare Hall, University of Cambridge; songwriting + proving theorems about algorithms!

ID: 315748257

linkhttp://www.cl.cam.ac.uk/~gp351/ calendar_today12-06-2011 11:26:12