Awards

• 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íč
• 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 for her research