Biography

My academic research at the Computer Laboratory in Cambridge focused on the application of formal methods for mechanised proof to the domain of computer security generally and privacy and anonymity specifically.