Welcome to |QuantumFIT⟩

|QuantumFIT⟩ is a research group at FIT BUT bringing together researchers and students interested in studying quantum computing systems in a broad range. The main aim of the group is to empower the transition from today’s noisy, small-scale quantum devices to machines delivering a practical quantum advantage, by developing the algorithmic foundations and the software tools needed to design quantum computations, analyse them, and make their results trustworthy.

The group builds on a strong background in formal methods, automated reasoning, and automata theory, and transfers these techniques into the quantum domain: automata and decision diagram models of quantum states and operations, decision procedures based on SAT/SMT solving, and rigorous semantics of quantum circuits and programs. On these foundations we develop prototype tools — simulators, optimizers, verifiers, synthesis engines, and tools supporting the design of quantum error-correcting codes — and design new computations: quantum algorithms and trusted building blocks that come with correctness guarantees and a known resource cost.

A student interested in quantum computing? If you are looking for a topic for a bachelor's or master's thesis, for a project practice, or for a PhD, write to Ondřej Lengál.