Husband, Father, JIT compiler guy, chief architect for IBM Java (Semeru Runtimes), co-project lead for Eclipse OMR and Eclipse OpenJ9, views are my own
@Blaisorblade@mathstodon.xyz PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell