From South Florida. Ph.D. 2009 at MIT. Much of my work has been on deterministic parallelism — at the library level, e.g. LVars, with new compiler techniques in Gibbon, and with runtime enforcement with the Hermit system.