  Thesis title |
Year of announcement |
 Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
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 | |
|
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 | |
|
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 | |||
|
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 | ||
|
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 | |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
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 |
Results 1-18 of 18 1