Hi, until recently I was a PhD student at the University of Edinburgh in the Laboratory for Foundations of Computer Science (LFCS) where I worked on programming language support for provenance with James Cheney.
Provenance is meta-data about the origin, location, and history of data. Provenance of data can be useful for debugging, it gives additional information about data that can help to pin down errors and their causes. More importantly, in a world increasingly driven by data, it gives us the tools necessary to decide whether some data is trustworthy. In general, data could come from anywhere, but provenance metadata tells us its source. Only then can make an informed decision to trust the source, or not.
Language-integrated provenance is about developing programming language based tools for access to and computation of provenance. Language-integrated query gives us easy access to, and type safe as well as injection-safe handling of, database data. We work on easy access and safe handling of provenance metadata. This will make it possible and easy to trace data through a program from its source and propagate provenance. As a result we, and users of our data, gain more confidence in its trustworthiness.
In 2016 I interned at IBM Research. I worked on an Apache Spark backend for the formally verified query compiler Q*cert with Jérôme Siméon.
In 2015 I interned at Microsoft Research to work on Trill with Mike Barnett. Trill is a high-throughput streaming query engine which derives much of its performance from runtime code generation. Over the summer I rewrote the code generation framework from text templates to a custom AST transformation system based on the Roslyn C# compiler.
I got Bachelor and Master of Science degrees from the University of Marburg in Germany. My bachelor’s thesis revolved around evolving legacy code bases to use domain-specific languages. My master’s thesis was about just-in-time compiling parsers using Oracle’s GraalVM and Truffle framework to speed up parsing of syntactically extensible languages.
I live in Liverpool, UK. Email me at firstname.lastname@example.org.
You can also find me on Github and Twitter.