Full Name
Henrich Lauko
Job Title
Senior security engineer
Trail of Bits
Speaker Bio
Henrich Lauko is a senior security research engineer at Trail of Bits. His focus is on the application of compilers in program analysis. Presently, he is in charge of the development of VAST: MLIR-based compiler designed for program analysis of C and C++. Before that, he did PhD at Masaryk University, Brno, on compilation-based abstraction using the LLVM toolchain.
GitHub URL
Henrich Lauko