Jump to content

Thomas Studer

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Tassedethe (talk | contribs) at 18:35, 21 January 2019. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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]

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.