Mgr. Marek Trtík, Ph.D.

Curriculum vitae

Name, first names, scientific degrees

• Mgr. Marek Trtík, Ph.D.

Department/Faculty/University

• Department of Visual Computing, Faculty of Informatics, Masaryk University, Czech Republic

Function, current position

• Assistant Professor

Education and academic qualifications

• 2008-2014: Ph.D. in Computer Science, Masaryk University, Brno, Czech Republic
• 1994-1999: Mgr. in Computer Science, Palacky University, Olomouc, Czech Republic

Professional experience

• 2021-present: Assistant Professor, Masaryk University, Brno, Czech Republic
• 2016-2021: Software engineer, Diffblue Ltd., Oxford, United Kingdom
• 2015-2016: Postdoc position, LaBRI, University of Bordeaux, Bordeaux, France
• 2014-2015: Postdoc position, VERIMAG, Grenoble, France
• 2005-2008: Software Engineer, Game studio 2K Czech, Brno, Czech Republic
• 2001-2005: Software Engineer, Game studio Pterodon, Brno, Czech Republic

Teaching activities

• IA072 Seminar on Verification
• PB009 Principles of Computer Graphics
• PA010 Intermediate Computer Graphics
• PA213 Advanced Computer Graphics
• PV255 Game Development I
• PV266 Game Development II
• PA199 Advanced Game Development
• VV035 3D Modeling
• PV160 Human-Computer Interaction Laboratory

Research activities

• Program analysis

Internship and stays for the purpose of study or work

• 2015-2016: Postdoc position, LaBRI, University of Bordeaux, Bordeaux, France
• 2014-2015: Postdoc position, VERIMAG, Grenoble, France
• 2011/07/17 – 2011/07/27: Summer School in Software Engineering and Verification, Moscow, RUS
  • The aim of the school is to attract the most promising graduate students and young scientists, and to encourage and prepare them for research in software engineering, verification, and program analysis. The students will be exposed to a combination of classical results as well as leading-edge research. To encourage research participation, the students will be required to complete a project as part of the school. To provide a stimulating environment for students to meet and establish ties with each other, local faculty members and industry researchers, as well as school lecturers, who are among the top scientists in their area.

Major publications

• DUDKA, Kamil, Lukáš HOLÍK, Petr PERINGER, Marek TRTÍK a Tomáš VOJNAR. From Low-Level Pointers to High-Level Containers. In B. Jobstmann, K. Rustan, M. Leino. Verification, Model Checking, and Abstract Interpretation. LNCS, VMCAI 2016. St. Petersburg, Florida, United States: Springer, Switzerland. s. 431-452. ISBN 978-3-662-49121-8. doi:10.1007/978-3-662-49122-5_21. 2016. info
• ČADEK, Pavel, Jan STREJČEK a Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer. s. 512-527. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_32. 2016. info
• TRTÍK, Marek a Jan STREJČEK. Symbolic Memory with Pointers. In Franck Cassez and Jean-Francois Raskin. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Berlin Heidelberg: Springer. s. 380-395. ISBN 978-3-319-11935-9. doi:10.1007/978-3-319-11936-6_27. 2014. info
• SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg: Springer. s. 268-274. ISBN 978-3-642-35872-2. doi:10.1007/978-3-642-35873-9_17. 2013. info
• SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Nir Piterman, Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg: Springer. s. 630-632. ISBN 978-3-642-36741-0. doi:10.1007/978-3-642-36742-7_50. 2013. info
• SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Compact Symbolic Execution. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer. s. 193-207. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_15. 2013. info
• OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer. s. 167-178. ISBN 978-3-642-25928-9. doi:10.1007/978-3-642-25929-6_16. 2012. info
• SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. In Mariëlle Stoelinga, Ralf Pinger. Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012. Berlin, Heidelberg: Springer. s. 207-221. ISBN 978-3-642-32468-0. doi:10.1007/978-3-642-32469-7_14. 2012. URL info
• STREJČEK, Jan a Marek TRTÍK. Abstracting Path Conditions. In Mats Per Erik Heimdahl, Zhendong Su. Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012. New York, NY, USA: ACM. s. 155-165. ISBN 978-1-4503-1454-1. doi:10.1145/2338965.2336772. 2012. URL info
• SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic. 2012. Odkaz na stránku software info
• SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB. 2012. ClabureDB info
• OBDRŽÁLEK, Jan a Marek TRTÍK. Efficient Loop Navigation for Symbolic Execution. In Tevfik Bultan and Pao-Ann Hsiung. Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011. Heidelberg: Springer-Verlag. s. 453-462. ISBN 978-3-642-24371-4. doi:10.1007/978-3-642-24372-1_34. 2011. info
• OBDRŽÁLEK, Jan, Marek TRTÍK a Jiří SLABÝ. Stanse - Static Analysis Framework for C Code. 2008. Domovská stránka nástroje Stanse info

2022/09/03