Thomas Studer - Thomas Studer

Thomas Studer, narozen 4. dubna 1972, je profesorem na Ústavu počítačových věd na University of Bern. Je specialistou na logika a teoretická informatika.

Vystudoval matematiku, informatiku a filozofii na univerzitě v Bernu; doktorát získal v roce 2011.[1] Před nástupem na fakultu na univerzitě pracoval jako senior softwarový inženýr v Crosspoint Informatik.

Je zvolen členem prezidia Platformy matematiky, astronomie a fyziky EU Švýcarská akademie věd.[2]

Od roku 2014 je prezidentem Švýcarská společnost pro logiku a filozofii vědy.[3]

Bibliografie

  • Relationale Datenbanken - Von den teoretischen Grundlagen zu Anwendungen mit PostgreSQL (2016, Springer Vieweg)[4]
  • Kahle, Reinhard, Strahm, Thomas, Studer, Thomas (eds.): Advances in Proof Theory (2016, Birkhäuser)[5]
  • Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe a Thomas Studer (eds.): Advances in Modal Logic - Svazek 12 (2018 College Publication)[6]

Reference

  1. ^ „Thomas Studer“. home.inf.unibe.ch. Citováno 2020-10-13.
  2. ^ "Prezídium | Platformová matematika, astronomie a fyzika". přírodní vědy.ch. Citováno 2018-10-29.
  3. ^ „Švýcarská společnost pro logiku a filozofii vědy“. www.sslps.unibe.ch. Citováno 2018-10-29.
  4. ^ Relationale Datenbanken - Von den teoretischen Grundlagen zu Anwendungen mit PostgreSQL | Thomas Studer | Springer. EXamen.press. Springer. 2016. ISBN  9783662465707.
  5. ^ Pokroky v teorii důkazů Reinhard Kahle | Springer. Pokrok v informatice a aplikované logice. Birkhäuser Basilej. 2016. ISBN  9783319291963.
  6. ^ „College Publications - AiML“. www.collegepublications.co.uk. Citováno 2018-10-29.