Hi, I'm a Masters student in Computer Science and Engineering trying to perform formal verification of hardware designs.
I aspire to do a PhD in the domain 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).