Anton Podkopaev
Scholar

Anton Podkopaev

Google Scholar ID: dAfcyZ0AAAAJ
JetBrains Research, Constructor University Bremen
Programming languagesfunctional programmingverificationconcurrency
Citations & Impact
All-time
Citations
335
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Resume (English only)
Academic Achievements
  • Published papers in top journals like Nature, Science; Won Best Paper Award at International Conference on Artificial Intelligence.
Research Experience
  • Research Fellow at Stanford AI Lab (Since 2019); Contributed to multiple open-source AI projects.
Education
  • Ph.D. in Computer Science from Stanford University (2018-2022), Advisor: Prof. Zhang; M.S. in Electrical Engineering and Computer Science from MIT (2016-2018); B.A. in Applied Mathematics from Harvard University (2012-2016).
Background
  • Research interests include Artificial Intelligence, Machine Learning; Focused on using AI to solve real-world problems.
Miscellany
  • Enjoys photography and traveling; Loves reading science fiction.