Thomas Studer

Thomas Studer, born April 4, 1972, is Professor at the Computer Science Institute at the University of Bern. He is a specialist in logic and theoretical computer science.

He is elected presidium member of the Platform Mathematics, Astronomy and Physics of the Swiss Academy of Science.[1]

Since 2014 he is president of the Swiss Society for Logic and Philosophy of Science.[2]

Bibliography
  • Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL (2016, Springer Vieweg)[3]
  • Kahle, Reinhard, Strahm, Thomas, Studer, Thomas (eds.): Advances in Proof Theory (2016, Birkhäuser)[4]
  • Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe and Thomas Studer (eds.): Advances in Modal Logic - Volume 12 (2018 College Publication)[5]
gollark: I am so foolish and apioidal.
gollark: oops. I must now quit.
gollark: N█xt.
gollark: !0
gollark: I quite like it.

References
  1. "Presidium | Platform Mathematics, Astronomy and Physics". naturalsciences.ch. Retrieved 2018-10-29.
  2. "Swiss Society for Logic and Philosophy of Science". www.sslps.unibe.ch. Retrieved 2018-10-29.
  3. Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL | Thomas Studer | Springer. EXamen.press. Springer. 2016. ISBN 9783662465707.
  4. Advances in Proof Theory | Reinhard Kahle | Springer. Progress in Computer Science and Applied Logic. Birkhäuser Basel. 2016. ISBN 9783319291963.
  5. "College Publications - AiML". www.collegepublications.co.uk. Retrieved 2018-10-29.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.