Oster, Zachary

At UW-Whitewater

University - Faculty/Staff
Office Phone
(262) 472-5006
Office Location
MG 108

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

Faculty, staff and student directory information is updated every business day by an automated process. Changes to directory information will take one business day to be reflected in the directory.

To update your directory information:
Students should contact the Registrar's Office.
Faculty & Staff should contact Human Resources to update their campus information. To update personal information, they should use the HRS system by visiting http://my.wisconsin.edu.

Information obtained from this directory may not be used for mass mailings to students, faculty or staff. Any solicitation of business, information, contributions or other response from individuals listed in this publication by mail, telephone or other means is strictly forbidden.