Martin Mirchev
Research Consultant at Sonar
Singapore, Singapore
Summary
🤩
Rockstar🎓
Top SchoolMartin Mirchev is a research engineer and PhD candidate in computer science at the National University of Singapore with 11 years of software engineering experience focused on parsing, formal methods, and developer tooling. Currently at Sonar, he brings applied research to product-grade systems and previously served as CTO of a startup, blending hands-on engineering with technical leadership. His long-standing open-source work on the high-profile antlr/grammars-v4 repository demonstrates deep expertise in language grammars, lexer adaptation, and syntax engineering. Martin has a strong foundation in theoretical CS—evident from tutoring roles in automata, logic, and provable programming—and pairs that with practical embedded-systems mentoring and industry consulting. He consistently translates formal techniques into robust tooling for real-world code analysis and developer productivity. A Project Euler fan with top-tier maths education, he approaches problems with both rigor and curiosity.
11 years of coding experience
2 years of employment as a software developer
Secondary Degree, Mathematics, Secondary Degree, Mathematics at Burgas School of Mathematics and Natural ScienceBachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Eindhoven University of TechnologyDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at National University of Singapore
Github Skills (9)
grammar10
grammars10
lexical-analysis10
parsing10
parse10
antlr10
http9
mathematics7
abnf7
Programming languages (16)
Github contributions (5)
antlr/grammars-v4
Apr 2019 - May 2021
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:16 reviews, 79 commits, 27 PRs in 2 years 2 months
Contributions summary:Martin has been working on implementing and modifying grammars for various programming languages and file formats. This includes creating a working LexerAdaptor for ANTLR v4, reworking an ABNF grammar, creating a new grammar for HTTP, and fixing or reworking existing grammars for Algol60, arithmetic, and clu. The user also made various code adjustments, demonstrating a strong understanding of parsing and language syntax. The contributions also included adding test and example files, as well as, fixing errors related to the grammar.
antlrgrammars
Marti2203/CurrentBook
Oct 2016 - Aug 2021
Contributions:56 pushes, 1 branch in 4 years 10 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.