Awards

• 2025

  David Chocholatý and Michal Hečko were accepted into the Brno Ph.D. Talent 2024 Scholarship Program.

• 2024

  Z3-Noodler won SMT-COMP'24, division QF_STRINGS, in all competing brackets by a large margin.

  Amaya won SMT-COMP'24, division NIA Logic in competing bracket 24s.

  Nomination for the Best paper of ETAPS'24, for the work Z3-Noodler: An Automata-based String Solver by Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síč.

  Juraj Síč won the first place of Joseph Fourier Prize 2024 contest.

  David Chocholatý received a BUT Rector Award for his research.

• 2023

  Best paper at FM'23 for the work Word Equations in Synergy with Regular Constraints by Frantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc.

  Distinguished paper at OOPSLA'23 for the work Solving String Constraints with Lengths by Stabilization by Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč.

  Distinguished paper at PLDI'23 for the work An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits by Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen.

  Barbora Šmahlíková won the VCLA International Student Awards 2023 and the Government of the Czech Republic Gifted Student Award (and two local awards at FIT BUT) for her research.

  Primarily thanks to our collaboration with on Yu-Fang Chen on verification of quantum circuits and string solving, Yu-Fang Chen received a Tchaj-wan national award Young Scholar Creativity Award, Foundation for Advancement of Outstanding Scholarship.