Robert L. Bocchino Jr.
Post Doctoral Associate
Carnegie Mellon University
I am a Post Doctoral Associate in the Institute for Software Research in the School of Computer Science at Carnegie Mellon University. I am working with Professor Jonathan Aldrich on the Plaid language project and supported by a Computing Innovation Fellows grant.
My research interests lie in programming language design, type theory, formal verification, and concurrency. My current research focuses on the design and verification of abstractions that make it easy for programmers to write correct and efficient parallel code.
Mailing Address
Robert L. Bocchino Jr.
Institute for Software Research
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213–3891
