Pieter Hooimeijer

Office:102 Small Hall (desk 11)
USPS: Pieter Hooimeijer
Department of Computer Science
151 Engineer's Way
P.O. Box 400740
Charlottesville, VA 22904-4740

Generic Bio

I am a sixth year Ph.D. candidate at the University of Virginia. My research area is Programming Languages, which makes my advisor Westley R. Weimer. My research interests lie in automated reasoning, static analysis, and testcase generation, in particular when somehow related to the use of formal language models. My résumé is available here (PDF).

I obtained my bachelor's in computer science from Colgate University in May 2006. I graduated magna cum laude with high honors in computer science. I received the M.S. degree from the University of Virginia in May 2008, and I plan to defend my Ph.D. in the spring of 2012.


My Ph.D. committee consists of the following upstanding citizens:

My thesis, Decision Procedures for String Constraints is due this spring; my proposal document (PDF) and the associated presentation slides (PDF) are available online.

Not-So-Recent Coursework

Spring 2010

  • CS 8561 — Topics in Programming Languages

Spring 2008

  • CS 851 — Temporal Issues in Computing

Fall 2007

Spring 2006

  • CS 661 — Algorithms
  • CS 656 — Operating Systems

Fall 2006