Dr. Thomas Ruhroth

Research

• Model-Evolution and Co-Evolution
• Secure Information Flow in environments with access control and delegation
• Development of secure systems
• Refactoring for formal methods
• Formal Methods

Current Projects

• Visual Privacy Management in User Centric Open Environments (VisiOn)
• SecVolution (Beyond One-Shot Security: Keeping Information Systems Secure through Environment-Driven Knowledge Evolution)

Former Projects

• MoDelSec (Modular Modeling of Delegation Security in Software Development)
• MoMo (Behavior preserving model transformations and refactorings for formal methods)

Organisation

• 2012 - ongoing: SPP contact for SPP 1953 and co-chair of GI workgroup "Langlebige Softwaresysteme (L2S2)"
• Member of GI workgroup "Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS)"
• 2013: Member of PhD-examination committee of Frank Hellweg
• 2013: Member of PhD-examination committee of Cornelia Tadros
• 2013 - ongoing: Member of committee for quality improvement, Department of Computer Science
• 2013 - ongoing: Member of committee for teaching and studies, Department of Computer Science
• 2012: Member of professorial selection committee: Information Systems (W3)

Programmcomites

• Workshop "Design for Future - DFF 2014"
• Workshop "1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems - ELMS 2014"
• Workshop "Modellbasierte und modellgetriebene Softwaremodernisierung - MMSM 2014"
• Workshop "Design for Future - DFF 2013"
• Central European Workshop on Services and their Composition (ZEUS 2013)

Workshoporganisation

• Workshop "Design for Future - DFF 2014"
• Workshop "Design for Future - DFF 2013"
• Workshop "1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems - ELMS 2014"
• Workshop "Modellbasierte und modellgetriebene Softwaremodernisierung - MMSM 2014"