Agata Faithfull-murawska
Senior Software Developer at Deon Digital AG
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolAgata Faithfull-murawska is a senior software developer in Copenhagen with 15 years of experience blending industrial engineering and academic research in programming languages, formal verification, and static analysis. She has driven end-to-end product delivery in finance and green‑finance domains using Kotlin and TypeScript, while shaping architecture, testing, and customer-facing support. Her research pedigree includes a PhD and multiple postdoctoral roles focused on mechanized proofs, DSLs for contracts, and Coq formalizations, work that directly informed tools used in production at Deon Digital. Comfortable in both theory and practice, she has taught discrete mathematics and co-supervised MSc work, bridging pedagogy and applied research. Notably, she was part of initiatives to formally verify a contract specification language (CSL) and develop a static analysis toolset for it, bringing mathematical rigor to real-world contract systems. Colleagues value her polyglot fluency, ability to translate formal methods into usable tooling, and rare combination of SRE-era systems experience with deep proof-theory expertise.
15 years of coding experience
8 years of employment as a software developer
MSc Computer Science, MSc Computer Science at University of WroclawDoctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at IT-Universitetet i KøbenhavnBachelor of Science - BS Mathematics, Bachelor of Science - BS Mathematics at University of WarsawVI Liceum Ogólnokształcące im. Jana i Jędrzeja Śniadeckich
Polish, English, Danish
Github Skills (19)
lf9
relational-algebra8
handlers8
dependent-types7
ocaml7
macros7
gleam6
functional-programming5
helios4
voting4
api3
python3
javascript2
rest-api2
rest-client2
Programming languages (4)
Github contributions (5)
Ayertienna/IS5
Apr 2012 - Aug 2013
Contributions:330 commits in 1 year 4 months
Beluga-lang/Meta
May 2015 - Jul 2015
Mechanizing Types and Programming Languages using Beluga
Contributions:20 commits, 13 pushes, 1 issue in 2 months
gleammacrosbelugaprogramming-languageslanguages
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.