Zachary Oster
Assistant Professor

Zachary Oster

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

Location

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
E-mail: reicherr@uww.edu

Student Contact

Advising Office
Phone: (262) 472-1550
E-mail: lsadvise@uww.edu

Follow Us

  UW-W CLS Meet Your Faculty blog