Dr Ringert’s research focuses on the development of new methods that enable software engineers to more efficiently develop and maintain complex software systems. His focus is on software modelling languages which introduce new concepts and abstractions to capture the complexity of software systems. Specifically, this allows development of tools and processes to leverage existing knowledge present in heterogeneous and evolving software models.
Techniques applied in his research include design of modelling languages, verification algorithms and tools, automated synthesis of reactive systems, and evolution analysis – with various applications, including software for trusted autonomous robots and automotive systems.
Get in touch for media enquiries, expert opinion, interviews, images or video.