Ph.D. student

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University

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

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

Topics of interests

Teaching 2022/2023

Past Teaching (2018-2022)

Education

Publications

P. Parízek, F. Kliber:
Incremental Verification of Multithreaded Programs by Checking Interleavings for Pairs of Threads, Technical report no. D3S-TR-2022-01, Department of Distributed and Dependable Systems, Charles University, pp. 1-15, 2022