The FrameIT project builds a Framework for Serious Games by combining Virtual Worlds with Mathematical Knowledge Management. The main idea is that we can use MMT theory graphs to represent the background knowledge and MMT pushouts to compute the application of knowledge in concrete situations.

The UFrameIT framework uses the Unity game engine with the MMT system.

For students: Topics for theses and projects are available here.