I doubt they are using Mindstorms. Typically, Universities use a kit of sensors and motors (with a C API) that just "happen" to connect nicely to Legos.