Andrew McCreight
Research Associate
HASP
Project
Computer Science Department
Portland State University
My dissertation
.
Practical Tactics for Separation Logic