Dr. Curtis Madsen

Research Associate

I am currently a research associate in the School of Computing Science at Newcastle University, UK.  I received my PhD in Computer Science from the University of Utah, Salt Lake City, Utah, USA in August 2013 under the supervision of Dr. Chris Myers.  Here, my research focused on utilizing stochastic analysis techniques such as stochastic model checking and simulation to perform design space exploration of synthetic genetic circuits.

In general, my interests lie in applying formal verification methods to systems in a variety of disciplines.

Research Interests

  • Design Space Exploration
  • Formal Verification
  • Stochastic Model Checking
  • Stochastic Simulation
  • Synthetic Biology




Address: School of Computing Science, Claremont Tower, Newcastle University, Newcastle upon Tyne, NE1 7RU