I am a computer scientist, photographer, runner and hiker. I live in Washington State.
Hiking
I like hiking far into the backcountry, barely surviving excessively long snowshoe adventures, and occasionally some trail running. You can follow me on Strava if you like. I try to collect my Trip Reports to help others (and myself!) with their trip planning.
Me in various states of suffering (find type 1, 2, 3 fun).
Photography
My more interesting adventures have photo albums on Flickr. I mostly do landscapes, but also like wildlife photography. In the Photography directory of this website you can find some of my favorite photos with links to Flickr albums (e.g. at Glacier Peak Wilderness and Costa Rica).
For most photos on Flickr, I use the Creative Commons license (CC BY to be precise). I particularly enjoy seeing my photos used on Wikipedia or in education material. Some Wikipedia authors regularly use my photos in articles on specific mountains (not to mention Skunk Cabbage, one of my favorite plants).
Computer Scientist
If your interests are purely academic, then my publications and presentations are here.
Currently I am doing some work for myself and exploring new areas I am interested in.
I was VP of Engineering at RelationalAI. We worked there at the intersection of programming languages, databases and machine learning. I was the original designer of the Rel language, influenced the architecture of the system ( see my CMU Database Talk ) and managed the engineering team.
Before RelationalAI, I was CTO at LogicBlox, where I was leading the team responsible for the core engine of the LogicBlox platform. We worked on compiler technology, language design, query execution, and data storage. I also worked on applications of LogicBlox to program analysis in collaboration with Yannis Smaragdakis.
I was a postdoctoral researcher at the computer science department of the University of Oregon (2008-2009) and the University of Massachusetts Amherst (2009). As a postdoctoral researcher I worked with Yannis Smaragdakis on the declarative specification of points-to analysis (this resulted in Doop, see Software). This project was funded by LogicBlox.
As a Ph.D. student I worked with Eelco Visser at the Computer Science department of the Utrecht University (2003-2007) and the Delft University of Technology (2007-2008), both in the Netherlands. I was one of main developers of the Stratego/XT program transformation system during this time (see Software).