Pavel Čadek
(Pronunciation of my name in German: Pawel Tschadek)
Position:
Project assistant
Address:
Address:
Pavel Čadek
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
Room: | HE 03 14 (how to get there) |
Phone: | +43 (1) 58801 – 740 030 |
Email: | pcadek@forsyte.at |
Web: | http://forsyte.at/~cadek/ |
Bio:
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.
Publications:
2016 | |
[2] | Tighter Loop Bound Analysis (Technical report) CoRR, volume abs/1605.03636, 2016. |
[1] | Tighter Loop Bound Analysis Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, pages 512–527, 2016. |