Thomas Studer
{{Short description|Swiss computer scientist (born 1972)}}
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 has a degree in mathematics, computer science, and philosophy from the University of Bern; he earned his PhD in 2011.{{Cite web|title=Thomas Studer|url=https://home.inf.unibe.ch/~tstuder/|access-date=2020-10-13|website=home.inf.unibe.ch}} He was the senior software engineer at Crosspoint Informatik before joining the faculty at the university.
He is elected presidium member of the Platform Mathematics, Astronomy and Physics of the Swiss Academy of Science.{{Cite web|url=https://naturalsciences.ch/organisations/map/executive_commitee|title=Presidium {{!}} Platform Mathematics, Astronomy and Physics|website=naturalsciences.ch|language=en|access-date=2018-10-29}}
Since 2014 he is president of the [http://www.sslps.unibe.ch/ Swiss Society for Logic and Philosophy of Science].{{Cite web|url=http://www.sslps.unibe.ch/about.html|title=Swiss Society for Logic and Philosophy of Science|website=www.sslps.unibe.ch|access-date=2018-10-29}}
Bibliography
- Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL (2016, Springer Vieweg){{Cite book|url=https://www.springer.com/de/book/9783662465707|title=Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL {{!}} Thomas Studer {{!}} Springer|language=en|isbn=9783662465707|publisher=Springer|year=2016|series=EXamen.press}}
- Kahle, Reinhard, Strahm, Thomas, Studer, Thomas (eds.): Advances in Proof Theory (2016, Birkhäuser){{Cite book|url=https://www.springer.com/us/book/9783319291963|title=Advances in Proof Theory {{!}} Reinhard Kahle {{!}} Springer|language=en|isbn=9783319291963|publisher=Birkhäuser Basel|year=2016|series=Progress in Computer Science and Applied Logic}}
- Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe and Thomas Studer (eds.): Advances in Modal Logic - Volume 12 (2018 College Publication){{Cite web|url=http://www.collegepublications.co.uk/aiml/?00009|title=College Publications - AiML|website=www.collegepublications.co.uk|access-date=2018-10-29}}
References
{{Reflist}}
{{Authority control}}
{{DEFAULTSORT:Studer, Thomas}}
Category:Computer science writers
{{Switzerland-scientist-stub}}