Name:Paolo G. Giarrusso

Affiliation:Delft University of Technology

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