Albert Schimpf, M.Sc.
|Phone||+49 - 631 - 205 - 26 46|
|Fax||+49 - 631 - 205 - 34 20|
|Postal address||TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
|Visitor address||Gebäude 34, Raum 408
Zugang über Paul-Ehrlich-Str.
I’m a PhD student at the Department of Computer Science of the University of Kaiserslautern, in the AG Programming Languages.
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 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.