Thesis title | Year of announcement | Year of defence | Thesis type | Thesis discipline | Supervisor | Author | Announced | Assigned | Department | Faculty | |
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 | |
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 | |
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 | |
LSQL language and its implementation for csv files | 2023/2024 | Bachelor's thesis | doc. Mgr. Jan Hubička, Ph.D. | 08.03.2021 | Ne | 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 | |
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 | ||
Command-line tool lsql-csv for CSV files processing | 2023/2024 | Bachelor's thesis | doc. Mgr. Jan Hubička, Ph.D. | Přemysl Šťastný | 20.03.2024 | 20.03.2024 | 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 | ||
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 | |
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 | |
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 | |
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 | |
Digital processing of early colour photography | 2022/2023 | Bachelor's thesis | IPP1 | doc. Mgr. Jan Hubička, Ph.D. | Linda Kimrová | 13.12.2022 | 13.12.2022 | Katedra aplikované matematiky (32-KAM) | MFF | ||
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 | |
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 | |
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 | |
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 | |
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 |
Results 1-18 of 18 1