Education
The University of Edinburgh
PhD, Computer Science 2005-01-01 - 2009-01-01Dartmouth College
BA, Computer Science 1996-01-01 - 2000-01-01Work Experience
Institute for Health Metrics and Evaluation
Current
Institute for Health Metrics and Evaluation
Qumulo
2015-01-01 - 2021-06-01
Qumulo
Northeastern University
2016-09-01 - 2016-12-01
Northeastern University
Northeastern University
2015-01-01 - 2015-12-01
Northeastern University
2011-09-01 - 2015-01-01
Endeca
2009-11-01 - 2011-07-01
Endeca
Self - Employed
2009-08-01 - 2009-11-01
Self - Employed
Get Satisfaction
2007-12-01 - 2008-05-01
Get Satisfaction
シックス・アパート株式会社
2003-12-01 - 2005-08-01
シックス・アパート株式会社
Amazon
2000-08-01 - 2002-05-01
Amazon
Skills
Summary
Working at the nexus of programming-language design and web architecture. I like tackling puzzles in software development & maintenance, and solving them in ways that are unlikely to fail, or if they must fail, fail gracefully. As a researcher, I'm interested in the design and implementation of programming languages, especially functional languages, the development of language abstractions to make programming easier, more powerful and more robust; I'm also interested in distributed computing, its algorithms and its theory. Specialties: web development, web architecture, web programming, programming languages, functional programming, operational semantics, writing, presenting To my students: I have a policy, chosen long ago, of only connecting with those on LinkedIn who I've actually *worked* with, which for me doesn't include my students in general. Those who I've had as TAs who have been responsible to me in that way are considered "co-workers" and can be linked to me.