Výzkum z FITu zabývající se verifikací kvantových výpočtů byl vybrán mezi nejzajímavější práce na poli informatiky
Článek s názvem An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits, na němž se významně podílel Ondřej Lengál ze skupiny VeriFIT, byl vybrán jako research highlight do časopisu „Communications of the ACM“. …