Томас Штудер
Томас Штудер (родился 4 апреля 1972 г.) — профессор Института компьютерных наук Бернского университета . Специалист в области логики и теоретической информатики .
Он имеет степень по математике, информатике и философии Бернского университета; в 2011 году он получил докторскую степень. [1] До прихода на преподавательскую работу в университете он был старшим инженером-программистом в Crosspoint Informatik.
Он избран членом президиума Платформы математики, астрономии и физики Швейцарской академии наук . [2]
С 2014 года он является президентом Швейцарского общества логики и философии науки. [3]
Библиография
- Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL (2016, Springer Vieweg) [4]
- Кале, Рейнхард, Штрам, Томас, Штудер, Томас (ред.): Достижения в теории доказательств (2016, Биркхойзер) [5]
- Гурам Бежанишвили, Джованна Д'Агостино, Джордж Меткалф и Томас Штудер (ред.): Достижения в модальной логике - Том 12 (издание колледжа 2018 г.) [6]
Ссылки
- ^ "Томас Штудер". home.inf.unibe.ch . Получено 2020-10-13 .
- ^ "Президиум | Платформа Математика, Астрономия и Физика". naturalsciences.ch . Получено 29.10.2018 .
- ^ "Швейцарское общество логики и философии науки". www.sslps.unibe.ch . Получено 29.10.2018 .
- ^ Relationale Datenbanken - Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL | Томас Штудер | Спрингер. ЭКСАмен.пресс. Спрингер. 2016. ISBN 9783662465707.
- ^ Достижения в теории доказательств | Рейнхард Кале | Springer. Прогресс в области компьютерных наук и прикладной логики. Birkhäuser Basel. 2016. ISBN 9783319291963.
- ^ "College Publications - AiML". www.collegepublications.co.uk . Получено 29.10.2018 .
.svg/1280px-Flag_of_Switzerland_(Pantone).svg.png) | Эта статья о швейцарском ученом — заглушка . Вы можете помочь Википедии, дополнив ее. |
