For his bachelor's thesis on “typeR: static interprocedural subtype inference for R programs”, Lukas Rohde received the award for the best bachelor's degree in the field of computer science at Ulm University. The award was be presented at the "Langer Abend der Wissenschaft" on May 8, 2026 as the Deloitte innoWake Award.
In his work, Lukas developed typeR, a lightweight static type inference system for the R Programming language.
His typesystem works on top of flowR to infer types without any user annotations to catch errors early and to provide better support for code analysis and refactoring. The project combines a theoretical framework with a practical and fast implementation, aiming to make larger R programs easier to analyze and maintain.
The thesis was conducted under the supervision of Florian Sihler and examined by Matthias Tichy. The results from his thesis are used and extended in the context of the flowR project.