Томас Штудер - Thomas Studer

Томас Штудер, родился 4 апреля 1972 г., профессор Института компьютерных наук Бернский университет. Он специалист в логика и теоретическая информатика.

Он имеет степень в области математики, информатики и философии Бернского университета; он получил докторскую степень в 2011 году.[1] До прихода на факультет университета он был старшим инженером-программистом в Crosspoint Informatik.

Он избран членом президиума Платформы математики, астрономии и физики Швейцарская Академия Наук.[2]

С 2014 года он является президентом Швейцарское общество логики и философии науки.[3]

Библиография

  • Relationale Datenbanken - Теоретические основы работы с PostgreSQL (2016, Springer Vieweg)[4]
  • Кале, Рейнхард, Страм, Томас, Студер, Томас (ред.): Достижения в теории доказательств (2016, Биркхойзер)[5]
  • Гурам Бежанишвили, Джованна Д'Агостино, Джордж Меткалф и Томас Студер (ред.): Достижения в модальной логике - том 12 (издание колледжа 2018 г.)[6]

Рекомендации

  1. ^ "Томас Штудер". home.inf.unibe.ch. Получено 2020-10-13.
  2. ^ "Президиум | Платформа математики, астрономии и физики". naturalsciences.ch. Получено 2018-10-29.
  3. ^ «Швейцарское общество логики и философии науки». www.sslps.unibe.ch. Получено 2018-10-29.
  4. ^ Relationale Datenbanken - Фон теоретической базы данных с PostgreSQL | Томас Штудер | Springer. EXamen.press. Springer. 2016 г. ISBN  9783662465707.
  5. ^ Достижения в теории доказательств | Рейнхард Кале | Springer. Прогресс в области компьютерных наук и прикладной логики. Birkhäuser Basel. 2016 г. ISBN  9783319291963.
  6. ^ «Публикации колледжа - AiML». www.collegepublications.co.uk. Получено 2018-10-29.