Peter-Michael Osera

Registered user since Tue 17 Feb 2015

Name: Peter-Michael Osera

Country: United States

Affiliation: University of Pennsylvania

Personal website:

Research interests: Programming Languages, Program Synthesis, Computer Science Education


PLOOC 2015Presenter of Making Proof Tutors out of Proof Assistants within the PLOOC 2015-track
PLDI 2015Author of Type-and-Example-Directed Program Synthesis within the Research Papers-track
Show activities from other conferences

PLDI 2015-profile
View general profile