Lost In Academia

A typical graduate student at work:

Research interests:

My research interest can be broadly categorized as adapting and applying existing methodologies in novel ways to solve new problems.
My 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.
My masters research involved applying Binary Decision Diagrams (BDDs) to asynchronous circuit synthesis and technology mapping.
My long term goal is an industrial research position.

You can reach me at:

Email:	thacker@vlsigroup.ece.utah.edu
Phone:	(801) 618-9679
Address:	50 s. Central Campus Drive, RM 3190 Salt Lake City, UT 84112

Here is an acrobat copy of my resume.

Degrees Held:

BS, Computer Science
BS, Computer Engineering
BA, Spanish
MS, Computer Science, Thesis "Implicit Methods for Timed Circuit Synthesis"

Don't you hate it when you can't make up your mind?

Current Degree Program:

Ph.D., Computer Science, Dissertation "A New Verification Method For Embedded Systems"
Expected graduation date Dec 2009.

Outside Interests:

Finding a JOB!!!

<\br> 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.

<thacker@vlsigroup.ece.utah.edu>

Last modified: Wed Dec 16 15:10:00 MST 2009