Dario Pinto
Software And Systems Engineer, Technical Writer at OCamlPro
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolDario Pinto is a software and systems engineer with eight years of experience, currently working as a Software and Systems Engineer and Technical Writer at OCamlPro in Paris. A 42 Paris graduate with a master-level focus in software architecture, systems and networks, he blends low-level systems understanding with practical software engineering. At OCamlPro he progressed from junior developer to engineer, contributing to OCaml-focused tooling and documentation while maintaining an active personal GitHub. Comfortable across systems engineering, development and technical communication, he turns complex technical ideas into clear, usable artifacts. His background in English literature and earlier roles in education and hospitality give him strong communication and user-centered instincts that inform both writing and engineering. Colleagues value him for reliably shipping pragmatic solutions and for making niche language ecosystems more accessible.
8 years of coding experience
2 years of employment as a software developer
Licence Langue anglaise et littérature général, Licence Langue anglaise et littérature général at Université Paris CitéMasters in Software Architecture Systems and Network Computer Engineering, Masters in Software Architecture Systems and Network Computer Engineering at 42 Paris
Github Skills (71)
ocaml10
opam9
package-repository9
optimizer9
dig9
dune9
solver9
reason9
java9
package-manager9
symbolic-execution8
smt8
static-analysis8
cpp8
switch8
Programming languages (8)
Github contributions (5)
RadioPotin/computorv1
Apr 2021 - May 2022
WIP and introduction to Func P
Contributions:4 PRs, 110 pushes, 1 branch in 1 year 1 month
wipfunc
RadioPotin/In-Progress
Nov 2018 - Jan 2020
All the things that are currently in my personal oven of a brain
Contributions:2 PRs, 345 pushes, 2 branches in 1 year 2 months
brainovenall-the-things
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.