Hi, I'm a Masters student in Computer Science and Engineering trying to perform formal verification of hardware designs.
I like to dabble in applications of Programming Language Theory.
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).