Education

• Ph.D., Computer Science, Iowa State University, 2013
• M.S., Computer Science, Iowa State University, 2009
• B.S., Computer Science, South Dakota State University, 2007
• B.A., Music, South Dakota State University, 2007

Courses Taught

Assembly Programming, Concepts of Programming Languages, Compilers, Operating Systems, Software Engineering, Web Server and Unix Administration

Research Interests

Formal specification and verification of software system requirements and properties. Current research directions include:

• Identifying and visualizing multiple stakeholders' requirements and preferences for a system, including conflicts between different stakeholders' requirements and/or preferences
• Using formally-specified requirements to identify promising component-based system design options
• Ensuring correctness of component-based software systems (e.g., Web service compositions) through formal verification