Kevin Kredit

Hello! I’m a software developer interested in building secure and high quality systems.

I currently work on backend services in Go. I love programming in new and interesting programming languages, but lately am more interested in applying lightweight formal methods using tools like TLA+ and Alloy, which show more promise than languages alone for preventing and detecting truly costly bugs.

I finished a master’s degree in Applied Computer Science in December, 2020. I am working to publish my thesis on the “wicked problem” of encryption technology and policy.

Feel free to reach me at knkredit60 at gmail dot com.

Projects and Interests

Some of my favorite talks and courses (in order of awesomeness):

• Brian Lonsdorf covering “Hardcore Functional Programming” and “Architecture” in JavaScript for Frontend Masters
• Rich Hickey presenting the epochal time model used in Clojure, Elm, and Redux
• Uncle Bob Martin discussing clean architecture and domain driven design
• Tom7 building block storage devices out of the internet, Tetris emulators, and used Covid-19 tests
• Colm MacCárthaigh applying control systems theory to web services
• A tie between Hillel Wayne and Jay Parlar demonstrating the usefulness of lightweight formal methods
• Gary Bernhart promoting the “functional core, imperative shell” architecture

Below are links to a few of my projects on GitHub.

• An Elm SPA for viewing Argdown argument maps
• A puzzle solving program written in C, Clojure, Go, Haskell, and Rust
• A smart home threat model
• A macro-based “option type” implementation for C
• A C error handling library to enable safe and secure programming practices
• An MQTT security Android app
• A web app with a React frontend and Rails backend
• A formal resume

Other hobbies of mine include

• Listing to the Hardcore History podcast
• Running in the Michigan Outback Relay
• Reading great novels
• Playing with my child <3