Thomas Studer

Last updated

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. [1] 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. [2]

Since 2014 he is president of the Swiss Society for Logic and Philosophy of Science. [3]

Bibliography

Related Research Articles

<span class="mw-page-title-main">David Hilbert</span> German mathematician (1862-1943)

David Hilbert was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral theory of operators and its application to integral equations, mathematical physics, and the foundations of mathematics.

<span class="mw-page-title-main">University of Bern</span> University in the Swiss capital of Bern

The University of Bern is a university in the Swiss capital of Bern and was founded in 1834. It is regulated and financed by the Canton of Bern. It is a comprehensive university offering a broad choice of courses and programs in eight faculties and some 150 institutes. With around 19,000 students, the University of Bern is the third largest university in Switzerland.

<span class="mw-page-title-main">Null (SQL)</span> Marker used in SQL databases to indicate a value does not exist

In SQL, null or NULL is a special marker used to indicate that a data value does not exist in the database. Introduced by the creator of the relational database model, E. F. Codd, SQL null serves to fulfil the requirement that all true relational database management systems (RDBMS) support a representation of "missing information and inapplicable information". Codd also introduced the use of the lowercase Greek omega (ω) symbol to represent null in database theory. In SQL, NULL is a reserved word used to identify this marker.

<span class="mw-page-title-main">Ivor Grattan-Guinness</span> British historian of mathematics and logic

Ivor Owen Grattan-Guinness was a historian of mathematics and logic.

<span class="mw-page-title-main">Jean-Yves Béziau</span> Logician

Jean-Yves Béziau is a professor and researcher of the Brazilian Research Council (CNPq) at the University of Brazil in Rio de Janeiro.

<span class="mw-page-title-main">Michael Fourman</span> Logician and computer scientist

Michael Paul Fourman FBCS FRSE is Professor of Computer Systems at the University of Edinburgh in Scotland, UK, and was Head of the School of Informatics from 2001–2009.

<span class="mw-page-title-main">Walter Carnielli</span>

Walter Alexandre Carnielli is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the State University of Campinas (UNICAMP). With Bachelor and Ms.C. degrees in mathematics at the State University of Campinas in Campinas he obtained his Ph.D. in 1984 from the same university under the supervision of Newton da Costa and subsequently worked as a PostDoc at the University of California at Berkeley as a Research Fellow, following an invitation by Leon Henkin.

Birkhäuser was a Swiss publisher founded in 1879 by Emil Birkhäuser. It was acquired by Springer Science+Business Media in 1985. Today it is an imprint used by two companies in unrelated fields:

<span class="mw-page-title-main">Oscar Nierstrasz</span>

Oscar Marius Nierstrasz is a professor at the Computer Science Institute (IAM) at the University of Berne, and a specialist in software engineering and programming languages. He is active in the field of

<span class="mw-page-title-main">Andreas Speiser</span> Swiss mathematician

Andreas Speiser was a Swiss mathematician and philosopher of science.

<span class="mw-page-title-main">Michael Detlefsen</span> American philosopher (1948–2019)

Michael Detlefsen was an American philosopher who was a McMahon-Hank Professor of Philosophy at the University of Notre Dame. His areas of special interest were logic, history of mathematics, philosophy of mathematics and epistemology.

<span class="mw-page-title-main">Ruy de Queiroz</span>

Ruy J. Guerra B. de Queiroz is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.

Uwe Schöning is a retired German computer scientist, known for his research in computational complexity theory.

Wolfgang Konrad Spohn is a German philosopher. He is professor of philosophy and philosophy of science at the University of Konstanz.

<span class="mw-page-title-main">Leo Corry</span> Israeli historian of mathematics

Leo Corry is an Israeli historian of mathematics.

Boolean differential calculus (BDC) is a subject field of Boolean algebra discussing changes of Boolean variables and Boolean functions.

Georg Glaeser is an Austrian mathematician, a professor for mathematics and geometry at the University of Applied Arts Vienna. He has written books on computer graphics and biology in relation to mathematics and geometry.

<span class="mw-page-title-main">Rolf Rannacher</span>

Rolf Rannacher is a German mathematician and a professor of numerical analysis at Heidelberg University.

Gary James Jason is an American philosopher. He is well known for his work in argumentation theory, propaganda theory, mathematical logic and informal logic, and the philosophy of science. He is the author of texts on critical thinking and logic, among other books.

<span class="mw-page-title-main">Wolfgang Tschacher</span> Swiss psychology researcher

Wolfgang Tschacher is a Swiss psychologist and university lecturer. He is professor at the University of Bern.., Switzerland. He has conducted theoretical and empirical research in the fields of psychotherapy and psychopathology, especially from a systems-theoretical perspective that includes self-organization and complexity theory. He is active in the development of time series methods for the modeling of psychotherapeutic processes and generally social systems.

References

  1. "Thomas Studer". home.inf.unibe.ch. Retrieved 2020-10-13.
  2. "Presidium | Platform Mathematics, Astronomy and Physics". naturalsciences.ch. Retrieved 2018-10-29.
  3. "Swiss Society for Logic and Philosophy of Science". www.sslps.unibe.ch. Retrieved 2018-10-29.
  4. Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL | Thomas Studer | Springer. EXamen.press. Springer. 2016. ISBN   9783662465707.
  5. Advances in Proof Theory | Reinhard Kahle | Springer. Progress in Computer Science and Applied Logic. Birkhäuser Basel. 2016. ISBN   9783319291963.
  6. "College Publications - AiML". www.collegepublications.co.uk. Retrieved 2018-10-29.