Proud Igalian, Compiler Engineer and Open Source Advocate by day. Racketeer, long distance endurance athlete, 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. Interested in breaking software using Software Model Checking, Fuzzing, Property Testing and going super-hero on code using Super-Optimization.

Advocate and contributor to Racket—also known to publish Racket News.

Long distance runner and IRONMAN triathlete—lover of endurance sports!

Happy husband to a very patient and understanding wife. Father of two—owner of none.