Full Name
Henrich Lauko
Pronoun/s
He/Him/His
Job Title
Senior security engineer
Company/Affiliation
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 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.
Linkedin
Twitter
Website
GitHub URL
Speaking At
