Scientific Software Engineer

Ich habe langjährige Erfahrung in der Softwareentwicklung im wissenschaftlichen Umfeld und im Finanzbereich. Meine Schwerpunkte liegen bei a) C++ auf Host und Mikroprozessoren, parallele Verarbeitung und Hardware-nahe Programmierung; und b) maschinellem Lernen (machine learning) wo aus Daten Information wird.
Ich arbeite gerne nach TDD (test driven development) und CI/CD im agilen Prozess (Scrum).
Daneben habe ich auch ein Standbein in der funktionalen und logischen Programmierung (Haskell, Prolog, Scala, F#, OCaml) und auch in maschinellem Beweisen (Coq, Agda, F*, Lean),
Meine persönlichen Projekte sind auf GH unter "CodiePP"