Dec 01, 2023 Computer Science, Assistant Professor (Algorithms, Languages, Formal Methods, Computation, and Software Engineering), Tenure-Track | Konstantin Läufer