Pavel Chuprikov
Assistant Professor at Télécom Paris
Palaiseau, Ile-de-France
Summary
👤
Senior🎓
Top SchoolPavel Chuprikov is an Assistant Professor and computer scientist with 13 years of experience at the intersection of distributed systems, discrete optimization, and programming language design. He has a strong publication record and a track record of turning formal methods into practical tools—designing secure type systems for confidential data analytics and an equational theory and Haskell toolset for reasoning about quantum network protocols. His work blends rigorous formal proofs with systems engineering, from traffic-engineering algorithms and buffer-management online algorithms to low-level contributions to a popular LaTeX IntelliJ plugin. Based in Palaiseau, France, he combines academic leadership with hands-on software development experience at institutions and companies including Télécom Paris, USI Lugano, IMDEA, and JetBrains.
13 years of coding experience
11 years of employment as a software developer
Master of Science (MSc), Computer Science, A, Master of Science (MSc), Computer Science, A at St. Petersburg Academic University of the Russian Academy of SciencesBachelor of Science (BS), Computer Science, Bachelor of Science (BS), Computer Science at Saint-Petersburg State University Information Technologies, Mechanic and Optics (University ITMO)Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Higher School of EconomicsDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at St. Petersburg Department of V.A.Steklov Institute of Mathematics of the Russian Academy of Sciences
English, Russian, German, Italian
Github Skills (5)
kotlin10
javas10
latex10
java10
intellij-plugin9
Programming languages (8)
Github contributions (5)
Hannah-Sten/TeXiFy-IDEA
Jun 2019 - Jul 2019
LaTeX support for the IntelliJ platform by JetBrains.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:6 commits, 3 PRs, 4 comments in 1 month
Contributions summary:Pavel primarily contributed to the LaTeX support for the IntelliJ platform by adding features and fixing bugs related to code completion and inspection. They implemented an inspection to identify unreferenced figures, supporting better LaTeX document management. Their work also involved refactoring code and supporting multiple references within single commands, improving the usability and functionality of the plugin.
texifyintellij-platformlatex-editorlatexintellij-plugin
pschuprikov/nur-packages
Sep 2018 - Jan 2025
A template for NUR repositories: [maintainer=@fgaz]
Contributions:140 pushes, 2 branches in 6 years 4 months
repositoriestemplatenurmaintainer
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.