Sean Bartell

smbarte2@illinois.edu

I’m a Ph. D. student in the UIUC Computer Science department. My advisor is Prof. Vikram Adve. I’m working on symbolic execution and other techniques in the Automated Software Debugging group under the ALLVM Project.

Education

2013–in progressPh. D. in Computer Science, University of Illinois, Urbana–Champaign, IL.
2009-2012B. S. in Computer Science, North Carolina State University, Raleigh, NC, GPA 4.000/4.000.

Teaching

Jan–May 2012Teaching Assistant, North Carolina State University, Raleigh, NC, Introduction to Computing — Java.