Master 2022/2023

Formal Methods in Software Engineering

Type: Compulsory course (System Programming)

Area of studies: Software Engineering

Delivered by: Joint Department with the RAS Institute for System Programming

Where: Faculty of Computer Science

When: 1 year, 1, 2 module

Mode of studies: offline

Open to: students of all HSE University campuses

Instructors: Nina V. Evtushenko

Master’s programme: System Programming

Language: Russian

ECTS credits: 6

Contact hours: 56