Hi, I'm a (DATE - Fall 2007)th-year PhD student at the University of
Wisconsin-Madison, where I research how techniques from programming
languages, program verification, and program synthesis can be applied
to write secure programs.
My advisors are
and Thomas Reps.
I've also been fortunate to work with:
I'm grateful to have had my work supported by
I am interested in academic positions starting in Fall 2014. If you
are looking for a new faculty member to join your department,
please read on.