I teach and do research in programming languages. Feel free to reach me if you want to discuss any ideas about program analysis, safety, compilers, etc. (<drop the a from the username>@usfca.edu)

https://maemre.com