Gleb Krasilich
Research And Development Engineer at ISPRAS (Russian Academy of Sciences)
Moscow, Moscow City, Russia
Summary
👤
Senior🎓
Top SchoolGleb Krasilich is a research and development engineer and mathematician with 9 years of engineering experience, combining a strong background in mathematical logic and type theory with practical software development. He researches dependent types and formal methods at ISPRAS, applying Idris 2 to property-based testing and software verification, while also building a Haskell-based DSL and computer algebra system for interactive STEM education at MIPT. An HSE alumnus (MSc/BSc Mathematics), he brings a rare mix of formal, proof-oriented thinking and hands-on language/tooling work that spans both research projects and production teaching platforms. Colleagues value his ability to turn abstract logical ideas into usable developer tooling and educational infrastructure.
8 years of coding experience
Bachelor of Science - BS, Mathematics, Bachelor of Science - BS, Mathematics at Высшая Школа Экономики
Github Skills (66)
dotnet10
sdk10
cross-platform10
garrysmod10
csharp10
markdown9
api9
cli9
garbage-collector9
xamarin9
api-documentation9
csharp-script9
stamp9
facilities8
ecma8
Programming languages (9)
Github contributions (5)
GmodNET/GmodNetVersionTool
Aug 2020 - Nov 2021
A git-based Semantic Versioning 2.0.0 compatible version number generator.
Contributions:4 releases, 21 PRs, 95 pushes in 1 year 3 months
linterversion-controlsemverversion-numbernumber-generator
GmodNET/Templates
Dec 2020 - Dec 2021
Templates for .NET Templates Engine
Contributions:2 releases, 11 reviews, 38 commits in 1 year
template-enginedotnettemplatetemplates
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.