Georgy Lukyanov
Formal verification of spacecraft control programs.
Email: g.lukyanov2@ncl.ac.uk
Supervisors
- Dr Andrey Mokhov
- Dr Danil Sokolov
- Professor Alex Yakovlev
Project description
My PhD project considers how to apply automation in interactive theorem proving and function programming. These are used for formal verification of spacecraft control programs.
Publications
See an up-to-date list of my publications on Google Scholar.
Interests
Formal software verification, functional programming.
Qualifications
MSc in Computer Science
Website: geo2a.info/