Matthew Danish

Matthew Danish

About

I am a Postdoctoral Research Associate at the Computer Laboratory of Cambridge University. My e-mail address is mrd45 at the domain name of cam.ac.uk.

[Curriculum Vitae]

Dissertation

Terrier: An embedded operating system using advanced types for safety. Boston University, 2015. [PDF]

Teaching

Work

Packages

Papers, Reports and Presentations

Contest entries

Stuff


Last updated: 19 April 2016