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 (89)
expert-system10
apex10
keyboard-shortcuts9
static-analysis9
todoist9
plsql9
swift9
performance-testing9
linter9
code-analysis9
juicypixels9
java9
code-analyzer8
docker8
static-code-analysis8
Programming languages (10)
Github contributions (5)
igormoreno/knausj_talon
Oct 2022 - Jul 2025
Config for talon for Mac, Windows and Linux. Very much in progress.
Contributions:3 pushes in 2 years 8 months
talonvimwindowsin-progresslinux
igormoreno/hello-github-actions
Sep 2019 - Dec 2020
Contributions:2 PRs, 3 pushes, 2 branches in 1 year 3 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.