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](https://www.strava.com/athletes/28189808) if you like. I try to collect my [[Trip Reports]] to help others (and myself!) with their trip planning. ![[me.jpeg]] <small>Me in various states of suffering (find type 1, 2, 3 fun).</small> # Photography My more interesting adventures have [photo albums on Flickr](https://www.flickr.com/photos/bravenboer/albums). I mostly do landscapes, but also like wildlife photography. In the Photography directory you can find some of my favorite photos with links to Flickr albums. For most photos on Flickr, I use the Creative Commons license ([CC BY](https://creativecommons.org/share-your-work/cclicenses/) 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](https://en.wikipedia.org/wiki/Lysichiton_americanus), one of my favorite plants). ![[photogallery.png]] # Computer Scientist Currently I am doing some work for myself and exploring new areas I am interested in. I was VP of Engineering at [RelationalAI](http://relational.ai/). 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 [https://www.youtube.com/watch?v=WRHy7M30mM4](CMU Database Talk) ) and managed the engineering team. Before RelationalAI, I was CTO at [LogicBlox](http://www.logicblox.com/), 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](https://yanniss.github.io/). 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](https://yanniss.github.io/) on the declarative specification of points-to analysis (this resulted in [Doop](https://github.com/plast-lab/doop), see [[Software]]). This project was funded by [LogicBlox](http://www.logicblox.com/). As a Ph.D. student I worked with [Eelco Visser](http://swerl.tudelft.nl/bin/view/EelcoVisser) 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](http://www.strategoxt.org/) program transformation system during this time (see [[Software]]). # Other Places - [GitHub](https://github.com/mbravenboer/) - [Google Scholar](https://scholar.google.com/citations?user=u2EHrxEAAAAJ) - [BlueSky](https://bsky.app/profile/mbravenboer.bsky.social) - [Flickr](https://www.flickr.com/photos/bravenboer/albums/) - [LinkedIn](https://www.linkedin.com/in/mbravenboer/)