Eric Koskinen I am a Ph.D student at the Univeristy of Cambridge Computer Laboratory, jointly supervised by Byron Cook and Matthew Parkinson. I am funded by the Gates Cambridge Scholarship. I also work with Sumit Gulwani and 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). Conferences
Workshops
|