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 (34)
linux10
ruby10
homebrew10
swi-prolog10
macos10
package-manager10
connected9
triple9
armhf9
logic-programming9
oslc9
prolog9
rdf8
semantic-web8
linked-data8
Programming languages (6)
Github contributions (5)
likelion/swiprolog
May 2014 - Jan 2017
Contributions:6 commits, 1 push, 1 comment in 2 years 8 months
EricssonResearch/oslc_prolog
Jun 2017 - Jun 2021
Implementation of OSLC Core in SWI-Prolog
Contributions:5 reviews, 176 commits, 15 PRs in 4 years 1 month
prologoslcarmhfbuildrootin-core
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.