I am doing my Master's thesis at the KWARC group, somewhere in the field between Mathematical Knowledge Representation and High Performance Simulations. If you are interested in the current status of the topic, feel free to contact me.
I did my Master's thesis at the KWARC group, somewhere in the field between Knowledge Representation and Mathematical Modeling and Simulations.