Zachary Oster
Assistant Professor

Zachary Oster


  • 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


College of Letters & Sciences
Laurentide Hall 4100
University of Wisconsin-Whitewater
800 W. Main Street
Whitewater, WI 53190-1790

Resources For

Faculty/Staff Contact

Office of the Dean
Rebecca Reichert
Phone: (262) 472-1621

Student Contact

Advising Office
Phone: (262) 472-1550

Follow Us

  UW-W CLS Meet Your Faculty blog