My interests are understanding the different aspects of task-oriented programing and its relation to functional programming and other language theories.

My previous work includes building tools for verification, mainly propositional satisfiablility and regular language inclusion solvers.

ScraperFlow

Scraper is a workflow framework which enables flow-based or task-oriented programming in a declarative way. It is based on the language research collaboration with Professor, D.Sc. Atsushi Igarashi (五十嵐 淳) for my Master’s thesis Formal Semantics for Composable Workflows in Scraper in co-supervision by Prof. Dr. Arnd Poetzsch-Heffter.

Antidote, riak_core_lite

Antidote is a replicated database featuring high availability, transactional causal+ consistency, and expressive replicated data types.

riak_core_lite is a framework that simplifies the development of dynamo-style architectures, such as highly-available key-value stores and messaging systems. It is used as the foundation for AntidoteDB.

I worked on riak_core_lite, a fork of the original riak_core, and integrating it into AntidoteDB.

Regular Language Automaton Checker (RIAC)

RIAC is a regular language inclusion solver for languages represented by NFAs. It is a tested, stand-alone, and open-source C++ program built in collaboration with the workgroup of Prof. Roland Meyer.

A live demo and benchmark results are hosted here.

Java Modular Sat Solver (JMSS)

JMSS is a efficient and optimized solver for propositional logic. It is a tested, stand-alone, and open-source Java program and the outcome of my Bachelor’s thesis supervised by Prof. Roland Meyer and Sebastian Muskalla.