Projects

Combinatory Logic Synthesizer (CLS)

Automatic program synthesis from component libraries using semantic specifications. (with Jakob Rehof, Jan Bessai, George T. Heineman)

Plan X

Highly efficient, scalable blockchain system based on structured P2P systems for trustworthy internet-scale computing. (with Fritz Henglein, Oleks Shturmov, Martin Elsmann)

Automatic Program Synthesis with Formal Guarantees using Dependent-Typed Proofs

Automatic program synthesis from component libraries with formal guarantees (program safety and cyber security) using Coq. (with Jakob Rehof, Jan Bessai, Andrej Dudenhefner)