Florian Haftmann

Bei einem Großkunden: Aufbau und Betrieb einer Microservice-Plattform auf Basis von Kubernetes als Werkzeug zur Modernisierung einer gewachsenen Business-Software-Landschaft.

Bei einem Großkunden: Iterative Modernisierung eines Lohnabrechnungssystems. Softwarearchitektur, Migrations- und Einführungsbegleitung, Entwicklung.

Bei der Landeshauptstadt München: Architekt und technischer Projektleiter für den LiMux-Basisclient Release 6.0 – Kommunikation und Abstimmung mit anderen Teams, die Anlei­tung von Kollegen und vor allem die technisch-organisatorische Strukturierung der Entwick­lungsarbeit. Insgesamt wurden in diesem Release knapp 1000 Tickets erfolgreich umgesetzt.

Weiter­entwicklung des LiMux-Basisclients der Landes­hauptstadt München, eines Linux-basierten Arbeitsplatzsystems auf 17.000 Clients der Münchner Stadtverwal­tung. Meine Entwicklungs-Beiträge erstrecken sich über fast alle Bereiche des Sys­tems, dar­über hinaus auch Architektur, Konzeption, Work­shops für Entwicklung und Support, Betriebsunterstützung und Schulungen für Admi­nistratoren und Anwender.

Code generation from specifications in higher-order logic. – Computational abstract algebra. – Isabelle's module system: locales, locale interpretation, type classes and local theories. – Wide-spread maintenance work on Isabelle/HOL library theories. Abschließende Promotion.