College of Letters & Sciences
Upham Hall

Zachary Oster
Assistant Professor

Office Hours: Fall 2018

Monday, Tuesday, and Thursday, 10:00-11:40am
or email me to set up a meeting outside of these times.


  • 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