Hi, I’m Hillel. I’m a programmer in the Chicago area. I’m a web dev who likes technical writing. My general interests in software are:
- Formal Methods: how do we rigorously prove code is correct?
- Software Correctness: how do we prevent and remove bugs in complex codebases?
- Empirical Software Engineering: what actually works in software, and how do we know this?
- Cool Niche Languages.
Currently I’m not looking for work. Right now I’m studying EMT.
You can reach me at email@example.com. I always like receiving emails, especially on interesting developments in ESE or new topics to explore. See my open invite.