Skip to Content

About

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 hwayne@gmail.com. I always like receiving emails, especially on interesting developments in ESE or new topics to explore. See my open invite.