• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Contacts

125319, Moscow,
3 Kochnovsky Proezd (near metro station 'Aeroport'). 

Phone: +7 (495) 772-95-90 *12332

Email: computerscience@hse.ru

 

Administrations

Dean Ivan Arzhantsev

First Deputy Dean Tamara Voznesenskaya

Deputy Dean for Research and International Relations Sergei Obiedkov

Deputy Dean for Methodical and Educational Work Ilya Samonenko

Deputy Dean for Development, Finance and Administration Irina Plisetskaya

Colloquium

For a researcher in a diverse and quickly developing area of knowledge such as computer science, it is important to maintain a broad perspective and strive to understand what colleagues in related fields are studying. This requires a platform where specialists can meet and tell each other about their latest findings in a common language. Such a platform is the Colloquium of HSE's Faculty of Computer Science. This platform is a faculty-wide academic seminar designed for teachers and research staff, graduate and undergraduate students, as well as those who are interested in computer science.

Colloquium meetings are held on Tuesdays in the Faculty of Computer Science building at Kochnovsky Proezd, 3, lecture hall 205, 2nd floor.

NB: a somewhat more detailed web page is available in Russian here.

Registration

2018 – 2019

March 26, 18:10 – 19:30 
Kochnovskii proezd, 3, room 205

Konstantin Yakovlev (Federal Research Center «Computer Science and Control» / HSE)

From Start to Goal: How Mobile Robots Plan Their Paths (Methods and Algorithms)

Games on graphs and on trees have been used in the fields of semantics and verification. Usually, they are defined as sequential games, where a play is a sequence of moves by the players.

The ability to move is the key feature of mobile intelligent agents such as mobile robots. No wonder that the problem of autonomous naviga-tion has been extensively studied in robotics and artificial intelligence. One of the prominent approaches is to decompose the navigation task into a series of subtasks such as localization, mapping, path planning, trajectory following, etc. In this talk, we will focus on one of such tasks, namely, on path planning (aka path finding), and will explore modern methods and algorithms tailored to solve it.

Colloquium

Registration



October 16, 18:10 – 19:30 
Kochnovskii proezd, 3, room 205

Luca Bernardinello (University of Milano-Bicocca)

Asynchronous games for Petri nets

Games on graphs and on trees have been used in the fields of semantics and verification. Usually, they are defined as sequential games, where a play is a sequence of moves by the players.

However, when synthesizing or analyzing distributed systems, in which events happen concurrently and the global state is not observable, this approach is not always appropriate, since concurrency is hidden in the interleaving of events. Therefore, several kinds of games in which the players can move asynchronously have been proposed in recent years. I will present an attempt to define such a game, originally conceived in order to tackle the problem of “observable liveness”, in which an agent tries to control a Petri net so that a given transition will fire over and over, assuming that only a subset of the transitions is directly controllable.

Colloquium

Registration



September 11, 18:10 – 19:30
Kochnovskii proezd, 3, room 205

Joseph MacInnes

Head of vision modelling lab / HSE

Computational cognitive neuroscience: A brief primer

Computational models in psychology and neuroscience share many algorithms with machine learning, machine vision and artificial intelligence, but the focus of the research is different. Where applied fields try to create algorithms that solve or automate a specific problem, computational modelling uses these algorithms to better understand fundamental workings of human brain and cognition. Rather than optimizing a new process, we try to simulate and understand an existing process. While computational modelling is still a growing field, there have emerged a number of contenders that perform very well in simulating various neural and cognitive processes. Diffusion models of decision making, salience models of vision and more recently deep learning models of object classification have all shown promise on their respective tasks. This talk will give an overview of a number of these models and discuss possible points of overlap with computer science and cognitive psychology.

Colloquium

Registration


Сolloquium in 2017/2018


Сolloquium in 2016/2017


Сolloquium in 2015/2016