About me
|
Thomas Studer is a lecturer in Computer Science at the University of Bern.
He studied computer science, mathematics, and philosophy in Bern where he also completed his PhD in 2001. His thesis focused on the mathematical modeling of object-oriented programming languages. From 2001 to 2003 he worked as a senior software engineer for Crosspoint Informatik AG. In October 2003, Thomas Studer rejoined the Institut of Computer Science and Applied Mathematics of the University of Bern. His current research interests include proof theory, modal logics, and data privacy. |