V dňoch 13.-17.11.2023 prebehlo na pôde našej katedry druhé stretnutie členov riešiteľského kolektívu bilaterálneho projektu „Moderný prístup k výučbe predmetov na univerzitnej úrovni v oblasti teoretickej informatiky“ s členmi výskumnej skupiny „Programming Technology" z Katedry informatiky, Fakulty matematiky a prírodných vied, Univerzity v Osle v zložení:
- Eric Bartley Jul,
- Joachim Tilsted Kristensen,
- Lars Vadgaard,
- Michael Kirkedal Thomsen.
Riešiteľský kolektív z našej katedry pod vedením Jána Perháča spolupracuje s tímom z Univerzity v Osle pod vedením Michaela Kirkedala Thomsena na výskume v oblasti generovania a vizualizácie interaktívnych dokazovacích systémov a ich využitia vo výučbe.
Počas stretnutia sa taktiež uskutočnili pozvané prednášky zahraničných hostí pre tri predmety vyučované v inžinierskom stupni štúdia:
- Michael Kirkedal Thomsen - Reversible quantum computing (Sémantika programovacích jazykov).
- Joachim Tilsted Kristensen - Continuation passing style (Funkcionálne programovanie).
- Joachim Tilsted Kristensen - Proofs as programs (Teória typov).
Výskum prebieha v rámci projektu: „Moderné prístupy a nástroje pre výučbu predmetov na univerzitnej úrovni v oblasti teoretickej informatiky, logiky, teórie typov a sémantiky“, č.: FBR-PDI-025, ktorý je podporený Islandom, Lichtenštajnskom a Nórskom prostredníctvom grantov EHP a Nórskych grantov.
V rámci projektu je priestor na vypísanie viacerých bakalárskych, resp. diplomových prác. Záujemcovia môžu kontaktovať riešiteľský tím (Ján Perháč, William Steingartner, Sergej Chodarev, Samuel Novotný).
Webová adresa projektu: https://onlineprover.github.io/sk/
Spoločným úsilím k zelenej, konkurencieschopnej a inkluzívnej Európe.
Granty EHP a Nórska: https://www.eeagrants.sk/
