i find it interested that a project like DataFixerUpper ( of minecraft that implments profunctor optics in plain old Java (!!!!) (
https://github.com/Mojang/DataFixerUpper), cites 6 works done in this university ( and more if you count ex-researchers).
And recently scala has started to become widely used in data engineering, and in some conferences you see people talking about lens, optics and stuff and all this work goes unnoticed at the University.