Name, first names, scientific degrees

• ​Mgr. Matej Troják, born 2.9.1993 in Martin, Slovak republic

​

Department/Faculty/University

• Systems Biology Laboratory
  Faculty of Informatics
  Botanicka 68a
  60200 Brno
  Czech Republic

​

Function, current position

• PhD. candidate

• researcher at SYBILA and CzechGlobe

​

Education and academic qualifications​

• 2018: master degree conferred in Bioinformatics; thesis: Formal Biochemical Space for Specification and Analysis of Biochemical Processes

• 2015: bachelor degree conferred in Bioinformatics; thesis: Formal specification of phosphorylation states and related reactions

• 2012: graduation at secondary grammar school GVPT in Martin, Slovakia

​

Professional experience​

• 2018 - present: researcher at CzechGlobe (Global Change Research Institute of the Czech Academy of Sciences)

• 2014 - present: researcher at SYBILA (Systems Biology Laboratory)

​

Research activities

• Systems Biology

• formal methods in computer science

​

Other academic activities, research projects, grants

• 2014 - : e-cyanobacterium.org​

• 2015: BCSgen: Software tool for Biochemical Space language

  • Dean's Program of the Faculty of Informatics MU for support of student research and development projects (MUNI33/092015)

• 2017: Development of an open-access web platform e-cyanobacterium.org and related open-source software

  • Dean's Program of the Faculty of Informatics MU for support of student research and development projects (MUNI33/062017)

​

Skills

• Languages 

  • Slovak (mother tongue)​

  • English (fluent)

  • German (basics)

• Software

  • Python​, LaTeX

​

Major publications​

• E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria.

  • TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ a Jan ČERVENÝ.

  • In Ezio Bartocci et al.. Computational Methods in Systems Biology. CMSB 2016, Heidelberg.

  • Springer, 2016. s. 316-322, 7 s. ISBN 978-3-319-45176-3. [doi] [PDF]

​

• Formal Biochemical Space with Semantics in Kappa and BNGL.

  • DĚD, Tadeáš, David ŠAFRÁNEK, Matej TROJÁK, Matej KLEMENT, Jakub ŠALAGOVIČ a Luboš BRIM.

  • In Loic Pauleve et al.. The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015.

  • ENTCS 326, Elsevier, 2016. s. 27-49, 23 s. ISSN 1571-0661. [doi] [PDF]

​​