Team
Jesse Alama
Jesse is a philosopher at heart and loves to model things formally.
Jesse grew up in Minnesota (USA) and worked mainly in academic/R&D settings in theorem proving and formal logic before moving to Mainz, Germany, where he worked as a full-stack developer for an e-commerce shop. Jesse joined Igalia in 2021. Big Lisp fan (mainly Racket). Works mostly in JavaScript and Lean.