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

Graduate of the School of Data Analysis and Artificial Intelligence Defends Thesis at TU Dresden

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.

Artem Revenko graduated from the HSE’s master’s programme in mathematical modelling in 2011 and doctoral programme in 2013.

Sergei Kuznetsov, Head of the School of School of Data Analysis and Artificial Intelligence was Artem’s Academic Supervisor during his master’s and doctoral studies. While studying at HSE, Artem also studied at TU Dresden, and hence the latest PhD thesis he defended in Dresden was based on his Moscow work.

The idea offered by Artem is based on Formal Concept Analysis and helps automatically generate formal mathematical theories. Put simply, the software system developed by Artem on the basis of this approach helps to find evidence of two mathematical results from general algebra. A researcher, working manually, might spend up to 3 years one of these results  and 10 years on the other. The thesis committee included two Academic Supervisors, Bernhard Ganter and Gernot Salzer, two experts in computer science and a specialist in the thesis area. Artem’s work was graded as  ‘Magna cum laude’, corresponding to a score of 8 points on the ten-point grading scale.