I am an Assistant Professor at Boise State University in Computer Science Department. My research work focuses on static program analysis, decision procedures that aid program analysis and obtaining programs to use in empirical evaluations of program analysis techniques.
My teaching objective is to incorporate novel instructional designs and software engineering practices into a CS curriculum. I am the course coordinator for undergraduate and graduate Theory of Computation classes and my Software Quality class. I also enjoy teaching CS I.