Romain Edelmann
Computer Science Teacher at Gymnase de Burier
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.
13 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 (52)
parser10
pretty-print10
parser-combinators10
solver10
ressources10
tree-structure10
scala10
parsing10
tla9
python9
verification9
synthesis9
scalajs9
lstm9
leon9
Programming languages (9)
Github contributions (5)
redelmann/scat
Aug 2013 - Feb 2020
Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.
Contributions:47 commits, 4 PRs, 7 pushes in 6 years 7 months
e-mail
redelmann/bernays
Feb 2022 - Sep 2022
Contributions:121 commits, 97 pushes, 1 branch in 7 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.