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.
10 years of coding experience
14 years of employment as a software developer
financial risk management, financial risk management at GARP - FRM 1 of 2
Functional Programming, Functional Programming at MOOC FP101x Introduction to Functional Programming
Doctor of Philosophy (Ph.D.), Computer science, Doctor of Philosophy (Ph.D.), Computer science at University of Tübingen
Functional Programming, Functional Programming at MOOC Introduction to Functional Programming in OCaml
KV Zurich
Master of Science (MSc), Agronomy, Master of Science (MSc), Agronomy at ETH Zürich
French, English, Spanish, German, Italian, Esperanto
The core component that is used to participate in a Cardano decentralised blockchain.
Role in this project:
DevOps 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.
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.