Tomas Vojnar
Professor at Masaryk University
Brno, Southeast, Czechia
Summary
👤
Senior🎓
Top SchoolTomas Vojnar is a professor and researcher with over two decades of academic experience and 14 years of documented professional work focused on automated analysis and verification for both software and hardware. His work blends formal methods, automata theory, and logics with practical testing and dynamic analysis, producing experimental tools and applications that bridge theory and practice. He has held long-term roles at FIT Brno University of Technology and Masaryk University, with international postdoctoral experience in Paris, and has coordinated industry-academia collaboration with Red Hat Czech. A seasoned educator, he teaches operating systems, formal verification, and theoretical computer science, mentoring students who translate formal research into deployable verification technology. Less obvious is his sustained engagement across research, teaching, and applied verification engineering—demonstrating an ability to move ideas from formal theory into experimental systems used in real-world contexts.
14 years of coding experience
5 years of employment as a software developer
Doctor of Philosophy (Ph.D.), computer science and engineering, Doctor of Philosophy (Ph.D.), computer science and engineering at Brno University of TechnologyHigh School, Mathematics and Physics, High School, Mathematics and Physics at Gymnázium Karviná
English, Czech
Github Skills (13)
automata10
java9
analyzer9
cpp9
static-analysis8
static-code-analysis8
objective-c8
static-analyzer8
graph5
tla3
security2
verification2
python1
Programming languages (4)
Github contributions (5)
spencerwuwu/J-ReCoVer_paper
Jun 2019 - Aug 2019
Contributions:25 pushes in 2 months
moves-rwth/dynasty
May 2020 - May 2020
Contributions:28 pushes in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.