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.

The following NSF awards have supported my research:
  • CNS-18-23357 "Towards a Program Analysis Collaboratory", PI, $53K
  • ACI-14-40638 "GEM3D: Open-Source Cartesian Adaptive Complex Terrain Atmospheric Flow Solver for GPU Clusters", Co-PI, $500K
  • CCF-14-49636 "Mapping software Analysis Problems to Efficient and Accurate Constraints, PI, $75K

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.