Marin Marinov
Co-Founder at KOHU Tech
Sofia, Sofia-City, Bulgaria
Summary
👤
Senior🎓
Top SchoolMarin Marinov is a co-founder and seasoned software engineer with 14 years of experience building production systems and research-driven solutions from Sofia, Bulgaria. He led research and development efforts at Ocado Technology, delivering simulation pipelines, ML picking models and optimization algorithms that boosted picker throughput by roughly 30%. Equally comfortable in hands-on engineering and higher-level design, he has rescued and transformed failing products into scalable services and driven large-scale rollouts during peak demand. His independent work includes advanced type-system experiments and contributions to the TypeScript project as a test automation engineer, reflecting deep interest in type theory and compiler correctness. Marin combines pragmatic product focus with an academic curiosity—exploring Hindley-Milner unification, dependent types and verification techniques—to produce elegant, future-proof solutions. As an entrepreneur at KOHU Tech, he continues to translate complex problems into simple, sustainable systems.
14 years of coding experience
9 years of employment as a software developer
Technology School Electronic Systems (TUES), associated with Technical University-Sofia
Github Skills (9)
typescript10
lang10
javascript10
type-checking10
typescripts10
type-check10
typescript-types10
typechecker10
test-automation10
Programming languages (6)
Github contributions (5)
microsoft/TypeScript
Aug 2016 - Jul 2017
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:5 commits, 10 PRs, 413 comments in 11 months
Contributions summary:Marin contributed to the project by implementing and updating test cases. The changes include modifications to existing tests, the addition of new tests for type guard functions, and updates to test baselines. The user's focus was on ensuring the correctness and reliability of the TypeScript compiler. Their contributions demonstrate a strong understanding of testing methodologies within the project's context.
javascripttypescripttypechecker
gcnew/MP2
Jun 2012 - Sep 2015
Contributions:105 commits, 18 pushes in 3 years 3 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.