Romain Edelmann
Computer Science Teacher at EPFL (École polytechnique fédérale de Lausanne)
Morrens, Vaud, Switzerland
Summary
👤
Senior🎓
Top SchoolRomain Edelmann is a computer science educator and researcher with 12 years of experience bridging secondary and higher education, currently teaching at Gymnase de Burier and instructing the national GymInf teacher training course at EPFL. He holds a PhD from EPFL (2021) on novel, formally verified parsing algorithms and has translated that rigorous research mindset into practical teaching resources, co-developing Modulo, a catalog for high-school CS education. Comfortable with both pedagogy (MAS, HEP Vaud) and deep technical work, he has a background in compiler/runtime modification at Google and in embedding formal frameworks in functional languages. He regularly leads outreach through EPFL summer schools for secondary students, combining classroom practice with curriculum design to make advanced topics accessible. An understated strength is his ability to move between formal verification research and hands-on software engineering, shaping how CS is taught and learned in Swiss schools.
12 years of coding experience
4 years of employment as a software developer
Bachelor, Computer Science, Bachelor, Computer Science at National University of SingaporeMaster of Science (MSc), Computer Science, 5.68/6, Master of Science (MSc), Computer Science, 5.68/6 at Ecole polytechnique fédérale de LausanneDoctor of Science, Computer Science, Doctor of Science, Computer Science at EPFL (École polytechnique fédérale de Lausanne)Bachelor of Science (BS), Computer Science, Bachelor of Science (BS), Computer Science at EPFLMAS, Pedagogy, MAS, Pedagogy at Haute école pédagogique du canton de Vaud (HEP Vaud)Maturité gymnasiale, Maturité gymnasiale at Gymnase de Burier
English, French, German
Stackoverflow
71reputation
167reached
3answers
0questions
Github Skills (81)
parser10
parser-combinators10
solver10
ressources10
pretty-print10
macros10
distributions10
password-generator10
parsing10
passwords10
email-address10
leon9
restructuredtext9
synthesis9
metaprogramming9
Programming languages (8)
Github contributions (5)
redelmann/haskell-distribution
Jul 2014 - Jan 2022
Haskell package for finite discrete probability distributions.
Contributions:2 releases, 64 commits, 5 PRs in 7 years 6 months
distributionshaskellprobability-distributionsdiscreteprobability
redelmann/informatique-gymnase
Dec 2022 - Jan 2023
Contributions:47 commits, 128 pushes in 1 month
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.