Für ihre Bachelor-Arbeit an der Freien Universität Berlin zur Verifikation der intuitionistischen Modallogik wurde Hanna Lachnitt von der TU Wien und dem Wolfgang Pauli Institut ausgezeichnet. Die Arbeit betreute PD Dr. Christoph Benzmüller .

(Lesen Sie weiter)