Martin Bravenboer

Work

I am VP of Engineering at relationalAI. We do exciting work at the intersection of programming languages, databases and machine learning. There is no public information yet about the product we are developing, but if you're looking for interesting work please reach out.

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.

Previously, 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). This project was funded by LogicBlox.

As a Ph.D. student I worked with Eelco Visser at the departments of software technology of the Utrecht University (2003-2007) and the Delft University of Technology (2007-2008), both in the Netherlands. This resulted in my Ph.D. thesis Exercises in Free Syntax. I was one of main developers of the Stratego/XT program transformation system during this time.

Personal

I live in Seattle and love the mountains of the Pacific Northwest. Most of my hiking trips have photo albums on Flickr. Here is a collection of my photos that I like best.

I'm married with Shan Shan Huang, but she updates her website even less frequently than I do.