Matthew Lakin

Matthew Lakin

Research Assistant Professor
Department of Chemical & Biological Engineering
Center for Biomedical Engineering
University of New Mexico

Mail stop: MSC01 1120
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 research assistant professor in the Department of Chemical & Biological Engineering at the University of New Mexico. I am also a member of 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 project "Compartmentalized circuit architectures for real-world biocomputing applications" and the NIH project "Amplified detection of viral RNA using catalytic DNA logic circuits". I was previously funded by the NSF project "Computing with biomolecules: from network motifs to complex and adaptive systems", and by a postdoctoral training fellowship from the New Mexico Cancer Nanoscience and Microsystems Training Center.

From 2011 to 2015 I was a postdoctoral scholar in the Molecular Computing Group in the Department of Computer Science at the University of New Mexico.

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.


Theoretical Molecular Computing

Experimental Molecular Computing

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.

Sat Aug 15 00:06:08 MDT 2015