Lecturer @EdinburghUni. Enthusiastic about synthesis, formal methods, kayaking and cycling as a mode of transport.

ID:2731853408

linkhttp://polgreen.github.io calendar_today14-08-2014 14:32:11