Logic and Theory Group (LTG)
Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.
Recognition of Outstanding Achievements in Teaching
Two semester in row, LTG lecturers received the university’s
recognition of outstanding achievements in teaching:
Thomas Strahm for „Berechenbarkeit und Komplexität“, spring semester 19
Thomas Studer for „Modal Logic“, autumn semester 19
