Founder
Current
Jan 2024 - Present
AeroLeads people directory · profile
Georgii Plotnikov Email & Phone Number
Compiler engineering and Formal Methods (Blockchain | LLM | Rust, Coq)
at
Inferara
LinkedIn matched
✓ Verified Jun 2026
3 data sources
Profile completeness 86%
Current company
Role
Compiler engineering and Formal Methods (Blockchain | LLM | Rust, Coq)
Location
Fukuoka, Fukuoka, Japan
Who is Georgii Plotnikov? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Georgii Plotnikov is listed as Compiler engineering and Formal Methods (Blockchain | LLM | Rust, Coq) at Inferara, based in Fukuoka, Fukuoka, Japan. AeroLeads shows a matched LinkedIn profile for Georgii Plotnikov.
Georgii Plotnikov previously worked as Founder at Inferara and Senior Software Developer at Openzeppelin. Georgii Plotnikov holds Master'S Degree, Computer Software Engineering, A+ from Peter The Great St.Petersburg Polytechnic University.
Company email context
Email format at Inferara
This section adds company-level context without repeating Georgii Plotnikov's masked contact details.
Inferara
Review company-level records connected to Georgii Plotnikov before choosing the right outreach path.
Profile bio
About Georgii Plotnikov
I write code daily, specializing in highly secure and reliable solutions for #Web3.
Current workplace
Georgii Plotnikov's current company
Company context helps verify the profile and gives searchers a useful next step.
13 roles
Georgii Plotnikov work experience
A career timeline built from the work history available for this profile.
Senior Software Developer
CurrentDevelopment of tools for static code analysis, specifically for searching for vulnerabilities. Mainly, Solidity.
Mar 2023 - Present
Lead Software Engineer
Apr 2022 - Mar 2023
Lead Software Engineer
Sep 2021 - Apr 2022
Technical Delivery Manager
Sep 2021 - Dec 2021
Team Lead
May 2020 - Oct 2021
Team Lead
Feb 2019 - Sep 2021
Lead Software Engineer
Dec 2019 - May 2020
Lead Software Engineer
Feb 2019 - Dec 2019
Software Engineer
Nov 2016 - Feb 2019
Software Developer
Comita
Jun 2013 - Nov 2016
Quality Assurance
Comita
Nov 2012 - May 2013
Technical Support
MTS is the largest mobile network operator in Russia, operating on GSM, UMTS, and LTE standards.
Jul 2008 - May 2010
2 education records
Georgii Plotnikov education
Master'S Degree, Computer Software Engineering, A+
Bachelor'S Degree, Business Administration And Management, General
FAQ
Frequently asked questions about Georgii Plotnikov
Quick answers generated from the profile data available on this page.
What company does Georgii Plotnikov work for?
Georgii Plotnikov works for Inferara.
What is Georgii Plotnikov's role at Inferara?
Georgii Plotnikov is listed as Compiler engineering and Formal Methods (Blockchain | LLM | Rust, Coq) at Inferara.
Where is Georgii Plotnikov based?
Georgii Plotnikov is based in Fukuoka, Fukuoka, Japan while working with Inferara.
What companies has Georgii Plotnikov worked for?
Georgii Plotnikov has worked for Inferara, Openzeppelin, Epam Systems, Viacode, and Comita.
How can I contact Georgii Plotnikov?
You can use AeroLeads to view verified contact signals for Georgii Plotnikov at Inferara, including work email, phone, and LinkedIn data when available.
What schools did Georgii Plotnikov attend?
Georgii Plotnikov holds Master'S Degree, Computer Software Engineering, A+ from Peter The Great St.Petersburg Polytechnic University.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial