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?
- Software History: how did we get to where we are today?
- Cool Niche Languages.
Currently I’m not looking for full employment but am available for consulting opportunities.
You can reach me at firstname.lastname@example.org. I always like receiving emails, especially on interesting developments in ESE or new topics to explore. See my open invite.