Name:Ryan Doenges

Bio:

4th-year undergraduate in the UW PLSE group.

Country:United States

Affiliation:University of Washington

Research interests:Software Verification, Distributed Systems, Programming Languages