I am a graduate student at the University of Wisconsin-Madison studying Computer Science. I received my B.S. in Computer Science from Indiana University and M.S. in Computer Science at UW. I am interested in all things related to programming languages: specifically the analysis and understanding of programming languages, software development, and the tools used in software development.

Research

My current research revolves around Weighted Pushdown Systems. My advisor is Thomas Reps. We have used Weighted Pushdown Systems in the analysis of programs and for model checking multi-threaded message passing systems.

Software

• WPDS++ - a Weighted Pushdown System library that is used at the University of Wisconsin for program analysis.

Contact