portrait

Pieter Hooimeijer

Office:102 Small Hall (desk 11)
E-mail:pieter[at]cs[dot]virginia[dot]edu
  
USPS: Pieter Hooimeijer
Department of Computer Science
151 Engineer's Way
P.O. Box 400740
Charlottesville, VA 22904-4740

Generic Bio

At present I'm a fourth year graduate student at the University of Virginia. My research area is Programming Languages, which makes my advisor Westley R. Weimer. My research interests lie in static program analyses, in particular when somehow related to the use of formal language models.

Before coming to UVa I obtained my bachelor's from Colgate University in May 2006. My thesis adviser was Toshiro K. Ohsumi, and my thesis was on distributed spatial data structures. I graduated magna cum laude with high honors in computer science.

Current Résumé

The current version of my résumé is available here (PDF). It elides a lot of the slightly less interesting things I did during undergrad (thereby doing its name justice). Please let me know if you're interested in the details.

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