Henrich Lauko

Henrich Lauko is a Senior Compiler Engineer at NextSilicon since September 2025 and serves as a ClangIR Maintainer and Contributor for the LLVM Foundation. Additionally, Lauko is a Standards Committee Member for the ISO/IEC JTC1/SC22/WG21 and previously held the position of Senior Software Security Research Engineer at Trail of Bits, where responsibilities included leading a compilers team focused on MLIR representation and analysis of C and C++ programs. Lauko's research experience includes a PhD candidacy at Masaryk University, emphasizing LLVM-based instrumentation and model checking tools. Educational qualifications include a Master's degree in Parallel and Distributed Systems from Masaryk University, an exchange program at RWTH Aachen University, and a Bachelor's degree in Computer Graphics and Image Processing from the same institution.