There's an unfortunate tendency to undervalue the work of PhD students and assign excessive credit to the senior professor. This is especially bad with journalists (one even called me a "worker bee"). The title "Research Assistant" shouldn't be taken literally.

Had a lot of fun recently pair-programming a plugin with Tej to automate some of the boilerplate for his coq-record-update library. Check out his CoqPL talk on the library he built: piped.video/T85e_xWXEig