Alexander Faithfull-murawski
Tech Lead at Magenta ApS
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolAlexander Faithfull-murawski is a Tech Lead based in Copenhagen with 16 years of experience delivering backend systems and leading product development at Magenta ApS. He combines hands-on engineering with systems-level thinking, currently driving OS2borgerPC and OS2datascanner projects that bridge practical public-sector needs and robust backend architecture. His open-source contributions include nontrivial low-level work on the Rocq interactive theorem prover and performance-focused algorithm integration in ann-benchmarks, showing expertise in formal methods, concurrency (STM), and approximate nearest-neighbor tooling. A first-class BEng(Hons) graduate from the University of Edinburgh, he brings research-programmer rigor from a long tenure at IT-Universitetet i København into commercial delivery. Colleagues describe him as the kind of engineer who refactors core abstractions and implements state-saving mechanisms rather than just wiring endpoints, making him well-suited for complex, correctness-sensitive systems.
15 years of coding experience
13 years of employment as a software developer
BEng(Hons), Software Engineering, First class, BEng(Hons), Software Engineering, First class at The University of Edinburgh
Danish, English
Github Skills (17)
algorithms10
dependent-types10
python10
nearest-neighbors10
ocaml10
coq10
nearest-neighbor-search10
transactional-memory10
theorem-proving10
stm10
data-structure9
data-structures9
cprogramming-language8
c-language8
debug8
Programming languages (3)
Github contributions (5)
erikbern/ann-benchmarks
Aug 2016 - Dec 2018
Benchmarks of approximate nearest neighbor libraries in Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:259 commits, 3 PRs, 16 comments in 2 years 4 months
Contributions summary:Alexander primarily contributed to the core functionality of the ann-benchmarks project by implementing and integrating new approximate nearest neighbor algorithms. They added a class for testing the locality_sensitive::filtering strategy, expanded support for various dataset formats, and enhanced the BruteForceBLAS class to include Hamming distance calculations. The user's work included modifying the main program's dataset loading and query processing procedures.
pythonnearest-neighbornearestdockerbenchmark
rocq-prover/rocq
Jun 2015 - Oct 2015
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 commits, 2 PRs in 3 months
Contributions summary:Alexander primarily focused on modifying core components and internal mechanisms of the Rocq theorem prover. Their contributions included refactoring type definitions within the `program_info` structure using the ephemeron mechanism and extending STM functionality. They introduced functions for saving and restoring the STM's internal state, essential for new transaction implementation. Further work exposes the length of TQueues and allows for saving tasks during a TQueue clear operation, alongside workarounds for debugging output to avoid dot crashes.
management-systemdependent-typeshomotopy-type-theorytheorem-provingsemi
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.