About me

 

 

Thomas Studer is associate professor in computer science at the University of Bern where he heads the Logic and Theory Group.

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 was senior software engineer for Crosspoint Informatik AG. In October 2003, Thomas Studer rejoined the Institute of Computer Science and Applied Mathematics of the University of Bern. His current research interests include proof theory, modal logics, and data privacy.

Thomas Studer serves in the board of the Swiss Society for Logic and Philosophy of Science. He also is a member of the Executive Committee of the Platform Mathematics, Astronomy and Physics (MAP) of the Swiss Academy of Sciences (SCNAT).


Web presence:

Xing, LinkedIn, Math Genealogy