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've seen people reporting scams like this I think several months ago.
gollark: Great!
gollark: But I think your information is wrong.
gollark: I'm hardly going to scan random QR codes which should be a link *anyway*, especially using the "scan QR code" button which I know is in fact for logging into accounts (although the label could be clearer).
gollark: On the internet, "this person is lying or misinformed" does tend to be the most parsimonious explanation, but I don't really 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.