
Graduate Research Assistant at University of Utah
Greater Salt Lake City Area

Graduate Research Assistant at University of Utah
Greater Salt Lake City Area
Research interests include applied program analysis and transformation, interrupt-driven concurrency, and microcontroller software.
Ocaml, C, nesC, C++, C#, AVR assembly, x86 assembly, Perl, Java, Visual Basic, Scheme, php, Ruby, Mozart, CIL, Promela, OpenGL, LaTeX, UML, XML, HTML, bash, DOT, TinyOS, Linux, Windows, Emacs, cvs, gdb, SPIN, CCured, Deputy
(Educational Institution; Research industry)
August 2004 — Present (4 years)
Researched improvements to the static analysis and resulting transformations of microcontroller code as a member of Dr. John Regehr's Software Tools for Sensor Networks Group. Please contact him (http://www.cs.utah.edu/~regehr) for a recommendation of me
(Educational Institution; 10,001 or more employees; Research industry)
September 2003 — September 2004 (1 year 1 month)
Expanded the multivariate display method of Star Coordinates from two to three dimensions as a member of Dr. Robert Burton's Hyperspace Research Group. Please contact him (http://cs.byu.edu/faculty/burton_robert) for a recommendation of me
(Educational Institution; 10,001 or more employees; Higher Education industry)
January 2002 — August 2003 (1 year 8 months)
Introduction to Computing Systems - ECEn 124 - Summer of 2003, Computer Graphics - CS 455 - Spring of 2003, Computability and Complexity Theory - CS 252 - Winter of 2003, BYU Math Lab - Winter and Fall of 2002
(Public Company; 501-1000 employees; SSFT; Computer Software industry)
May 2002 — August 2002 (4 months)
Wrote several tools to support language modeling and linguistic research
(Religious Institutions industry)
May 1999 — May 2001 (2 years 1 month)
Worked with individuals and groups to carry out goals in personal development
(Electrical/Electronic Manufacturing industry)
June 1998 — August 1998 (3 months)
Assembled electronic equipment for devices such as radios and speakers
(Computer Software industry)
June 1997 — August 1997 (3 months)
Wrote Perl cleaning scripts to prepare corpora for analysis in research
PhD, Computer Science, 2004 — 2008
Advisor: Dr. John Regehr
4.0 GPA
BS, Computer Science, 1998 — 2004
Overall GPA of 3.73, with a 3.92 major GPA
Minors in Math and Spanish
1995 — 1998
Outdoors, Volleyball, Frisbee, Golf, Soccer, Basketball, Reading, Movies, Games, Soundtracks, Computers
Texas McAllen Mission
NSF Student Travel Grant - 2007
SPIE Student Travel Contingency Grant - 2006
University of Utah Graduate Supplemental Travel Award - Summer of 2006
Dean's List for Computer Science - Summer of 2003, Spring of 2003, Fall of 2002, Winter of 2002, Summer of 2001, Fall of 1998
BYU University Scholarship - 2003, 2002, 1998
New Hampshire Management Society Scholarship - 2001
John and Amelia Bowers Scholarship - 1999
Eagle Scout - Boy Scouts of America - Austin, TX - July 1995