Sonja Heinze
Senior Software Engineer at Tarides
Valencia, Valencian Community, Spain
Summary
🤩
Rockstar🎓
Top SchoolSonja Heinze is a Senior Software Engineer based in Valencia with seven years of experience bridging rigorous mathematical research and production software. At Tarides she focuses on core tooling for the OCaml ecosystem, bringing deep functional-programming knowledge and a researcher’s attention to correctness. Her background includes a PhD-level foundation in algebraic and bilipschitz geometry, Outreachy-supported open-source contributions to a Rust GNOME Matrix client, and self-directed AI projects from a Recurse Center residency. Equally at home with hardware, music, and people, she combines analytical depth with practical engineering to improve developer tooling and language ecosystems.
7 years of coding experience
5 years of employment as a software developer
University exchange year mathematics, University exchange year mathematics at University of NottinghamPhD Mathematical research, PhD Mathematical research at Universidad Complutense de MadridM.Sc. mathematics, M.Sc. mathematics at RWTH Aachen University
German, Spanish, English, Portuguese
Github Skills (179)
coverage10
vim10
reason10
ppx10
opam10
package-repository10
dune10
emacs10
coc-nvim10
storage10
docstrings10
ocaml10
dub10
lwt10
package-manager10
Programming languages (12)
Github contributions (5)
pitag-ha/merlin
Mar 2023 - Feb 2024
Context sensitive completion for OCaml in Vim and Emacs
Contributions:12 PRs, 753 pushes, 28 branches in 11 months
pitag-ha/cardio-crumble
Sep 2022 - Jan 2023
Auditively feel the work of the runtime
Contributions:23 reviews, 18 commits, 5 PRs in 4 months
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.