Name:Zachary Oster

Country:United States

Affiliation:University of Wisconsin-Whitewater

Research interests:Requirements Engineering, Software Engineering Education, Formal Verification