Hi, this is a little bit about me
Currently working on hardware decompilation using the Egglog through the Churchroad intermediate representation for hardware netlists.
Theoretically (if I get the opportunity or have enough interest) would like to work on / learn more about String Diagrams in the future.