Team
Paulo Matos
Compiler Engineer and Open Source Advocate.
Eckental (Germany)
Proud Igalian, Compiler Engineer and Open Source Advocate by day. Amateur piano player, lego builder, father and husband by night.
Academic background in constraint satisfaction using SAT and SMT, morphed into a Compiler Engineer in Industry—LLVM contributor and GCC maintainer. Now working in Dynamic Binary Translation. Interested in breaking software using Software Model Checking, Fuzzing, Property Testing and going super-hero on code using Super-Optimization.
Happy husband to a very patient and understanding wife. Father of two—owner of none.