Full Name
Henrich Lauko
Pronoun/s
He/Him/His
Company/Affiliation
Trail of Bits
Speaker Bio
Henrich Lauko is a senior security research engineer at Trail of Bits and member of ISO C++ committee. His focus is on the application of compilers in formal methods. Presently, he is in charge of designing MLIR dialects for static and dynamic program analysis of C/C++. Before that, he did PhD at Masaryk University, Brno, on compilation-based abstraction using the LLVM toolchain.
Speaking At
