Search Results - Studer, Thomas 1972-
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 has a degree in mathematics, computer science, and philosophy from the University of Bern; he earned his PhD in 2011. 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.
Since 2014 he is president of the [http://www.sslps.unibe.ch/ Swiss Society for Logic and Philosophy of Science]. Provided by Wikipedia
-
1Relationale Datenbanken: von den theoretischen Grundlagen zu Anwendungen mit PostgreSQLPublished 2019Read online
Electronic eBook -
2Relationale Datenbanken: Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQLPublished 2016Read online
Table of Contents
Electronic eBook -
3
-
4
-
5
-
6Advances in proof theoryPublished 2016Other Authors: “…Studer, Thomas 1972-…”
Read online
Table of Contents
Electronic Conference Proceedings eBook -
7Logic, language, information, and computation: 30th international workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, proceedingsPublished 2024Other Authors: “…Studer, Thomas 1972-…”
Read online
Electronic Conference Proceedings eBook -
8Advances in proof theoryPublished 2016Other Authors: “…Studer, Thomas 1972-…”
Table of Contents
Order via interlibrary loanConference Proceedings Book