Цветан Д
Software Developer at ICB
Bulgaria
Summary
👤
Senior🎓
Top SchoolЦветан Д is a software developer with 11 years of experience specializing in .NET Core, C#, MVC, Angular, TypeScript and database integrations including PL/SQL and ElasticSearch. He brings a strong research background—PhD-level work and post-docs in automated reasoning, formal verification and probabilistic logic—which informs rigorous, maintainable engineering. His industry work spans time-series historian integrations, enterprise insurance and manufacturing systems, and full-stack features from backend LINQ/ODBC to RxJS-driven frontends. Currently at ICB, he has a track record of fixing complex integration bugs and delivering consultant-grade solutions for clients like CRIF and TrendMiner. Fluent across OCaml, Prolog and HOL4 from academic projects, he often applies formal methods thinking to practical software problems. Based in Bulgaria, he blends deep theoretical training with pragmatic production experience, making him effective at bridging research-grade correctness and commercial delivery.
11 years of coding experience
5 years of employment as a software developer
Vienna University of TechnologyНПМГ "Акад. Л.Чакалов"Master's degree, Logic and Algorithms, Master's degree, Logic and Algorithms at Sofia University St. Kliment OhridskiMaster's degree, Computational Mathematics, Master's degree, Computational Mathematics at Libera Università di Bolzano
English, Bulgarian, German, Italian
Stackoverflow
11reputation
162reached
0answers
1question
Github Skills (13)
lambda-prolog10
lambda10
declarative-programming10
prolog-interpreter10
datalog10
embeddable10
prolog10
logic-programming10
interpreter9
vector6
embedded6
proof-assistant6
multiplication6
Programming languages (1)
Github contributions (2)
LPCIC/matita
Mar 2015 - May 2016
Contributions:493 commits in 1 year 2 months
assistantelpiproof-assistantembedded
LPCIC/elpi
May 2015 - Apr 2016
Embeddable Lambda Prolog Interpreter
Contributions:259 commits in 11 months
ocaml-libraryprologprolog-interpreterlogic-programmingdatalog
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.