Lehrstuhl Softwaretechnik

Albert Schimpf, M.Sc.

E-Mail-Adresse

tuk.agpl@schimpf.link

Telefon

+49 - 631 - 205 - 26 46

Fax

+49 - 631 - 205 - 34 20

Postanschrift

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

Besucheradresse

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

 

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

Research

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.

Projects

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.

Zum Seitenanfang