Oscar Toro
Softwareudvikler at Udviklings- og Forenklingsstyrelsen
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolOscar Toro is a Copenhagen-based software developer with 11 years of experience blending functional programming, language theory, and practical systems work. He holds an MSc in Advanced Computing (programming languages) and has taught multiple courses in functional programming, compilers, and advanced Scala, bringing strong foundations in types, monads, and property-based testing to production projects. Since 2019 he has been building software at a Danish government agency, and his background includes migrating legacy BI systems, static analysis tooling for Erlang, and data-analysis prototypes using F#. An accomplished classical guitarist turned engineer, he combines musical discipline with a preference for Clojure, OCaml, and formal methods like TLA+—a hint at his taste for elegant, verifiable designs.
11 years of coding experience
1 year of employment as a software developer
2005, Music, BA Classical Music Performance, Guitar, 2005, Music, BA Classical Music Performance, Guitar at Pontificia Universidad Católica de ChileMSc. Degree, Computer Science and Software Engineering, Advanced Computing - Programming Languages, MSc. Degree, Computer Science and Software Engineering, Advanced Computing - Programming Languages at IT-Universitetet i KøbenhavnBachelor’s Degree, Computer Science, Bs in Software Development, Bachelor’s Degree, Computer Science, Bs in Software Development at Københavns Erhvervsakademi
English, Spanish, Danish
Stackoverflow
52reputation
4kreached
2answers
1question
Github Skills (19)
ghc9
servant9
hackage9
cabal8
python8
line-chart6
haskell6
chat6
ethereum6
erlang6
nodejs5
elixir5
leveldb3
discounts2
figwheel2
Programming languages (3)
Github contributions (5)
adamschoenemann/dsl-project
Oct 2016 - Dec 2016
Contributions:17 commits, 11 pushes in 1 month
itudomainlanguagesdomain-specific-languagesdomain-specific
oscarftoro/word_collector
Dec 2014 - Jul 2015
Contributions:125 commits, 107 pushes, 2 branches in 6 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.