Anton Podkopaev
Head of Programming Languages and Program Analysis (Plan) Lab at Jetbrains
Based in Amsterdam, Netherlands
7-day free trial · no credit card
Seniority
Director
Department
Other
Location
Amsterdam
Industry
Software Development
Company size
2.7K
Contact information
Reveal Anton's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
a•••••••@jetbrains.com
Phone
5 credits+31 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Anton Podkopaev
I'm passionate about organizing research teams to do ground-breaking research. I have a strong focus on people's growth. On technical side, I'm a big fan of formal methods and have a strong believe that there is a bright future for them, esp, due to recent advancements in generative AI. Key areas of expertise- Research management (both fundamental and applied)- Research in Programming Languages - Program verification - Interactive theorem proving - Weak memory models, concurrency
Decision-makers
Other people at Jetbrains
Build a list of verified contacts at Jetbrains
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Anton
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime