Jonas Schöpf
dio4ev
(λ name domain. name@domain) "jonas.schoepf" "uibk.ac.at"
University of Innsbruck Austria
Burak Ekici
ekiciburak
Senior Research Associate at Department of Computer Science
University of Oxford Oxford
Łukasz Czajka
lukaszcz
compiler construction, programming language design, proof automation, computational logic
Manuel Eberl
pruvisto
Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.
University of Innsbruck Innsbruck
Lars Hupel
larsrh
evangelizing things | “absurd enthusiasm for trains, electoral systems, and bureaucracy”
Giesecke+Devrient München