Hello, world!
My name is Jacob Mischka, I am a software developer in Milwaukee, WI. I enjoy eating, programming, weight lifting, bicycling, reading, grocery shopping, and taking long walks.
I have an MS in Computer Science from the University of Wisconsin-Milwaukee. My thesis focused on WebAssembly and featured an extension to a mechanized proof of its specification's correctness.
I currently work for the Anesthesiology Department at the Medical College of Wisconsin, where I'm given the opportunity to work on a wide variety of projects. Check out our open source projects for a small sample.
For a better idea of my interests and skills, please check out my GitHub profile or my résumé.
Feel free to reach out at jacob@mischka.me!