Igor Santos
Scala Developer Data Engineer
Winterthur, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolIgor Santos is a Scala developer and data engineer with 13 years of software experience and a strong academic background as a former postdoc at USI’s LuCE research lab, where he worked on programming language theory, interpreters in Haskell, and mechanized soundness proofs in Agda. He combines research rigor with production-grade engineering, currently building Scala and Spark data solutions at Axpo after years of teaching and implementing compilers, interpreters, and static analysis tools. His career spans backend systems in Java, Node.js, PHP and multi-threaded/PLC integrations, reflecting a rare blend of low-level systems work and high-level language design. A seasoned educator, he co-authored course material across undergraduate and master programs and supervised theses, bringing pedagogical clarity to complex technical problems. Notably, he has moved smoothly between academia and industry, turning formal methods and equational reasoning into practical tooling and scalable data pipelines.
13 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at USI Università della Svizzera italianaBachelor, Computer Science, Bachelor, Computer Science at Università della Svizzera italiana (USI)
Portuguese, English, Italian, Spanish, French
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (127)
expert-system10
resharper10
plsql10
apex10
expert10
keyboard-shortcuts9
static-analysis9
swift9
performance-testing9
linter9
code-analysis9
refactoring9
extensible9
static-code-analysis9
juicypixels9
Programming languages (10)
Github contributions (5)
igormoreno/hello-github-actions
Sep 2019 - Dec 2020
Contributions:2 PRs, 3 pushes, 2 branches in 1 year 3 months
igormoreno/igormoreno.github.io
Mar 2021 - Nov 2024
Contributions:20 pushes in 3 years 8 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.