Georgy is a PhD student at Newcastle University working on formal verification and functional programming.
Talks I've Given
Using Haskell and Symbolic Execution to Verify Spacecraft Control Programs
Featuring Georgy Lukyanov
Verification of correctness of control programs is an essential task in the development of space electronics; it is difficult and typically outweighs design and programming tasks in terms of development hourshaskell automated-theorem-proving symbolic-execution formal-verification