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]
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.
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.
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.
Ivor Owen Grattan-Guinness was a historian of mathematics and logic.
Jean-Yves Béziau is a professor and researcher of the Brazilian Research Council (CNPq) at the University of Brazil in Rio de Janeiro.
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.
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:
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
Andreas Speiser was a Swiss mathematician and philosopher of science.
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.
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.
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.
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.
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.