Albert Schimpf, M.Sc.



+49 - 631 - 205 - 3364


+49 - 631 - 205 - 34 20


RPTU in Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern


Gebäude 34, Raum 408
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern



I’m a PhD student at the Department of Computer Science of the University of Kaiserslautern-Landau, in the AG Softwaretechnik.


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.



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.