Ï Jan Oliver Ringert | FM4SE

Search

FM Playground
Lecture
News

Light Dark Automatic

Jan Oliver Ringert

Professor of Software Engineering

Bauhaus-Universität Weimar

Interests

TBA

Latest

New Dataset and Metrics for Analyzing SMT-LIB Scripts
New Dataset and Metrics for Analyzing Alloy Models
Introducing GitHub Classroom into a Formal Methods Module

© 2025 Software Engineering @ Bauhaus-Universität Weimar. All rights reserved.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.