• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
+7(495) 772-9590 доб. 22913
E-mail:
Timetable
Download CV (PDF, 89 Kb)
SPIN-RSCI: 9198-6383
ORCID: 0000-0001-7154-138X
ResearcherID: K-1430-2015
Scopus AuthorID: 23092161300
Google Scholar
Supervisor
I. Arzhantsev
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Vladimir V. Podolskii

  • Vladimir V. Podolskii has been at HSE since 2014.

Education and Degrees

  • 2009

    Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
    Lomonosov Moscow State University

  • 2009

    Postgraduate programme in Algebra, logic and number theory
    Lomonosov Moscow State University, Mathematical Logic and Theory of Algorithms

  • 2006

    Diploma in Mathematics
    Lomonosov Moscow State University, Mathematical Logic and Theory of Algorithms

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Awards and Accomplishments

Best Teacher – 2017, 2015

Courses (2017/2018)

Courses (2016/2017)

Courses (2015/2016)

Courses (2014/2015)

Conferences

  • 2015
    32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015) (Garching). Presentation: Tropical Effective Primary and Dual Nullstellens"atze
  • The 10th International Computer Science Symposium in Russia (Listvyanka). Presentation: Circuit Complexity Meets Ontology-Based Data Access

Publications15

Timetable for today

Full timetable

HSE Launches Two New Specializations in Computer Science on Coursera 

‘Introduction to Discrete Mathematics for Computer Science’ and ‘Advanced Machine Learning’ are English-language specializations, both created with the support of the top Russian IT firm Yandex, while the specialization ‘Introduction to Discrete Mathematics for Computer Science’ was developed with the involvement of the University of California at San Diego.

Conference "Mathematical logic, algebra and computation"

On July 18-19 a conference “Mathematical logic, algebra and computation" was held in Moscow. It was organized by the Steklov Mathematical Institute of Russian Academy of Science. The conference was dedicated to the 85th anniversary of academician S. I. Adian.

Computer Science Faculty Staff Attend Symposium in Russia

On June 9-13, the international conference ‘Computer Science Symposium in Russia 2016’ was held in St. Petersburg as part of the Special Semester on Computational and Proof Complexity.

10th International Computer Science Symposium in Russia

On July 13th-17th 2015, the 10th International Computer Science Symposium in Russia took place. The largest conference on theoretical informatics in Russia was organized by Irkutsk State University, the Higher School of Economics and Yandex. Vladimir Podolskii, Associate Professor at the Big Data and Information Retrieval School took part in the event as guest speaker. Maxim Babenko, Head of the Joint Department with Yandex also delivered a report during the event.

Faculty of Computer Science to Offer Courses during HSE Summer University

Computer Science programme of the Summer University provides unique opportunities for students from around the world. The programme covers various topics in Computer Science from purely theoretical to applied and practical. Theoretical side of the programme includes both a detailed introduction to the theory of computations and more advanced topics in Artificial Intelligence and Statistical Diagnosis. Practical aspects of the programme are tightly integrated with theoretical material. Participants of the programme will have an opportunity to apply the new knowledge in their own programming experience, for example, in processing of natural languages, creating a distributed computing system or implementing a compiler for a programming language.