My research interest can be broadly
categorized as adapting and applying existing methodologies in novel
ways to solve new problems.
PhD research has been to develop a Petri net based model
for cyber-physical systems for the purpose of applying formal methods
to this research area.
masters research involved applying Binary
Decision Diagrams (BDDs) to asynchronous circuit synthesis and
My long term goal is an industrial research position.
Spending time with my wife and children.
Hunting, camping, and otherwise spending time outdoors.
Reading, mostly sci-fi and fantasy. Currently working my way back through the Sword of Truth series.
Last modified: Wed Dec 16 15:10:00 MST 2009