I am a PhD student in the Department of Computer Science at Portland State University.

• My advisor: James Hook
• Publications:
  • Verifying Separation for a Monadic Scheduler
    CALCO Doctoral Symposium, 2009
  • Toward a Sound Integration of Isabelle with a Combined Decision Procedure
    OGI/PSU Research Proficiency Exam
    (also PSU Technical Report 08-01 )
• Contact Information:
  • Email: tom dot harke at acm dot org
• In 2004 I taught the graduate level Analysis and Design of Algorithms course at OGI. CSE 532 Course Page
• random artifacts