Mikhail Barash

Executive Committee Member at Ecma International

Bergen, Vestland, Norway
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Mikhail Barash is a programming languages researcher and educator based in Bergen, Norway, specializing in design and implementation of DSLs, language workbenches (Eclipse Xtext, JetBrains MPS), projectional editors, and developer tooling. He holds a Ph.D. in discrete mathematics from the University of Turku, where he developed parsing algorithms and extensions to context-free grammars used to define language syntax. At the University of Bergen he combines teaching (Programming Languages, Concurrent Programming) with active involvement in standards work as a TC39 delegate, Co-Convenor of TG5, and an Executive Committee member at Ecma International. He has a track record of translating complex academic ideas into accessible industry tutorials and organized numerous university–industry courses while coordinating applied research activities. Beyond research, he has implemented ANTLR-like compiler-compilers and maintains practical course material for DSL engineering, reflecting a rare blend of theoretical depth and hands-on tooling experience.
code4 years of coding experience
job12 years of employment as a software developer
bookDoctor of Philosophy (Ph.D.), Discrete Mathematics, Doctor of Philosophy (Ph.D.), Discrete Mathematics at Turun yliopisto - University of Turku
bookMaster of Science (M.Sc.), with honours, Applied Mathematics and Computer Science, Master of Science (M.Sc.), with honours, Applied Mathematics and Computer Science at Irkutsk State University
languagesEnglish, Finnish, Swedish, Russian, German, French
github-logo-circle

Github Skills (3)

groupby7
spidermonkey6
programming-language6

Programming languages (3)

Rocq ProverJavaScriptHTML

Github contributions (5)

github-logo-circle
tc39/tg5

Mar 2024 - May 2026

TC39-TG5: Experiments in programming language standardization. https://ecma-international.org/task-groups/tc39-tg5/
Contributions:5 reviews, 16 PRs, 64 pushes in 2 years 2 months
programming-language
bldl/events

Oct 2024 - Nov 2024

Contributions:8 pushes, 1 branch in 13 days
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.
Request Free Trial