Ondřej Lengál
- Organisation
- Brno University of Technology Source: OpenAlex, affiliation on the latest quantum work.
- Country
- Czechia Source: Country of the organisation.
- Role
- Researcher Source: From the sources below.
- Quantum works
- 10 since 2022 (cited 100 times) Source: OpenAlex, works whose primary topic is a quantum topic of the taxonomy.
- Technology pillars
- Quantum computing and simulation Source: Taxonomy 2.0, weighted by recent works.
- Expertise profile
- Quantum Computing Algorithms and Architecture (10, OpenAlex topic) Source: Work titles read by the taxonomy rules, and OpenAlex topics; number of works in brackets.
- Identifiers
- ORCID 0000-0002-3038-5875 · OpenAlex A5063557188 Source: OpenAlex.
Recent quantum works
- Parameterized Verification of Quantum Circuits (2026)
- A Practical Specification Language for Automatic Quantum Program Verification (2026)
- Verifying Repeat-until-Success Protocols using Automata (2026)
- An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits (2025)
- AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (2025)
Sources of this entry
- OpenAlex (CC0 1.0), read on 2026-10-28