Team
Principal Investigator
Ondřej Lengál
- Position
- Associate professor, Faculty of Information Technology, Brno University of Technology
- Research
- Simulation and analysis of quantum circuits and programs; automata theory; logic and SMT solving; omega-automata; efficient regular expression matching
- lengal@fit.vut.cz