Peter-Michael Osera

Registered user since Tue 17 Feb 2015

Name: Peter-Michael Osera

Country: United States

Affiliation: University of Pennsylvania

Personal website: http://www.cis.upenn.edu/~posera

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

Contributions

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