Albert Schimpf

Phd Student @ RPTU

Albert is a PhD student at the Department of Computer Science of the University of Kaiserslautern-Landau. His interests are bringing the world of types to the world of Erlang! Albeert’s previous work includes building tools for verification, mainly propositional satisfiablility and regular language inclusion solvers.