Lõputööde teemad (sisestamine)
Valminud lõputööd
(sisestamine)
Alljärgnev loend informeerib Teid võimalikest lõputööde teemadest. Kui olete leidnud sobiva teema, võtke ühendust selle pakkujaga, et välja selgitada antud teemaga seotud eeldusi ja nõudeid. Alles pärast kokkulepet juhendajaga saate valitud teemal kirjutada oma bakalaureuse- või magistritöö.
Aasta:
2023-2024
2022-2023
2021-2022
2020-2021
2019-2020
2018-2019
2017-2018
2016-2017
2015-2016
2014-2015
KÕIK
| Ettevõte | Teema | Periood | Kandideerimise email | ||
|---|---|---|---|---|---|
| Magister (4) | |||||
| Cryptography | Environment for structured mathematical proofs | 2019-2020 | unruh@ut.ee | Detailid | |
| Cryptography | Towards an external checker for EasyCrypt | 2019-2020 | unruh@ut.ee | Detailid | |
| Cryptography | Security proofs in EasyCrypt | 2019-2020 | unruh@ut.ee | Detailid | |
| Cryptography | Rewinding in EasyCrypt | 2019-2020 | unruh@ut.ee | Detailid | |