Daniel Fabian
Software Engineer at Cogna
Bern, Bern, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolDaniel Fabian is a Principal Software Development Engineer based in Bern, Switzerland with 13 years of experience building robust back-end systems and leading architecture efforts across industry and healthcare sectors. Currently at Microsoft, he combines deep technical craftsmanship with leadership honed from roles as software architect, solutions architect, and founder/CEO of a development firm. His open-source contributions include nontrivial work on Lean 4 (implementing deriving handlers for Hashable, propositions and mutually recursive types) and stability improvements to FAKE and FSharpx.Extras, demonstrating expertise in language tooling, functional programming, and cross-platform build/deployment reliability. Trained in mathematics and computer science at Universität Bern, he brings a formal, correctness-minded approach to engineering problems. Colleagues would describe him as a pragmatic architect who bridges formal methods and production-grade deployment practices. An interesting behind-the-scenes detail: he has touched theorem-proving internals and XML parsing in Lean 4, showing a rare mix of language design and practical tooling experience.
13 years of coding experience
22 years of employment as a software developer
Master of Science (MSc), Computer Science, Master of Science (MSc), Computer Science at University of BernMNG Bern-Neufeld
Slovak, German, English, French
Github Skills (14)
theorem-proving10
fsharp10
deployment-automation10
build-automation10
netframework10
data-structure9
multiplatform9
error-handling9
data-structures9
cross-platform9
compiler8
unit-testing8
xml-parsing8
fest4
Programming languages (19)
Github contributions (5)
fsprojects/FAKE
Nov 2012 - Jul 2018
FAKE - F# Make
Role in this project:
Backend Developer
Backend DeveloperContributions:19 commits, 1 PR, 2 comments in 5 years 8 months
Contributions summary:Daniel primarily focused on improving the `Fake.Deploy` deployment tool within the FAKE project. They implemented and refined exception handling mechanisms to improve client robustness and added functionality to listen on the root URL. The user also fixed bugs related to URL normalization and network exceptions, improving the overall stability and usability of the deployment process. In addition, they made several code changes related to MSTest and VSTest configurations.
fsharpdotnetcsharpdotnet-core
leanprover/lean4
Mar 2021 - Mar 2022
Lean 4 programming language and theorem prover
Role in this project:Back-end Developer
Back-end DeveloperContributions:56 reviews, 52 commits, 21 PRs in 11 months
Contributions summary:Daniel implemented a deriving handler for the `Hashable` type class, contributing to the language's ability to automatically generate hash functions for user-defined data structures. They then extended this work to support propositions and mutually recursive types. The user's changes also involved modifications to the `Ord` deriving handler, with corresponding adjustments made in the playground and test files to reflect the new code generation. The user also added an xml parser.
programming-languagelean4lean
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.