Hire Me

I am actively interested in new positions at this time. I am interested in work where I can work on formal verification and/or systems software (Operating Systems, Low-Level, or Performance) and prefer to be able to open source my work. Please check my resume for links to my past experiences.

Portfolio

My main projects can be found on my resume. Other things can be found on my GitHub.

Philanthropy

If you have an old computer, I help refurbish and donate computers.

Want to work with me?

Contact me through my information in the sidebar. Email is best. You can also email me at this domain.