Ing. Ondřej Lengál

Memberships:

• Ondra Lengál's fan club

Other interests:

• Ph. D. studies (master advisor, slave advisor)
• formal verification of animals

Tools:

• HAVEN: FPGA-accelerated functional verification of hardware
• libsfta: a symbolic finite tree automata library
• libvata: a library for efficient manipulation of non-deterministic tree automata

Research:

• Uppsala
• publications
• presentations
• dblp
• c