Official organization for developing Elm's compiler and core tools

software developer

explore -> refine -> (formalize ->) automate. HIL, SIL, network test lib author. Know your constrains and how to inspect your system. TODO CI, VM, SIMD lib.

Logic Designer for System Chips at @IBM.

I'm a design verification professional and a stock market amateur. I've been at both for over 25 years. Any code here is solely my own.

Indeed Software Engineer

When I reflect back on my life (hopefully as an old man), I want to believe that I did some good and helped people.