Timothée Andres
Software Engineer at Migros Online
Switzerland
Summary
🤩
Rockstar🎓
Top SchoolTimothée Andres is a software engineer based in Switzerland with nine years of experience and a strong academic background from EPFL, the University of Washington, and ongoing master's studies at ETH Zurich. He combines practical industry work—now at Migros Online—with deep compiler-level contributions to the Scala 3 project, where he implemented and refined inline numeric operations and annotation-based main support. Known for tackling edge cases in primitive numeric behavior and experimenting with alternative implementations, he brings a careful, correctness-focused approach to backend systems. Comfortable working across research and production code, he blends academic rigor with hands-on engineering to deliver robust, well-refactored solutions.
9 years of coding experience
Bachelor's degree, Bachelor's degree at University of WashingtonMaster's degree, Master's degree at Swiss Federal Institute of TechnologyBachelor's degree, Bachelor's degree at Ecole polytechnique fédérale de LausanneFederal Diploma of Vocational Education and Training, Federal Diploma of Vocational Education and Training at CFPT Centre de Formation Professionnelle Technique
English, French
Github Skills (10)
dotty10
compiler-development10
scala10
programming-language9
language-design9
algorithms6
algorithm6
data-structures6
data-structure6
testing5
Programming languages (15)
Github contributions (5)
scala/scala3
Oct 2021 - Oct 2021
The Scala 3 compiler, also known as Dotty.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:7 reviews, 1 commit, 2 PRs in 1 day
Contributions summary:Timothée primarily focused on implementing and refining features within the Scala 3 compiler, specifically related to inline numeric operations and main annotation handling. Their contributions involved adding and modifying code within `InlineNumeric.scala` to improve the behavior of numeric operations on primitive types, as well as implementing support for annotation-based main methods. The changes included defining traits for different numeric types, fixing edge cases for floating-point numbers, and inlining parameters. The user also refactored existing code and created new versions of `InlineNumeric` using different implementation approaches.
compilerscala3scaladottyepfl
AisteruFire/PlayIn
Apr 2020 - Jun 2020
CSE 403 project ; a small mobile app proposing daily challenges!
Contributions:7 PRs, 83 pushes, 5 branches in 1 month
fluttermobile-appdaily-challengescse
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.