Leonid Mokrushin
Principal Researcher at Ericsson
Stockholm County, Sweden
Summary
👤
Senior🎓
Top SchoolLeonid Mokrushin is a Principal Researcher based in Stockholm with 12+ years of experience applying formal knowledge representation, AI planning, and cognitive systems to automation and cloud/network problems. At Ericsson since 2007 he progressed from researcher to principal, translating theoretic models—timed automata and schedulability analysis—from his PhD work into practical toolsets and industrial research. He combines deep formal-methods rigor with applied systems thinking to make abstractions that are both precise and operational, echoing his GitHub-cited Dijkstra insight. Known for bridging research and product needs, he focuses on scalable automation across networks and cloud environments while retaining an uncommon emphasis on semantic clarity in system design.
12 years of coding experience
11 years of employment as a software developer
M.Sc. Computer Software Engineering, M.Sc. Computer Software Engineering at Peter the Great St.Petersburg Polytechnic University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (20)
connected10
triple10
ruby10
homebrew10
swi-prolog10
logic-programming9
prolog9
oslc9
security8
rdf-store8
database6
react6
graph6
javascript6
svelte5
Programming languages (6)
Github contributions (5)
likelion/homebrew-tap
Nov 2020 - Dec 2022
Contributions:42 commits, 199 pushes, 1 branch in 2 years 1 month
likelion/swiprolog
May 2014 - Jan 2017
Contributions:6 commits, 1 push, 1 comment in 2 years 8 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.