Maksim B.

Formal Methods Specialist at Pruvendo
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Tbilisi, Georgia, GE
Languages
  • English Full professional proficiency
  • Russian Native or bilingual proficiency

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
You need to have a working account to view this content.

Experience

    • United Arab Emirates
    • Computer and Network Security
    • 1 - 100 Employee
    • Formal Methods Specialist
      • Dec 2022 - Present
    • Russian Federation
    • IT Services and IT Consulting
    • 1 - 100 Employee
    • C++ Developer
      • Dec 2021 - Aug 2022

      Reimplementation of DDoS spotting strategy using filter-based approach Designing and implementation of map-like container with time-based erasure strategy, analysis of different possible approaches with attention to performance and memory consumption Implementation of wildcard-search feature in trie-like database Extension of low-level three-way communication protocol Technical interviewing Reimplementation of DDoS spotting strategy using filter-based approach Designing and implementation of map-like container with time-based erasure strategy, analysis of different possible approaches with attention to performance and memory consumption Implementation of wildcard-search feature in trie-like database Extension of low-level three-way communication protocol Technical interviewing

    • Russian Federation
    • Software Development
    • 1 - 100 Employee
    • Senior C++ Developer
      • Jan 2019 - Nov 2021

      Participation in architecture decisions of main system, developing parts of it independentlyDesign and implementation of template-based type-safe in-memory database for internal use with requirements on low memory usage and fast performanceDesign and implementation of data communication protocol between x64/ARM device and tablet with demand on high throughput and fault tolerance (video stream along with control commands)Mentorship of team of two junior developers

    • C++ Developer
      • Aug 2017 - Jan 2019

      Designing and implementation of collect-refine-analyze pipeline worked on tens of terrabytes of internal dataImplementation of telemetry harvesting backend in Rust

Education

  • National University of Science and Technology "MISIS" (Moscow Institute of Steel and Alloys)
    Bachelor, Applied Mathematics
    2015 - 2019

Community

You need to have a working account to view this content. Click here to join now