Eric Koskinen

News
Sep 2009: Our paper was accepted to POPL.
Jan 2009: Our paper was accepted to PLDI.
Jan 2009: Paper was accepted to TRANSACT.
Dec 2008: Presented at Queen Mary Seminar
Feb 2008: Awarded the Gates Scholarship

Travel
Sep 2009: DISC Theory wkshp, Elche, Spain
Aug 2009: PODC/SPAA, Calgary
Jun 2009: PLDI, Dublin, Ireland.
Feb 2009: PPoPP / TRANSACT, Raleigh, NC
Oct 2008: L&S of state, Copenhagen, DK

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 and Coarse-Grained Transasctions).

Undisclosed work on Infinite-state Verification
B. Cook, E. Koskinen
Under double-blind submission. Write for a copy.

PhD student at University of Cambridge (October 2008 -- present)
Research intern at Microsoft Research, Redmond (Summer 2008)
Research intern at Microsoft Research, Cambridge (Summer 2006)
Adjunct Faculty, Newbury College (August 2007 -- May 2008)
Research assistant for Maurice Herlihy at Brown University (June 2007 -- June 2008)
Sc.M from Brown University (August 2005 -- June 2007)
Software Engineer at Amazon.com/ IMDb (June 2003 -- August 2005)
B.S. in Computer Science and Physics from The College of William & Mary