Hi. I'm a hardware Verification Engineer with a background in interactive theorem proving and model checking.
I also like to dabble in applications of Programming Language Theory.
Enthusiastic about FOSS too!
Some posts that I made to remind me of some stuff. Hopefully others can benefit as well. :-)
Corrections would be appreciated (maybe as an issue in my repo. Ideally with some reference that I can follow up with).