Pavel Čadek

(Pronunciation of my name in German: Pawel Tschadek)


Project assistant


Pavel Čadek
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HE 03 14 (how to get there)
Phone: +43 (1) 58801 – 740 030
Email: ta.etysrofnull@kedacp



I have studied theoretical informatics at Faculty of Informatics, Masaryk University in Brno, Czech Republic and graduated with my master degree in June 2015. I work at Forsyte since October 2015 under the supervision of Florian Zuleger. My work is mainly concerning loop bounds.

Besides informatics, I have studied cello playing in Brno conservatory. Music is now my biggest hobby. Here is a link to my former band.


[2] Tighter Loop Bound Analysis (Technical report)
Pavel Cadek, Jan Strejcek, Marek Trtík
CoRR, volume abs/1605.03636, 2016.
[bibtex] [pdf]
[1] Tighter Loop Bound Analysis
Pavel Cadek, Jan Strejcek, Marek Trtík
Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pages 512-527, 2016.
[bibtex] [pdf]

Latest News

Facebook group for Austrian computer scientists

There is a new facebook group for communication among Austrian computer scientists: For those who are skeptical about facebook, we created a read-only mirror (beta version):  

Continue reading

Johannes Kinder joins Royal Holloway

After a postdoc with George Candea, FORSYTE alumnus Johannes Kinder will start a lecturer position at Royal Holloway in September 2013! Congratulations!

Continue reading

Full news archive