Albert is a PhD student at the Department of Computer Science of the University of Kaiserslautern-Landau, in the AG Softwaretechnik. He is currently working on bringing a static type system based on set-theoretic types to Erlang.