Dr. Thomas Ruhroth

 

by appointment by e-mail


Research Interests
Projects
Organization
Program comites
Workshop organization
Senior It Consultant

Research Interests

  • Project management and development methods for long-lived systems

  • Model evolutions and co-evolutions

  • Secure information flow in combination with rights management and delegation

  • Development of secure systems

  • Refactorings for formal methods

  • Formal Methods