I am an Associate Professor at Boise State University in the 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:
  • CCF-19-42044 "CAREER: Computing Program Invariants using Abstract Domain Search", PI, $474K, 2020-2025
  • CNS-18-23357 "Towards a Program Analysis Collaboratory", PI, $53K, 2018-2020
  • ACI-14-40638 "GEM3D: Open-Source Cartesian Adaptive Complex Terrain Atmospheric Flow Solver for GPU Clusters", Co-PI, $500K, 2014-2017
  • CCF-14-49636 "Mapping software Analysis Problems to Efficient and Accurate Constraints, PI, $75K, 2014-2016
My professional services include serving on the following program committees
  • ICSE 2020, 2022(Posters Co-Chair), 2023
  • FSE 2022
  • ISSTA 2020, 2021
  • ASE 2018, 2019(Distinguished Reviewer, Reliable Rapid Response Reviewer), 2020, 2021(RRRR), 2022
  • Uncertainty in Artificial Intellignece (UAI) 2021
  • Formal Methods in Computer-Aided Design (FMCAD) 2022
  • SIGSOFT SEWORLD moderator 2021-2023
My teaching objective is to incorporate novel instructional designs and software engineering practices into a CS curriculum. I am the coordinator for the graduate Theory of Computation, Software Quality classes and the Software Testing hatchery unit. I also teach CS I and the undergraduate Theory of Comp.