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]
References
- ^ "Presidium | Platform Mathematics, Astronomy and Physics". naturalsciences.ch. Retrieved 2018-10-29.
- ^ "Swiss Society for Logic and Philosophy of Science". www.sslps.unibe.ch. Retrieved 2018-10-29.
- ^ Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL | Thomas Studer | Springer. EXamen.press. Springer. 2016. ISBN 9783662465707.
- ^ Advances in Proof Theory | Reinhard Kahle | Springer. Progress in Computer Science and Applied Logic. Birkhäuser Basel. 2016. ISBN 9783319291963.
- ^ "College Publications - AiML". www.collegepublications.co.uk. Retrieved 2018-10-29.
 | This article about a Swiss scientist is a stub. You can help Wikipedia by expanding it. |