Matthew Lakin

Matthew Lakin

University of New Mexico
Department of Computer Science
Mail stop: MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-0001

Email: <firstinitial><lastname> AT
Curriculum Vitae
Google Scholar page

Research interests: biomolecular computation, nanomedicine, programming languages for biochemical modelling.


I am a postdoctoral scholar in the Molecular Computing Group in the Department of Computer Science at the University of New Mexico, working with Darko Stefanovic and Steven Graves on the NSF-funded projects "Computing with Biomolecules: From Network Motifs to Complex and Adaptive Systems" and "Compartmentalized circuit architectures for real-world biocomputing applications". I am partially funded by a postdoctoral fellowship from the New Mexico Cancer Nanoscience and Microsystems Training Center and I am also affiliated with the UNM Center for Biomedical Engineering.

I am interested in the design, construction and verification of biomolecular computing devices, and in their practical application to biomedical problems such as pathogen detection and autonomous theranostics. I am also interested in the semantics and implementation of declarative programming languages.

From 2009 to 2011 I was a postdoctoral researcher in the Computational Science group at Microsoft Research Cambridge. I worked with Andrew Phillips on programming languages and tools for biological modelling and synthetic biology such as DNA Strand Displacement (Visual DSD), the Stochastic Pi Machine (SPiM) and Genetic Engineering of Cells (GEC).

I have BA, MA and PhD degrees from the University of Cambridge. I am a member of Queens' College and I held a Munro studentship at Queens' for the 2007-2008 academic year.

I did my PhD in the Programming, Logic and Semantics Group at the University of Cambridge Computer Laboratory from 2005 to 2010. My supervisor was Andrew Pitts and I worked on the Computational Applications of Nominal Sets project. My PhD examiners were Alan Mycroft and Paul Blain Levy. My PhD dissertation is available here.

During my PhD I was lucky enough to visit Christian Urban and the Nominal Methods Group at TU München and Dan Friedman and Will Byrd at Indiana University.


Molecular Computing - Experimental

Molecular Computing - Theoretical

Programming Languages

Dynamical Systems



I have previously supervised the following courses for Queens', New Hall and various other colleges in the University of Cambridge:

I use the following convention for naming tripos questions: year of examination followed by CST paper number (in roman numerals) followed by question number.

Last modified: Wed Jul 2 18:14:58 MDT 2014