Michal Hečko -

Registered user since Tue 8 Oct 2024

Name:Michal Hečko

Country:Czechia

Affiliation:Brno University of Technology

Research interests:Formal methods, Decision procedures, Automata, Combinatorics on Words

Contributions

2027

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2027-track

2026

POPL

Author of Parameterized Verification of Quantum Circuits within the POPL-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2026-track

2025

PLDI

Author of A Uniform Framework for Handling Position Constraints in String Solving within the PLDI Research Papers-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2025-track