Hello HN, I have an idea around a project that involves static analysis and code analyzers and I'd like to implement it as part of an industrial Phd.

I took some courses programming language theory in university, but I'd like to build some stronger foundation before seeking a professor to pitch the idea.

Do you have any resources (papers, books, YouTube) or even better online courses to suggest on the following topics: 1) Code transformations 2) Type theory/semantics