BOB 2026

Alex Ackermann ist Doktorand und wissenschaftlicher Mitarbeiter am Institut für Digitale Teilhabe der Hochschule Bremen. Seit 2022 forscht er in verschiedenen interdisziplinären Projekten zur digitalen Barrierefreiheit. Zuletzt arbeitete er an der Erstellung eines Massive Open Online Course (MOOC) zu diesem Thema. Aktuell bearbeitet er im Projekt "Digitale Barrierefreiheit im Arbeitsleben durch Partizipative Evaluation" das Thema, inwieweit Barrierefreiheitsrichtlinien auf Cloud-Software übertragbar sind. Zusätzlich lehrt er zu Themen der Barrierefreiheit und Medieninformatik.

Beat Hagenlocher is a Software Architect at Active Group GmbH.

Always on the lookout for the perfect programming stack to his (side) projects in, he currently has conceded that TypeScript is actually "good enough for most things, for now" and writes his frontend software with that.

Apart from writing software, he hosts Tü.λ | Functional Programming Night Tübingen and tends to his digital garden.

When not at the PC, he can be found doing sports, learning a new skill or adding to his book list.

I started out as a physicist, then got happily lost in functional programming with OCaml and resurfaced as a software engineer. When OCaml gained shared-memory parallelism, I discovered a new passion, and I’ve been diving deeper ever since.

Irmhild Rogalla ist eine von zwei Leiter*innen des Instituts für Digitale Teilhabe an der Hochschule Bremen und Leiterin des Projekts „Digitale Barrierefreiheit im Arbeitsleben durch partizipative Evaluation“. Sie ist Wissenschaftlerin und befasst sich seit langem mit dem Thema „Digitalisierung und Arbeit“, speziell mit der Erfassung und Gestaltung von Entwicklungs- und Arbeitsprozessen im digitalen Zeitalter.

I am Professor of Programming Languages and Systems at DIKU, the Department of Computer Science at the University of Copenhagen. My current general interests are in compositional domain-specific languages for (targeted) expressiveness, security, optimization and high performance. A common theme is exploring abstract linear algebra and its extensions for both modeling and efficiency. (Having previously worked on type systems, type inference and type-based program analysis, this can be thought of as a progression from types to [vector] spaces.) Applications are in financial technology (financial contracts and instruments), machine learning (with symbolic representation of linear operator representing derivatives), algebraic generalizations of relational querying, quantum programming, and greenwashing-proof supply-chain modeling.

I have been involved in a number of deep tech start-ups over the years (including a university) and presently serve on a number of academic and company committees.

In computer security since >20 years. PhD "formal verification of the correctness of OO code" (separation logic & Coq). Learned that verifiying existing code is tedious (mutable state). Redeveloping OS in FP brings trustworthy systems. Works full-time on MirageOS since >10 years, now at robur.coop. Since 2025 leading the OCaml Security team.

Verantwortungsbewusstsein, Pragmatismus, Fachwissen und Professionalität: Dies sind die Kernwerte und Eigenschaften, die erfolgreiche Softwarearchitekten auszeichnen. Basierend auf langjähriger Projekterfahrung vermittelt Holger Tiemeyer diese Fähigkeiten und Kenntnisse in seinen Schulungen, spricht darüber auf Konferenzen und veröffentlicht Artikel in Fachzeitschriften und ist Co-Author zweier Lehrbücher. Als Informatiker mit Nebenfach Psychologie engagiert er sich ehrenamtlich beim iSAQB e.V.

Johannes Dienst is a Senior Software Engineer at adesso. His focus is on automation, documentation, and software quality.

Lutz is an independent consultant working at the intersection of software architecture and organizational design, a frequent conference speaker, and a blogger. Until recently, he was Head of Engineering at Upvest, a Berlin-based FinTech company that makes investing accessible to everyone. Previously, he led engineering teams building software for container shipping, online retail, financial institutions, and even cruise ship entertainment systems. His current focus is on event-driven architecture, highly available and scalable systems, and strategic domain-driven design.

Manuel M T Chakravarty is a researcher and software developer with interests in programming languages, cryptography, and programming environments. He developed the interactive development environment Haskell for Mac — one of the first Swift apps on the Mac App Store. He is now working on the successor of Haskell for Mac, which leverages SwiftUI for cross-platform development. His current research work lies at the intersection of programming languages and cryptography with applications to open blockchains. He has also published extensively on programming languages, compilers, and high-performance computing. He contributed to both the design and implementation of the Haskell programming language (most notably, type families, associated types, and the foreign function interface) as well as several Haskell tools and open source libraries. He is currently a functional programming expert at Tweag and a researcher & architect of smart contract technology at IOG. Before that he was an Associate Professor at UNSW Sydney.

Markus is a tech lead at the Lean Focused Research Organization, the non-profit behind the Lean theorem prover and programming language. He leads the standard library team, helping advance Lean as a tool for developing production-ready formally verified software.

Markus is a functional software architect at Active Group GmbH in
Tübingen, Germany. He tries to liberate programming from the von
Neumann bottleneck since 1991. Markus is interested in a diverse set
of technologies ranging from GUI design to concurrency and formal
methods.

Michael Koppmann is a senior information security consultant at SBA Research and one of the OWASP Vienna chapter leaders. Michael’s consulting activities are focused on the technical aspects of information security. He frequently conducts penetration tests on a wide range of computer systems, including web, mobile, and cloud application security, source code audits, architecture reviews and more.

In addition to his hands-on consulting work, Michael spearheads the development of multiple in-house software tools, ensuring that they meet the highest security standards. Beyond coding, he is also an accomplished trainer and speaker, providing training sessions and lectures on secure application development, APIs, and microservices.

His research interests include green sustainable software, secure and maintainable software engineering, and online privacy.

Senior software engineer at Tarides.

Nicolas writes code for J.P. Morgan, where we use Scala to make some very complicated things seem very simple.

After too many years as a Java programmer and a thankfully brief stint in marketing, Nicolas discovered Functional Programming through Scala and fell in love. Since then, he's made it his mission to learn and explain the scary bits, by focusing on practical applications.

Nicolas is also the author and sole maintainer of a few useful OSS libraries, such as kantan.csv.

Olaf Klinke is a mathematician and functional programming enthusiast. His post-academic career includes teaching episodes as well as building software in Haskell to drive the renewable energy revolution. Lately, revolutions in Germany are very orderly and bureaucratic. Therefore Olaf has been putting much thought into how to leverage mathematics and type systems to file taxes, send invoices and how to perform self-documenting computation.

Théo Tyburn is a Master student in Mathematics at the TU Berlin.
He is very interested in functional programming, geometry, computer graphics and theorem proving.
He did his Bachelor at the Geometry and Mathematical Physics Group of the TU Berlin and currently works at the Fraunhofer Heinrich-Hertz-Institut in Explainable AI.

I am an OCaml Senior Software Engineer at Tarides working in the Editor team, especially on OCaml, (on Merlin and OCaml LSP and I maitain the Emacs mode for OCaml). I a m very interested in Functional Programming, type system and Languages tooling.

I have a website : https://xvw.lol