Disgruntled Code

Computers / Math / Stuff

This is my website — Calvin Beck’s website, that is.

I am a computing scientist moonlighting with mathematics, and I contract out my services to anybody who has things which need programming and computering. Additionally, I offer tutoring services for anybody who needs help with computing science or math.

Here you will find some information about projects that I am working on, and my blog which contains some of my thoughts and musings about things that I am working on. Much of this will be programming language, type theory, and formal verification related, as these are topics which I am really interested in!