Name:Paolo G. Giarrusso

Affiliation:BedRock Systems

Research interests:Separation Logic, Logical Relations, Scala, Programming Language Theory