I did my Master’s thesis at the KWARC group, somewhere in the field between Knowledge Representation and Mathematical Modeling and Simulations. Now I am continuing for a while to complete the things I have have started.
Knowledge Representation for Modeling and Simulation – Bridging the Gap Between Informal PDE Theory and Simulations Practice