Conference Talk, DevConf 2024, BUT, FIT, Brno, Czech Republic
This was an accepted talk at DevConf’24 and presented cooperation between BUT FIT (mainly by me and my colleague Jirka Pavela) with RedHat (Kernel Performance Team led by Jirka Hladký).
Seminary Lecture, VeriFIT Group Headquarters, Brno, Czech Republic
This was an internal seminary talk on how AI, its usage and some issues. The talk is private and the slides will not be available (it could contain some unwanted jokes).
Seminary Lecture, VeriFIT Group Headquarters, Brno, Czech Republic
This was an internal seminary talk on how to write better. The talk is private and the slides will not be available (it could contain some unwanted jokes).
Seminary Lecture, VeriFIT Group Headquarters, Brno, Czech Republic
This was an internal seminary talk on perform experimental evaluation of ones research. The talk is private and the slides will not be available (it could contain some unwanted jokes; and some sensitive informations).
Talk, Red Hat Inc., Brno, Czech Republic
This was presentation of advancements of my performance analysis research, which was partly funded by Red Hat company.
Seminary Lecture, VeriFIT Group Headquarters, Brno, Czech Republic
This was an internal seminary talk about Perun project. The talk is private and the slides will not be available (it could contain some unwanted jokes).
Talk, VMCAI 2018, Los Angeles, United States of America
This was presentation of our paper accepted ad VMCAI’18.
Talk, TACAS 2017, Upsaala, Sweden
This was presentation of our paper accepted ad TACAS’17.
Talk, Red Hat Inc., Brno, Czech Republic
This was presentation of advancements of my formal analysis research, which was partly funded by Red Hat company.
Talk, Red Hat Inc., Brno, Czech Republic
This was presentation of advancements of my formal analysis research, which was partly funded by Red Hat company.
Talk, Department of Intelligent Systems, Faculty of Information Technologies, Brno University of Technology, Brno, Czech Republic
This was presentation of formal analysis and verification group.
Talk, MEMICS 2015, Telč, Czech Republic
This was presentation of our paper accepted ad TACAS’15 during the MEMICS 2015 local conference.
Talk, Alpine Verification Meeting 2015, Attersee, Austria
This was presentation of our paper accepted ad TACAS’15 during the Alpine Verification Meeting.
Talk, TACAS 2015, London, Great Britain
This was presentation of our paper accepted ad TACAS’15.
Talk, Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic
This was presentation of our paper accepted ad TACAS’15 during the Seminary talk in Charles University, Faculty of Mathematics and Physics, in Prague, where I was invited.