  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
Decision procedure for Linear Integer Arithmetic for modern SMT solver | 2023/2024 | diploma thesis | I | doc. RNDr. Jan Kofroň, Ph.D. | 07.11.2019 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
NextNonce: Cryptocurrency monitor | 2025/2026 | Bachelor's thesis | IPP2 | doc. RNDr. Jan Kofroň, Ph.D. | 19.05.2025 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Techniques for equivalence checking in the context of compiler optimizations | 2024/2025 | diploma thesis | doc. RNDr. Jan Kofroň, Ph.D. | 08.10.2020 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Results 1-3 of 3 1