(Pronunciation of my name in German: Pawel Tschadek)
Technische Universität Wien
Institut für Informationssysteme 184/4
|Room:||HE0314 (how to get there)|
|Phone:||+43 (1) 58801 – 740030|
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.
||| Tighter Loop Bound Analysis (Technical report)|
CoRR, volume abs/1605.03636, 2016.
||| 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.