Staff

Biography

Mikael Sandberg is a PhD student and Lecturer at CSL. He received a BSc in Computer Science from Mälardalen University (1999). He is a former employee of ABB Atom AB, where he developed nuclear surveillance and optimization software for six years. His research interests include programming language design, simulation and graphics.

Publications

Research projects

On-going:

Finished:
• Dimensional Inference in Strongly Typed Modeling Languages.

• gPROMS Dimensional Inference
• Verifiering av Simuleringsresultat