QUAK: Quantum Program Analysis using Automata Toolkit
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202500001
Main participants
Vysoké učení technické v Brně / Fakulta informačních technologií
Contest type
VS - Public tender
Contract ID
25-18318S
Alternative language
Project name in Czech
QUAK: Analýza kvantových programů pomocí automatů
Annotation in Czech
Kvantové počítače slibují řešení problémů, které nelze efektivně řešit klasickými počítači. Zatímco některé problémy (např. faktorizace) jde řešit rychleji kvantovými algoritmy, vývoj kvantových programů pro jiné problémy je extrémně náročný z důvodu složitosti pochopení kvantových programů a usuzování nad nimi. Existující přístupy pro jejich verifikaci, analýzu a simulaci mají omezenou expresivitu, přesnost, škálovatelnost, nebo vyžadují značné manuální úsilí. V tomto projektu se zaměříme na tato omezení prostřednictvím a) vývoje nových formálních modelů schopných kompaktní reprezentace strukturovaných (množin) kvantových stavů vyskytujících se v kvantových programech, založených na teorii automatů; b) návrhu jazyků pro popis vstupních a výstupních podmínek v kvantových programech, které budou jednoduché na použití, a algoritmů pro překlad do formálních modelů a c) vytvoření nových efektivních algoritmů pro automatické usuzování nad kvantovými programy, které, spolu s dvěmi předchozími cíly, posunou možnosti usuzování nad kvantovými programy na novou úroveň.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2025
Realization period - end
Dec 31, 2027
Project status
Z - Beginning multi-year project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP25-GA0-GA-R
Data delivery date
Mar 5, 2025
Finance
Total approved costs
10,644 thou. CZK
Public financial support
9,417 thou. CZK
Other public sources
1,227 thou. CZK
Non public and foreign sources
0 thou. CZK