User:Normanstresskopf

since 2010: professor of applied logic, TU Darmstadt