Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern. Our general research interests are theoretical computer science and mathematical logic, with a focus on proof theory, computational logics, and theory of computation. We have extensive experience in formal methods, analysis of deductions, abstract computations, and, in particular, applications of mathematical logic to computer science. Our recent research comprises the following areas: