Ole Lübke

Ole Lübke is a Researcher at the Institute for Software Systems at Technische Universität Hamburg. He holds a Master's degree in Computer Science and Engineering from TUHH, where he specialized in safety-critical real-time systems and formal methods. His research focuses on Real-Time Systems, Formal Methods including Runtime Verification and Online Model Checking, and Maximum Satisfiability problems. He contributes to developing incremental MaxSAT solvers and applies formal methods in healthcare technology, such as optimizing robotic radiation therapy systems.

Education:

• Bachelor's degree in Computer Science and Engineering (2017), TUHH, via a dual study program in medical/safety technology.
• Master of Science (2020), TUHH, thesis on quantitative runtime verification for medical devices.

His work includes advancing MaxSAT solver technology, as seen in publications like IGMaxHS and the noSAT-MaxSAT series. He also explores educational tools for functional programming exams, leveraging automated grading systems. His research bridges formal methods with practical applications in real-time and embedded systems.

Teaching includes Functional Programming and Compiler Construction courses.