Jan Tušil has a long-time interest in the development of reliable software. His research is focused on addressing this challenge with the use of good software engineering practices as well as formal methods. Prior joining RV he worked as a software engineer in the domain of embedded and electrical systems, where he enjoyed applying the principles of modern C++ programming language to low-level performance-sensitive task. At RV he is helping with the development of formal semantics of C++. He likes the process of teaching programming to others, therefore he assists as a seminar tutor at Faculty of Informatics, Masaryk University. There he got his Master's degree for his work on the C++ semantics, and now he is pursuing a Ph.D. there.
Current role