Nous sommes heureux de leur annoncer cela au
laboratoire. Chebyshev St. Petersburg State University ouvre un
programme de maîtrise en informatique théorique , qui est mis en œuvre en étroite coopération avec le
Computer Science Club et avec le soutien de
JetBrains et
Yandex .

Le programme de formation comprend des cours de base et avancés sur les algorithmes, la complexité informatique, la cryptographie, les mathématiques discrètes, la logique mathématique, l'apprentissage automatique, les langages formels et les automates, la géométrie informatique et de nombreux autres sujets spécialisés qui reflètent les domaines modernes de l'informatique. Sous la direction de spécialistes de l'informatique théorique, les étudiants mènent des recherches.
Le programme est complété par des cours du
Club d'
informatique et des voyages dans des écoles d'étudiants internationaux.
Enseignants principaux et éventuels conseillers pédagogiques:
I. A. Gemini - algorithmes pour les problèmes NP-durs, algorithmes paramétrés et complexité,
M.A. Mondes - Équations diophantiennes et 10e problème de Hilbert, permutations, identités combinatoires, codes sphériques, algorithmes en théorie des nombres,
E. A. Hirsch - la complexité des algorithmes,
D. M. Itsykson - complexité des preuves, complexité moyenne, algorithmes SAT,
A. S. Kulikov - algorithmes pour les problèmes NP-durs, complexité des circuits,
S. I. Nikolenko - apprentissage automatique, algorithmes de réseau,
A. S. Okhotin - grammaires formelles, problèmes de complexité dans la théorie des automates, algorithmes d'analyse,
F.V. Petrov - combinatoire,
S. A. Puzynina - combinatoire des mots, langages formels, théorie des graphes,
A.V.Smal - complexité des preuves, complexité structurelle, algorithmes, cryptographie,
S.O. Speransky - théorie de la logique et de la calculabilité, fondements et philosophie des mathématiques (y compris les statistiques).
Les cours ont lieu sur l'île Vassilievski, dans le centre historique de Saint-Pétersbourg.
Un programme de maîtrise similaire a été mis en œuvre à l'Université académique pendant 10 ans, ses diplômés ont étudié et mené des recherches dans les principaux centres de recherche russes et mondiaux: Stanford University, UCSD, KTH, New York University, Universita degli studi di Milano, University of London, Penn State University, Indiana Université, Columbia University, Yahoo Research, POMI RAS, etc. Depuis la nouvelle année universitaire,
Computer Science Club et
JetBrains ont cessé de coopérer avec l'Université universitaire.
Ceux qui souhaitent participer doivent remplir un
formulaire de l'
annonce officielle sur le site Web de l'université. Les questions peuvent être posées via le
formulaire de commentaires .