SPLASH 2022 (series) / Peter-Michael Osera

Registered user since Tue 17 Feb 2015
Name:Peter-Michael Osera
Country:United States
Affiliation:Grinnell College
Personal website:http://www.cs.grinnell.edu/~osera
Research interests:Programming Languages, Computer Science Education
Contributions
HATRA 2022 | Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile