Matthew Lakin


Physical Address

Room 3240
Farris Engineering Center
Building # 119 on the UNM map

Mailing Address

MSC01 1130
1 University of New Mexico
Albuquerque, NM 87131-1070

Photo: true

Assistant Professor

Department of Computer Science

Personal Website
Curriculum Vitae


Ph.D., Computer Science, University of Cambridge, 2010

M.A. (Cantab), University of Cambridge, 2009

B.A. (Hons) in Computer Science, University of Cambridge, 2005


Matthew R. Lakin is an assistant professor in the Computer Science Department at the University of New Mexico. He is also affiliated with the UNM Center for Biomedical Engineering. He conducts research on the design and experimental realization of nanoscale computing systems using biomolecules such as DNA. He builds software tools for the design of biomolecular computing networks, works on reasoning techniques to understand and verify their behavior, constructs experimental systems that exhibit novel dynamic behaviors, and works towards applications of biomolecular computers to monitor and control biological and chemical systems, for practical applications such as biomedical diagnostics. Lakin frequently collaborates with researchers in the UNM Health Science Center as well as with his former colleagues at Microsoft Research.

Teaching Interests

  • Scientific modeling
  • Declarative programming
  • Programming language semantics
  • Formal methods

Research Interests

  • Molecular computing
  • DNA nanotechnology
  • Synthetic biology
  • Biological modeling languages
  • Formal verification of molecular circuits
  • Nanomedicine