Curriculum Vitae

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 and 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, 2016, p. 431-452. ISBN 978-3-662-49121-8. Available from: https://dx.doi.org/10.1007/978-3-662-49122-5_21. info
• ČADEK, Pavel, Jan STREJČEK and 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, 2016, p. 512-527. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_32. info
• TRTÍK, Marek and 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, 2014, p. 380-395. ISBN 978-3-319-11935-9. Available from: https://dx.doi.org/10.1007/978-3-319-11936-6_27. info
• SLABÝ, Jiří, Jan STREJČEK and 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, 2013, p. 268-274. ISBN 978-3-642-35872-2. Available from: https://dx.doi.org/10.1007/978-3-642-35873-9_17. info
• SLABÝ, Jiří, Jan STREJČEK and 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, 2013, p. 630-632. ISBN 978-3-642-36741-0. Available from: https://dx.doi.org/10.1007/978-3-642-36742-7_50. info
• SLABÝ, Jiří, Jan STREJČEK and 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, 2013, p. 193-207. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_15. info
• OBDRŽÁLEK, Jan, Jiří SLABÝ and Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012, p. 167-178. ISBN 978-3-642-25928-9. Available from: https://dx.doi.org/10.1007/978-3-642-25929-6_16. info
• SLABÝ, Jiří, Jan STREJČEK and 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, 2012, p. 207-221. ISBN 978-3-642-32468-0. Available from: https://dx.doi.org/10.1007/978-3-642-32469-7_14. URL info
• STREJČEK, Jan and 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, 2012, p. 155-165. ISBN 978-1-4503-1454-1. Available from: https://dx.doi.org/10.1145/2338965.2336772. URL info
• SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. Symbiotic. 2012. Odkaz na stránku software info
• SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. ClabureDB. 2012. ClabureDB info
• OBDRŽÁLEK, Jan and 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, 2011, p. 453-462. ISBN 978-3-642-24371-4. Available from: https://dx.doi.org/10.1007/978-3-642-24372-1_34. info
• OBDRŽÁLEK, Jan, Marek TRTÍK and Jiří SLABÝ. Stanse - Static Analysis Framework for C Code. 2008. Domovská stránka nástroje Stanse info

2022/09/03