Eric Koskinen I am a Ph.D student at the Univeristy of Cambridge Computer Laboratory, jointly supervised by Byron Cook and Mike Gordon. I am funded by the Gates Cambridge Scholarship. I received my Sc.M from Brown University, where I worked with Maurice Herlihy. My research focuses on improving the quality of software with
automated verification techniques (such as my work on a static analysis for
proving symbolic complexity bounds)
and new language paradigms for safe concurrent programming
(such as my work on
Transactional Boosting
and Coarse-Grained Transasctions). Recent Work
Conferences
Workshops
|