Andrea Asperti

Department of
Computer Science
Managing editor of the
Journal of Formalized Reasoning
cv
didattica
projects
papers
books
talks & seminars

 

 

 

 

Social processes, program verification, and all that:
Most read mscs paper in years 2009-2012.
My POPL row

may 2010