Curtis Madsen

Curtis Madsen

Sandia National Laboratories, R&D S&E, Computer Science

University of Utah

While he was an undergraduate and graduate researcher in Professor Chris Myers’s lab at the University of Utah, Curtis worked on utilizing stochastic model checking and simulation to perform design space exploration of synthetic genetic circuits. In particular, he worked on adding functionality to iBioSim to automatically partition the state space of said genetic circuits and apply Markovian analysis to determine the probabilities of certain events occurring. Since then, he has been involved in the development of several tools in computational synthetic biology as a postdoc at both Newcastle University and Boston University including the SynBioHub, BioPSy, and Phoenix. Curtis is currently a research and development computer scientist at Sandia National Laboratories in Albuquerque, New Mexico.

Interests

  • Formal Methods
  • Model Checking
  • Computational Synthetic Biology
  • Genetic Circuit Design
  • Genetic Circuit Modeling

Education

  • PhD in Computer Science, 2013

    University of Utah

  • BS in Computer Science, 2009

    University of Utah

Publications