  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
Pattern matching in compilers | 2011/2012 | 2011/2012 | diploma thesis | IDMA | doc. Mgr. Jan Hubička, Ph.D. | hidden |
27.10.2011 | 31.10.2011 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Advanced inter-procedural optimizations of large applications | 2025/2026 | dissertation | P4I4 | doc. Mgr. Jan Hubička, Ph.D. | 29.04.2024 | Ne | Katedra aplikované matematiky (32-KAM) | MFF | ||
|
Digital processing of early colour photography | 2022/2023 | 2023/2024 | Bachelor's thesis | IPP1 | doc. Mgr. Jan Hubička, Ph.D. | Bc. Linda Kimrová | 13.12.2022 | 13.12.2022 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Incremental link-time optimization in GNU Compiler Collection | 2022/2023 | 2022/2023 | Bachelor's thesis | IPP3 | doc. Mgr. Jan Hubička, Ph.D. | hidden |
06.04.2023 | 06.04.2023 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Low-level optimizations using SSA form in GNU Compiler Collection | 2025/2026 | 2024/2025 | Bachelor's thesis | doc. Mgr. Jan Hubička, Ph.D. | Bc. Ondřej Machota | 28.05.2025 | 30.05.2025 | Katedra aplikované matematiky (32-KAM) | MFF | |
|
Optimizing dynamic and functional languages | 2011/2012 | dissertation | 4I4 | doc. Mgr. Jan Hubička, Ph.D. | hidden |
23.04.2012 | 26.09.2012 | Informatický ústav Univerzity Karlovy (32-IUUK) | MFF | |
|
Advanced inter-procedural optimizations of large applications | 2025/2026 | dissertation | P4I4 | doc. Mgr. Jan Hubička, Ph.D. | 09.05.2024 | Ne | Katedra aplikované matematiky (32-KAM) | MFF | ||
|
Alternative inliner implementation in GNU Compiler Collection | 2024/2025 | 2023/2024 | Bachelor's thesis | doc. Mgr. Jan Hubička, Ph.D. | hidden |
04.07.2024 | 11.07.2024 | Katedra aplikované matematiky (32-KAM) | MFF | |
|
Optimizations in the GNU Compiler Collection targeted at scientific computing | 2005/2006 | 2006/2007 | diploma thesis | ISS | doc. Mgr. Jan Hubička, Ph.D. | hidden |
06.10.2005 | 10.11.2005 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Improving loop optimization with histogram profiling | 2022/2023 | 2022/2023 | Bachelor's thesis | IPP1 | doc. Mgr. Jan Hubička, Ph.D. | hidden |
13.12.2022 | 13.12.2022 | Katedra aplikované matematiky (32-KAM) | MFF |
|
An alternative SSA construction algorithm for GCC | 2022/2023 | 2022/2023 | Bachelor's thesis | IPP1 | doc. Mgr. Jan Hubička, Ph.D. | hidden |
04.04.2023 | 04.04.2023 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Inter-procedural alias analysis in GCC | 2025/2026 | diploma thesis | IDMP | doc. Mgr. Jan Hubička, Ph.D. | hidden |
03.09.2025 | 04.09.2025 | Katedra aplikované matematiky (32-KAM) | MFF | |
|
Counting big Ramsey degrees | 2024/2025 | 2024/2025 | Bachelor's thesis | doc. Mgr. Jan Hubička, Ph.D. | hidden |
16.04.2025 | 23.04.2025 | Katedra aplikované matematiky (32-KAM) | MFF | |
|
Semigroup-valued metric spaces | 2018/2019 | 2018/2019 | diploma thesis | IDMA | doc. Mgr. Jan Hubička, Ph.D. | hidden |
03.07.2018 | 03.07.2018 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Scalable whole program mod/ref analysis | 2018/2019 | diploma thesis | ITI | doc. Mgr. Jan Hubička, Ph.D. | hidden |
10.09.2019 | 11.09.2019 | Katedra aplikované matematiky (32-KAM) | MFF | |
|
Command-line tool lsql-csv for CSV files processing | 2023/2024 | 2023/2024 | Bachelor's thesis | doc. Mgr. Jan Hubička, Ph.D. | Bc. Přemysl Šťastný | 20.03.2024 | 20.03.2024 | Katedra aplikované matematiky (32-KAM) | MFF | |
|
Optimizing large applications | 2012/2013 | 2012/2013 | diploma thesis | ISS | doc. Mgr. Jan Hubička, Ph.D. | hidden |
29.10.2012 | 08.11.2012 | Informatický ústav Univerzity Karlovy (32-IUUK) | MFF |
|
API for C# code generation | 2019/2020 | 2019/2020 | Bachelor's thesis | IPSS | doc. Mgr. Jan Hubička, Ph.D. | hidden |
24.02.2020 | 26.02.2020 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Semigroup-valued metric spaces | 2019/2020 | 2019/2020 | rigorosum thesis | IDMA | doc. Mgr. Jan Hubička, Ph.D. | hidden |
18.06.2020 | 18.06.2020 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Scalable link-time optimization | 2014/2015 | 2016/2017 | diploma thesis | IDMA | doc. Mgr. Jan Hubička, Ph.D. | hidden |
07.05.2015 | 07.05.2015 | Informatický ústav Univerzity Karlovy (32-IUUK) | MFF |
|
Combinatorial Properties of Metrically Homogeneous Graphs | 2017/2018 | 2017/2018 | Bachelor's thesis | IOI | doc. Mgr. Jan Hubička, Ph.D. | hidden |
13.03.2018 | 14.03.2018 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Ramsey degrees and universal structures | 2024/2025 | dissertation | P4I4A | doc. Mgr. Jan Hubička, Ph.D. | Maximilian Strohmeier, M.Sc. | 29.04.2024 | 30.09.2024 | Katedra aplikované matematiky (32-KAM) | MFF | |
|
Model theory and extremal combinatorics | 2019/2020 | 2022/2023 | dissertation | P4I4 | doc. Mgr. Jan Hubička, Ph.D. | hidden |
26.03.2019 | 18.07.2019 | Katedra aplikované matematiky (32-KAM) | MFF |
|
Demosaicing algorithms applied to early color photography | 2025/2026 | 2024/2025 | Bachelor's thesis | IOI | doc. Mgr. Jan Hubička, Ph.D. | hidden |
06.06.2025 | 03.07.2025 | Katedra aplikované matematiky (32-KAM) | MFF |
|
The Extension Property for Partial Automorphisms (EPPA) of Reducts of Relational Structures | 2020/2021 | 2022/2023 | Bachelor's thesis | IOIA | doc. Mgr. Jan Hubička, Ph.D. | hidden |
27.05.2021 | 31.05.2021 | Katedra aplikované matematiky (32-KAM) | MFF |
Results 1-25 of 25 1