Luka Hadži-đokić is a software engineer with 11 years of experience specializing in programming languages, compilers, verification, and automata theory. Based in Belgrade, he blends research-driven problem solving—evidenced by a research internship building an omega-visibly pushdown automata inclusion tool—with practical engineering on production projects. He has contributed to the Nyxt hacker’s browser as a full-stack developer, improving zoom logic, history import, and settings UI/backend in a notable open-source Common Lisp project. Luka has industrial experience across startups and institutes, including work on Java/Spring microservices and bioinformatics platform internals. Comfortable moving between low-level formal algorithms and user-facing features, he brings both mathematical rigor from a Mathematics and Computer Science degree and a pragmatic focus on maintainable code. An intriguing facet of his profile is the combination of automata-theoretic research and hands-on browser engineering, showing a rare cross-section of theory and system-building.
11 years of coding experience
1 year of employment as a software developer
Bachelor's degree, Mathematics and Computer Science, Bachelor's degree, Mathematics and Computer Science at Faculty of Mathematics, University of Belgrade
Github Skills (6)
extensible10
browser10
common-lisp10
keyboard9
webbrowser9
lisp8
Programming languages (7)
RustRacketJavaScriptCommon LispHTMLRich Text FormatPython
Contributions:46 reviews, 16 PRs, 39 pushes in 4 months
Contributions summary:Luka primarily contributed to the Nyxt browser's codebase by refactoring and enhancing zoom logic, removing restrictions, and ensuring default zoom settings were respected. They also updated the changelog to reflect the changes in zoom functionality and the version number. Furthermore, the user introduced a feature for importing history from various browsers and improved the user interface elements.
Contributions:23 commits, 13 pushes, 3 branches in 2 years 5 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.