On August 21 Artem Revenko defended his thesis on ‘Automatic Construction of Implicative Theories for Mathematical Domains’ at the Faculty of Computer Science at Dresden University of Technology.
News


While some graduates are preparing for MA enrollment exams, others have already received confirmation from international universities. Graduates from the Faculty of Computer Science tell us about their decision to continue their studies abroad, the enrollment procedure, computer science courses available in international universities, and the role of fundamental math in studying economics.


Faculty Instructor Sergey Bartunov is beginning a three-month internship at DeepMind, a research division of Google. During his time with the company, Bartunov will develop new neural network architectures and methods.