Jan Oliver Ringert
Professor
GermanyResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Jan Oliver Ringert is a Professor at Bauhaus-Universität Weimar in Germany. His research interests include formal methods, trustworthy autonomous systems, and the development of specification languages for reactive systems. He has authored several recent articles that evaluate low-cost microcontroller-based systems and explore performance heuristics for synthesis algorithms. His work contributes significantly to the fields of computer science and system verification.
Articles (6)
Year:
2024
Year:
2023
Year:
2023
Year:
2021
Year:
2021
Year:
2020
Collaborators (7)
Mohammad Reza Mousavi
Professor of Software Engineering
King’s College London
Louise Dennis
The University of Manchester
Allison Sullivan
Assistant Professor
The University of Texas at Arlington
Robert Hierons
University of Sheffield
André Platzer
Alexander von Humboldt Professor
Karlsruhe Institute of Technology
Michael Fisher
Prof. at Department of Electronic and Electrical Engineering
The University of Manchester
Alexandra Mendes
Assistant Professor
Universidade do Porto Faculdade de Engenharia
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.