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: molecular computing, modeling languages for biochemical systems, synthetic biology, nanomedicine.


I am a postdoctoral scholar in the Molecular Computing Group in the Department of Computer Science at the University of New Mexico. I am also affiliated with the UNM Center for Biomedical Engineering.

I work on the modeling, verification and experimental implementation of molecular computing devices, and on their practical application to biomedical problems such as autonomous nanomedicine and pathogen detection. I am also interested in the semantics and implementation of declarative programming languages.

I am funded by the NSF projects "Computing with Biomolecules: From Network Motifs to Complex and Adaptive Systems" and "Compartmentalized circuit architectures for real-world biocomputing applications", and by a postdoctoral training fellowship from the New Mexico Cancer Nanoscience and Microsystems Training Center.

From 2009 to 2011 I was a postdoctoral researcher in the Computational Science Laboratory at Microsoft Research Cambridge, where I worked on programming languages and tools for biological modeling and synthetic biology such as Visual DSD (DNA strand displacement circuit design), Genetic Engineering of Cells (automated design of synthetic gene networks), and the Stochastic Pi Machine (biological modeling using the pi-calculus).

I have BA, MA and PhD degrees from Queens' College in the University of Cambridge. I did my PhD in the Programming, Logic and Semantics Group at the University of Cambridge Computer Laboratory from 2005 to 2010, under the supervision of Andrew Pitts. My PhD dissertation on functional logic programming in nominal logic is available online here.


DNA Computing - Experimental

DNA Computing - Theoretical

Programming Languages

Dynamical Systems



At the University of New Mexico, I have lectured for the following courses:

At the University of Cambridge, I supervised the following courses for Queens' College, New Hall, and various other colleges:

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

Thu Mar 19 21:29:14 MDT 2015