Courses

Term Beginning date Course title Lecturer #Lectures Language
1 Spring 2015 Saturday, April 4, 2015 Introduction to information theory 10 Russian
2 Spring 2015 Wednesday, March 18, 2015 Word combinatorics and its applications 12 Russian
3 Spring 2015 Sunday, February 15, 2015 Randomized methods in computations 12 Russian
4 Spring 2015 Wednesday, February 11, 2015 Cryptographic Protocols 20 Russian
5 fall 2014 Sunday, September 21, 2014 Parameterized Algorithms using Matroids 3 English
6 Fall 2013 Saturday, September 28, 2013 A survey of automated theorem proving 5 English
7 Fall 2012 Saturday, September 22, 2012 Selected topics of Computer Science 10 Russian
8 Spring 2012 Saturday, June 16, 2012 Local Decoding 5 Russian
9 Spring 2012 Saturday, March 24, 2012 Coding Theory 10 Russian
10 Spring 2012 Sunday, February 19, 2012 Randomized methods in computations 12 Russian
11 Spring 2012 Tuesday, February 14, 2012 Computational complexity and foundations of cryptography 12 Russian
12 fall 2011 Saturday, October 15, 2011 Inroduction to combinatorics on words 5 Russian
13 fall 2011 Sunday, September 18, 2011 Computer Science seminar (fall 2011) 12 Russian
14 fall 2011 Sunday, September 18, 2011 Boolean Functions Complexity Seminar 12 Russian
15 fall 2011 Sunday, September 18, 2011 Computer graphics 12 Russian
16 fall 2011 Sunday, September 11, 2011 Models of web graphs and their applications 3 Russian
17 Spring 2011 Saturday, April 16, 2011 Linear programming 10 Russian
18 Spring 2011 Saturday, April 2, 2011 Quantum algorithms 10 Russian
19 Spring 2011 Saturday, March 19, 2011 Parameterized Algorithms 4 Russian
20 Spring 2011 Sunday, February 27, 2011 Systems of typed lambda calculi 12 Russian
21 Spring 2011 Sunday, February 20, 2011 Computer Science seminar (spring 2011) 10 Russian
22 Spring 2011 Sunday, February 20, 2011 Computer Vision and OpenCV 3 Russian
23 Fall 2010 Sunday, October 17, 2010 Program Analysis for Security 3 English
24 Fall 2010 Sunday, October 10, 2010 Graph Isomorphism Problem 10 Russian
25 Fall 2010 Saturday, September 25, 2010 Ontologies 10 Russian
26 Fall 2010 Sunday, September 12, 2010 Functional Programming 12 Russian
27 Fall 2010 Thursday, September 9, 2010 Proof complexity 12 Russian
28 Spring 2010 Wednesday, August 18, 2010 Ubiquitous Computing - Vision, Technology, and Implications 3 English
29 Spring 2010 Friday, May 28, 2010 Distributed Information Retrieval 2 English
30 Spring 2010 Saturday, May 22, 2010 Software Verification 2 English
31 Spring 2010 Saturday, May 22, 2010 From Object Replication to Database Replication 2 English
32 Spring 2010 Saturday, May 8, 2010 Introduction to Bionformatics 8 Russian
33 Spring 2010 Sunday, May 2, 2010 Computer Vision 2 Russian
34 Spring 2010 Sunday, April 25, 2010 Model Based Testing 3 Russian
35 Spring 2010 Sunday, April 11, 2010 Dynamic Game Theory 2 Russian
36 Spring 2010 Saturday, April 3, 2010 Matchings 5 Russian
37 Spring 2010 Sunday, February 21, 2010 Hardware Verification 2 Russian
38 Spring 2010 Sunday, February 14, 2010 Hilbert's tenth problem. Solution and applications in Computer Science 10 Russian
39 Spring 2010 Sunday, February 14, 2010 Virtualization and virtual machines 12 Russian
40 Spring 2010 Sunday, January 31, 2010 Graph Algorithms 3 Russian
41 Fall 2009 Saturday, October 10, 2009 Formal Languages 10 Russian
42 Fall 2009 Sunday, September 20, 2009 Cryptographic Protocols 11 Russian
43 Fall 2009 Sunday, September 20, 2009 Mathematical Foundations of Computer Science 11 Russian
44 Fall 2009 Sunday, September 13, 2009 Algorithms for NP-hard Problems 12 Russian
45 Spring 2009 Saturday, March 28, 2009 Expanders and Their Applications 10 Russian
46 Spring 2009 Saturday, February 28, 2009 Communication Complexity 10 Russian
47 Spring 2009 Sunday, February 22, 2009 Parallel Programming 7 Russian
48 Spring 2009 Sunday, February 22, 2009 Computer Science Seminar 11 Russian
49 Spring 2009 Sunday, February 15, 2009 Hardness vs Randomness 12 Russian
50 Fall 2008 Sunday, October 5, 2008 Auctions 12 Russian
51 Fall 2008 Sunday, September 28, 2008 Structural Complexity Theory 12 Russian
52 Fall 2008 Sunday, September 21, 2008 Introductory Course 2 Russian
53 Fall 2008 Sunday, September 7, 2008 Tarski Algorithm 2 Russian
54 Fall 2008 Monday, June 9, 2008 Algorithmic Information Theory 10 Russian
55 Spring 2008 Saturday, May 17, 2008 Cryptographic hash-functions 5 Russian
56 Spring 2008 Friday, May 9, 2008 Web Research 4 Russian
57 Spring 2008 Thursday, May 1, 2008 Software Verification 4 English
58 Spring 2008 Thursday, May 1, 2008 Software Testing 3 English
59 Spring 2008 Saturday, April 26, 2008 Networking 3 English
60 Spring 2008 Saturday, April 26, 2008 Distributed Algorithms 4 English
61 Spring 2008 Sunday, March 2, 2008 Machine Learning 11 Russian
62 Spring 2008 Sunday, February 17, 2008 Cryptography 8 Russian
63 Fall 2007 Sunday, October 21, 2007 Introduction to Verification 10 Russian
64 Fall 2007 Sunday, September 23, 2007 Efficient Algorithms 12 Russian
65 Fall 2007 Sunday, September 23, 2007 Introductory Course 4 Russian