Alexander Diemand

Project Lead at SBC Lab AG

Zurich, Zurich, Switzerland
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Alexander Diemand is a Project Lead and seasoned engineering manager with over a decade of experience building high-availability systems, HPC and financial trading software using a broad language palette from C++ and Java to Haskell and OCaml. He combines hands-on development (performance profiling, parallelization, GPU) with formal-methods expertise (Coq, Agda, TLA+, Alloy) and a test-driven, security-by-design mindset as founder of eLyKseeR. His work spans data science, benchmarking and DevOps in the blockchain space—contributing operational and CI tooling for the Cardano node and performance analysis for IOHK. Based in Zurich, he has led teams that translate quantitative models into production systems for trading and risk as well as research-grade scientific computing. Colleagues describe him as a pragmatic explorer who prefers clean proofs and reproducible metrics over clever hacks.
code10 years of coding experience
job14 years of employment as a software developer
bookfinancial risk management, financial risk management at GARP - FRM 1 of 2
bookFunctional Programming, Functional Programming at MOOC FP101x Introduction to Functional Programming
bookDoctor of Philosophy (Ph.D.), Computer science, Doctor of Philosophy (Ph.D.), Computer science at University of Tübingen
bookFunctional Programming, Functional Programming at MOOC Introduction to Functional Programming in OCaml
bookKV Zurich
bookMaster of Science (MSc), Agronomy, Master of Science (MSc), Agronomy at ETH Zürich
languagesFrench, English, Spanish, German, Italian, Esperanto
stackoverflow-logo

Stackoverflow

Stats
1reputation
0reached
0answers
0questions
github-logo-circle

Github Skills (26)

scripting10
r10
configuration-management10
bash10
cicd10
cryptocurrency10
script10
blockchain10
sh10
shell10
haskell10
nix9
performance-analytics9
performance-monitor9
performance-measurement9

Programming languages (17)

C#C++CScalaMakefilePrologSvelteTypeScript

Github contributions (5)

github-logo-circle
IntersectMBO/cardano-node

Jun 2019 - Oct 2021

The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:
userDevOps Engineer
Contributions:14 reviews, 180 commits, 105 PRs in 2 years 4 months
Contributions summary:Alexander's commits primarily focus on setting up the Cardano node's operational environment, demonstrating a clear focus on DevOps practices. The contributions include creating and modifying scripts to launch nodes with tmux panes, integrate logging configurations, and defining CI job specifications. Furthermore, the user worked on setting up a basic genesis configuration and adapting Nix build files, all of which are critical for the build, deployment, and maintenance of the Cardano node.
core-componentblockchainplutusdecentralisedcardano
input-output-hk/cardano-sl

Feb 2018 - Nov 2018

Cryptographic currency implementing Ouroboros PoS protocol
Role in this project:
userBack-end Developer
Contributions:287 commits, 62 PRs, 280 pushes in 9 months
Contributions summary:Alexander primarily contributed to the Cardano SL blockchain project, focusing on the implementation of benchmark analysis and the plotting of OS metrics, indicating a focus on performance and system monitoring. The user updated and adapted R scripts for benchmark analysis, modifying code to correctly represent transaction times and mempool sizes, and incorporated graphs that start at the first epoch of data. Furthermore, the user implemented and refined utility scripts for analyzing forks and log files, along with plotting operating system metrics, indicating contributions toward infrastructure and performance analysis.
cardanocryptographyposadacryptographic
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.
Request Free Trial