I have a friend that’s a programming systems professor at a university here and may be interested once there’s more docs available or an idea of what kinds of tools this seeks to unlock. He also has Ph.D. candidates under him, so always on the lookout for good static analysis and research project opportunities.