B. Rucy

My main area of research is expressive incremental stream processing, most specifically in applying this to complex recursive computations such as those often found when evaluating programs written in languages like prolog.

It is more practical than it seems, with my main contributions being writing fast interpreters for query languages, such as SQL and Datalog, that allow for "incrementally" evaluating queries i.e to very efficiently support materialized views, even over queries with recursion. If this catches your eye, keep reading.

I have dabbled in applied ML as well, so if you feel like for some god forbidden reason you want to combine both of these things into one, hit me up. Here is a project on that vein: https://www.scallop-lang.org

I highly value approaching research exactly as a (not so intense) regular software engineering job. Working with me means that I will mentor you in git hygiene, and will (most likely) review every single pull request you will make, hence as to why I only work with languages that I am very confident with (Rust and Python).

Most specifically, I could provide supervision in the following domains:

• Implementation of query evaluators
• Evaluating experimental data structures
• Evaluating query plan or program optimisations and optimisers
• Large-scale experimental query evaluation
• Logic reasoning with machine learning

Contact for more info: B. Rucy (bruno.rucy.carneiro.alves.de.lima@ut.ee)