Logic and Theory Group (LTG)

Logic land

Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.

News and Events

Two Awards for LTG

Two LTG students received the prize for the best thesis 2020 awarded by the Joint Alumni Association in Computer Science.
Nenad Savic received the award for the best PhD thesis and Michael Baur received the award for the best Master thesis.

Vorherige