City:
Test
Saint Petersburg
Novosibirsk
Kazan
Language:
Русский
English
About CS Club
Courses
Lecturers
Schools
Login
Registration
Courses
Autumn 2021
Spring 2022
Computational Complexity Theory
(
С. И. Грязнов
,
Д. М. Ицыксон
)
Introduction to Mathematical Statistics
(
М. С. Николаев
)
Mechanism design
(
Н. В. Гравин
)
Semantic Aspects of Intuitionistic Logic
(
Д. Д. Рогозин
)
Seminar on Computer Science
(
А. И. Калегин
,
Н. В. Мальковский
)
Advanced chapters of algorithms, part 2
(
М. П. Иванов
,
П. Ю. Маврин
)
Seminar on Computer Science
(
Д. Е. Зворыгин
,
И. Макаров
)
Autumn 2020
Spring 2021
Advanced Algorithms
(
К. Макарычев
,
И. Разенштейн
,
А. Х. Шень
)
Artificial Intelligence and Self-driving Vehicles
(
А. С. Артамонов
)
Computing with Infinite Data
(
В. Л. Селиванов
)
Fine-grained Complexity
(
И. А. Михайлин
)
Introduction to Theoretical Computer Science
(
С. И. Грязнов
,
Д. М. Ицыксон
)
Neuromorphic Computation and Neurosimulation
(
М. О. Таланов
)
Reinforcement Learning: from Definitions to AlphaZero and Dactyl
(
С. И. Николенко
)
Seminar on Computer Science
(
А. В. Подкопаев
,
Я. Ю. Сафонова
,
К. С. Яковлев
)
Software Systems Architecture
(
Б. Н. Габбасов
)
Graphs, Computation, and Language
(
Д. А. Усталов
)
Introduction to Formal Verification
(
А. А. Трунов
)
Photogrammetry (3D Reconstruction)
(
Н. В. Полярный
,
Б. П. Симиютин
)
Randomized Algorithms
(
Р. А. ван Беверн
)
Autumn 2019
Spring 2020
Algorithmic Game Theory
(
М. Н. Вялый
)
Data structures based on pointers
(
Е. А. Арсеньева
)
Extended Formulations
(
К. Пашкович
)
Fine-grained complexity
(
А. С. Куликов
)
Introduction to Coq
(
А. А. Трунов
)
Introduction to Model Theory
(
Д. Д. Рогозин
)
Number-theoretic algorithms and cryptography
(
А. И. Храбров
)
Seminar on Computer Science
(
S. Kutten
)
State of the GAN
(
С. И. Николенко
)
Theory of Distributed Computing
(
Р. Г. Липовский
)
Classical coding theory and new applications
(
В. Скачек
)
Randomized Algorithms
(
И. А. Михайлин
)
Seminar on Computer Science
(
В. Клепцын
,
И. Миронов
,
И. Разенштейн
,
А. Х. Шень
)
Autumn 2018
Spring 2019
Computational complexity of search problems
(
Д. В. Мусатов
)
Computer graphics
(
В. А. Галинский
)
Introduction to Computational Social Choice
(
P. Faliszewski
)
Introduction to projective geometry for computer vision
(
В. Л. Ерухимов
)
Recommender systems: classical and neural network approaches
(
А. В. Зимовнов
,
Е. Соколов
)
Selected Topics in Computer Science
(
А. Х. Шень
)
Stories about Internships in IT companies
(
И. А. Близнец
)
From univariate polynomials to probabilistically checkable and error-tolerant proofs
(
P. Kaski
)
Boolean function analysis
(
В. В. Подольский
)
Communication Complexity
(
И. А. Михайлин
)
Interactive proofs
(
Д. В. Мусатов
)
Localization for mobile robots. Survey on SLAM algorithms
(
К. В. Кринкин
)
Random graphs
(
А. М. Райгородский
)
Seminar on Computer Science
(
Y. Dodis
,
A. Lubotzky
,
А. Крайнов
)
Testing and Streaming algorithms for words, trees and graphs
(
M. de Rougemont
)
Type inference from Hindley-Milner to GHC 8.8
(
В. Н. Брагилевский
)
Variable Length Codes: Synchronization, Decomposition, and Beyond
(
А. Рыжиков
)
Autumn 2017
Spring 2018
Algorithmic applications of tree decompositions
(
Ф. В. Фомин
)
Algorithms for the traveling salesman problem
(
А. С. Куликов
)
Artificial Intelligence and Self-driving Vehicles
(
А. Слесарев
)
Complexity of infinite words
(
С. Пузынина
)
Computational Geometry
(
К. В. Вяткина
)
Error correcting codes: basics
(
А. Х. Шень
)
Fine-grained Complexity
(
И. А. Михайлин
)
Formal grammars and computational complexity of parsing
(
А. Охотин
)
introduction to neural networks and deep learning
(
А. А. Ивахненко
)
Kotlin: developing a modern programming language
(
А. Бреслав
)
Low-level vision of dynamic libraries and code models
(
И. Жирков
)
Machine learning and decision support
(
Е. Соколов
)
Metric Geometry and its applications in Computer Science
(
К. Макарычев
,
Ю. Макарычев
)
Online algorithms for buffer management: competitive analysis
(
С. И. Николенко
)
Propositional proof complexity
(
Д. М. Ицыксон
)
Selected topics in circuit complexity
(
А. Головнёв
)
Tarski's Algorithm
(
Ю. В. Матиясевич
)
The history of DNA and protein structures research: from the French revolution to modern bioinformatics
(
А. А. Шпильман
)
Type inhabitation problems and their decidability
(
Д. Н. Москвин
)
Using C++ efficiently
(
В. М. Лесин
)
Efficient parallel algorithms: BSP method
(
А. В. Тискин
)
Fair division protocols
(
Д. В. Мусатов
)
Parallel computing using MPI, OpenMP, OpenACC standards
(
А. А. Ивахненко
)
Seminar on Computer Science
(
А. С. Куликов
)
Spectral graph theory
(
Д. Д. Черкашин
)
The Glasgow Haskell Compiler: theory of programming languages at work
(
В. Н. Брагилевский
)
Autumn 2016
Spring 2017
Approximation algorithms
(
М. Н. Вялый
)
Data visualization
(
А. Б. Дайняк
)
Engineering shortest path algorithms
(
В. Осипов
)
Informational search
(
И. Е. Марков
,
А. С. Ярыгина
)
Introduction to Theoretical Computer Science
(
Д. М. Ицыксон
,
Д. О. Соколов
)
Seminar on Computer Science
(
А. С. Куликов
)
Sublinear alhorithms
(
Н. А. Карпов
)
Algorithms for High-Dimensional Data
(
И. Разенштейн
)
Boolean Functions Complexity
(
А. А. Кноп
)
Communication Complexity
(
Н. К. Верещагин
)
Computing on GPU. Main approaches, architecture, optimizations
(
А. А. Ивахненко
)
Expanders and Their Applications
(
А. Е. Ромащенко
)
Graph Algorithms and Continuous Optimization
(
A. Mądry
)
Longest Paths in Graphs: Parameterized Algorithms
(
S. Saurabh
)
Machine translation
(
Д. Талбот
)
Methods and Systems for Big Data Processing
(
И. В. Пузыревский
)
Modern algorithms for parallel, streaming and query-based data processing
(
Г. Ярославцев
)
Programming with Dependent Types in Idris
(
В. Н. Брагилевский
)
Selected Topics in Network Flows
(
М. А. Бабенко
)
Streaming Algorithms
(
М. Капралов
)
Autumn 2015
Spring 2016
Algorithms for sparse Fourier transform
(
М. Капралов
)
Mini-courses by Professors of Lugano University
(
F. Pedone
,
Н. Шарыгина
)
Parameterized Algorithms
(
И. А. Близнец
)
Quantum cryptography, hashing, and digital signature
(
Ф. М. Аблаев
)
Seminar on Computer Science
(
А. С. Куликов
)
Communication Complexity
(
И. А. Михайлин
)
From compact representations to algorithms for big data
(
И. Разенштейн
)
Hub Labeling Algorithm
(
А. Гольдберг
)
Reproducible Data Science
(
Н. А. Казеев
,
А. Е. Устюжанин
)
Seminar on Computer Science
(
А. С. Куликов
)
Theoretical foundations of cryptography
(
Д. М. Ицыксон
)
Autumn 2014
Spring 2015
Advanced chapters of algorithms, part 1
(
С. В. Копелиович
,
П. Ю. Маврин
)
Boolean Functions Complexity
(
В. В. Подольский
)
Foundations of computability and complexity theory
(
Д. М. Ицыксон
,
Д. О. Соколов
)
Parameterized Algorithms using Matroids
(
S. Saurabh
)
Streaming algorithms
(
В. В. Опарин
)
Cryptography protocols
(
А. П. Давыдов
,
С. И. Николенко
)
Introduction to information theory
(
А. Е. Ромащенко
)
Lovasz local lemma and probabilistic method
(
А. Х. Шень
)
Principles and interpretation of dynamic programming languages
(
Р. А. Попов
)
Probabilistic methods in computations
(
Д. М. Ицыксон
)
Word combinatorics and its applications
(
А. М. Шур
)
Autumn 2013
Spring 2014
Algorithms for NP-hard problems
(
А. С. Куликов
)
A survey of automated theorem proving
(
J. Harrison
)
Discrete Mathematics
(
Е. С. Краско
,
А. В. Пастор
)
Introduction to CUDA. OpenACC Standard
(
А. А. Ивахненко
)
Introduction to Theoretical Computer Science
(
Д. М. Ицыксон
)
What can be done with real numbers and cannot be done with integers
(
Ю. В. Матиясевич
)
Bugs in C++
(
К. С. Серебряный
)
Computational Geometry
(
К. В. Вяткина
)
Concurrent programming
(
Е. Л. Калишенко
)
Seminar on parameterized algorithms
(
С. В. Копелиович
,
Е. С. Краско
,
А. С. Куликов
,
И. А. Михайлин
,
Ф. В. Фомин
)
Suffix trees: new ideas and open problems
(
Т. А. Стариковская
)
Visualization of graphs
(
А. Б. Дайняк
)
Autumn 2012
Spring 2013
Algorithms in the external memory
(
М. А. Бабенко
)
Efficient parallel algorithms: BSP method
(
А. В. Тискин
)
Foundations of computability and complexity theory
(
Д. М. Ицыксон
,
Д. О. Соколов
)
Image and video analysis, Part 1
(
Н. С. Васильева
)
Probabilistically checkable proofs
(
Д. М. Ицыксон
)
Selected Topics in Computer Science
(
А. Х. Шень
)
Seminar on Computer Science
(
А. С. Куликов
)
Algorithms in Bioinformatics
(
Н. И. Вяххи
)
Game theory
(
И. В. Кацев
)
Seminar on Computer Science
(
А. А. Кноп
,
А. С. Куликов
,
И. А. Михайлин
,
А. В. Уланов
)
The computational complexity and foundations of cryptography
(
Д. М. Ицыксон
,
В. В. Опарин
)
Autumn 2011
Spring 2012
Boolean Functions Complexity
(
И. А. Близнец
,
А. А. Кноп
,
А. С. Куликов
,
И. А. Михайлин
)
Computability and logic
(
Д. М. Ицыксон
)
Computer graphics
(
В. А. Галинский
)
Inroduction to combinatorics on words
(
А. Э. Фрид
)
Models of web graphs and their applications
(
А. М. Райгородский
)
Seminar on Computer Science
(
B. Livshits
,
М. Капралов
,
И. Е. Куралёнок
,
А. Охотин
,
А. В. Смаль
)
Coding Theory
(
А. Е. Ромащенко
)
Informational search
(
Д. Расковалов
)
Introduction to Metamathematics
(
А. Бовыкин
)
Local Decoding
(
С. Еханин
)
Probabilistic methods in computations
(
Д. М. Ицыксон
)
Seminar on Computer Science
(
А. С. Куликов
)
The computational complexity and foundations of cryptography
(
Э. А. Гирш
)
Verification of the parallel and distributed systems
(
Ю. Г. Карпов
)
Autumn 2010
Spring 2011
Functional programming
(
Е. Р. Кирпичёв
)
Graph Isomorphism Problem
(
И. Н. Пономаренко
)
Ontologies
(
Б. Ю. Конев
)
Program Analysis for Security
(
B. Livshits
)
Proof complexity
(
Э. А. Гирш
)
Search query analysis
(
П. Браславский
)
Semantic classification of images
(
А. Конушин
)
Seminar on Computer Science
(
А. С. Куликов
)
Synchronizing Automata
(
М. В. Волков
)
Computer Vision and OpenCV
(
В. Л. Ерухимов
)
Linear programming
(
М. А. Бабенко
)
Parameterized Algorithms
(
Ф. В. Фомин
)
Quantum algorithms
(
М. Н. Вялый
)
Seminar on Computer Science
(
А. С. Куликов
)
Systems of typed lambda calculi
(
Д. Н. Москвин
)
Autumn 2009
Spring 2010
Algorithms for NP-hard problems
(
А. С. Куликов
)
Cryptography protocols
(
С. И. Николенко
)
Formal Languages
(
А. Охотин
)
Mathematical Foundations of Computer Science
(
Д. М. Ицыксон
)
Computer Vision
(
В. Лемпицкий
)
Distributed Information Retrieval
(
F. Crestani
)
Dynamic Game Theory
(
Д. В. Мусатов
,
А. В. Савватеев
)
From Object Replication to Database Replication
(
F. Pedone
)
Graph Algorithms
(
А. Гольдберг
)
Hardware Verification
(
А. А. Кожевников
)
Hilbert's tenth problem. Solution and applications in Computer Science
(
Ю. В. Матиясевич
)
Introduction to Bionformatics
(
М. Капущевский
)
Matchings
(
М. А. Бабенко
)
Model Based Testing
(
В. Кулямин
)
Software Verification
(
Н. Шарыгина
)
Ubiquitous Computing - Vision, Technology, and Implications
(
M. Langheinrich
)
Virtualization and virtual machines
(
Н. Иготти
)
Autumn 2008
Spring 2009
Algorithmic Information Theory
(
А. Х. Шень
)
Auctions
(
С. И. Николенко
)
Introduction to Theoretical Computer Science
(
Д. М. Ицыксон
)
Structural Complexity Theory
(
Э. А. Гирш
)
Tarski's Algorithm
(
Ю. В. Матиясевич
)
Communication Complexity
(
Н. К. Верещагин
)
Concurrent programming
(
Р. Елизаров
)
Expanders and Their Applications
(
А. Е. Ромащенко
)
Hardness vs Randomness
(
Д. М. Ицыксон
)
Seminar on Computer Science
(
М. Э. Дворкин
,
Н. Иготти
,
А. С. Куликов
,
Ю. М. Лифшиц
)
Autumn 2007
Spring 2008
Efficient algorithms
(
А. С. Куликов
)
Introduction to Theoretical Computer Science
(
Д. М. Ицыксон
)
Introduction to Verification
(
Б. Ю. Конев
)
Cryptographic hash-functions
(
И. Миронов
)
Cryptography
(
Э. А. Гирш
)
Distributed Algorithms
(
F. Pedone
)
Machine Learning
(
С. И. Николенко
)
Networking
(
A. Carzaniga
)
Software Testing
(
M. Pezze
)
Software Verification
(
Н. Шарыгина
)
Web Research
(
Ю. М. Лифшиц
)
