A picture of me

Zachary J. Oster

Assistant Professor, Department of Computer Science
University of Wisconsin-Whitewater
McGraw 108, 800 W. Main St., Whitewater, WI 53190
Phone: (262) 472-5006
Email: osterz AT uww DOT edu
Affiliated with the Formal Methods & Verification Group in Computer Science at Iowa State University


Education


Teaching

Summer 2014

  • COMPSCI 271 Assembly Language (x86), July 7-25

Fall 2014

  • COMPSCI 171 Intro to Programming (Visual Basic), sections 3 and 4
  • COMPSCI 271 Assembly Language (MIPS)
  • COMPSCI 424 Operating Systems

See what courses I have taught previously


Research

Applying formal methods such as model checking and concepts from artificial intelligence, especially preference reasoning techniques, to address problems in requirements analysis for component-based and other compositional systems.

Download my CV

Current work

  • Developing more efficient techniques for identifying conflicting preferences in a conditional importance network (CI-net). Collaborators: Samik Basu (Iowa State), Ganesh Ram Santhanam (Iowa State).
  • Visualizing software requirement preferences and conflicts as modeled in a conditional importance network (CI-net). Collaborators: Josh Leinberger (UW-W student), Pablo Martinez (UW-W student). Supported in part by UW-Whitewater Strategic Initiative grant (Lopamudra Mukherjee, PI).

Publications

More about my research interests


Hobbies

Playing my clarinet, collecting coins, and more.

Find out what I like to do for fun


Links

  • CyRide: The public bus system serving Ames and Iowa State University.
  • PhD Comics: A Web comic about life in graduate school. It's funny and, sadly, often very true.
  • XKCD: Another Web comic I like.
  • KELO-TV (Sioux Falls, SD): News from southeastern South Dakota and the surrounding areas.