Registered user since Mon 7 May 2018
Name:Ondřej Lengál
Bio:
- Ph.D. (2015) Brno University of Technology
- Assoc. Prof. (2025) Brno University of Technology
Country:Czechia
Affiliation:Brno University of Technology
Personal website: http://www.fit.vutbr.cz/~lengal
X (Twitter): https://x.com/OndraLengal
GitHub: https://github.com/ondrik
Research interests:Formal Verification, Automata Theory, Logic, Quantum
Contributions
Using general profile