Tomas Vojnar
Scholar

Tomas Vojnar

Google Scholar ID: YbSGwKwAAAAJ
FI, Masaryk University & FIT, Brno University of Technology
static analysisdynamic analysis and testingformal verificationautomatalogics
Citations & Impact
All-time
Citations
1,351
 
H-index
20
 
i10-index
45
 
Publications
20
 
Co-authors
93
list available
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Research Experience
  • Professor at the Department of Computer Systems and Communications, Faculty of Informatics, Masaryk University
  • Head of the Department of Computer Systems and Communications
  • Member of the Dean's College, Faculty of Informatics
  • Member of the Academic Board for Fundamentals of Computer Science
  • Member of the Scientific Council of the Faculty of Informatics