Filip Kliber

Doktorand

Katedra distribuovaných a spolehlivých systémů
Matematicko-fyzikální fakulta
Univerzita Karlova

Malostranské náměstí 25
118 00, Praha 1

E-mail: kliber@d3s.mff.cuni.cz
Telefon: +420 951 554 121
Office: 309, 3rd floor

Oblasti zájmu

• Programovací jazyky (moderní featury, překladače, debuggery, kombinování jazyků)
• Podpora vývoje SW (verifikace, statická/dynamická analýza, debuggery)
• Paralelní počítání (GPGPU, vektorové jednotky)
• Hry (libovolného druhu)
• A vlastně cokoliv co je zábava a co se k něčemu hodí
• Pokud máte nápad, ozvěte se mi mailem a můžeme se o tom pobavit!

Výuka 2022/2023

• NSWI177 — Úvod do Linuxu
• NPRG038 — Pokročilé programování v jazyce C#
• NPRG035 — Programování v jazyce C#

Předešlá výuka (2018-2022)

• NSWI177 — Úvod do Linuxu
• NPRG038 — Pokročilé programování pro .NET I
• NPRG035 — Jazyk C# a platforma .NET

Vzdělání

• Mgr. v oboru Informatika, Matematicko-fyzikální fakulta, Univerzita Karlova, 2018
• Bc. v oboru Informatika, Matematicko-fyzikální fakulta, Univerzita Karlova, 2016

Publikace

 @inproceedings{parizek_checking_2023,
    title = {{Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs}},
    author = {Parízek, Pavel and Kliber, Filip},
    year = {2023},
    booktitle = {{Proceedings of JPF Workshop 2022}},
    publisher = {ACM},
    location = {Michigan, USA},
    doi = {10.1145/3573074.3573082},
    pages = {27--31},
    url = {https://doi.org/10.1145/3573074.3573082},
}
 

 @techreport{parizek_incremental_report_2022,
    title = {{Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads}},
    author = {Parízek, Pavel and Kliber, Filip},
    year = {2022},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {D3S-TR-2022-01},
    pages = {1--15},
    url = {http://d3s.mff.cuni.cz/files/public/parizek/pubs/tr-2022-1.pdf},
}