Martin Mirchev
Research Engineer 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
1 year of employment as a software developer
Secondary Degree, Mathematics, 6.00/6.00, Secondary Degree, Mathematics, 6.00/6.00 at Burgas School of Mathematics and Natural ScienceBachelor of Science - BS, Computer Science, 8.2/10.0, Bachelor of Science - BS, Computer Science, 8.2/10.0 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
abnf7
mathematics7
Programming languages (17)
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.
grammarparser-generatorabstract-syntax-treeexpectationgrammars
AutoCodeRoverSG/auto-code-rover
Apr 2024 - Mar 2025
A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 37.3% tasks (pass@1) in SWE-bench lite and 46.2% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.
Contributions:4 releases, 5 reviews, 18 PRs in 11 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.