Natasha Sharygina
http://usi.to/fqf
Courses
- Computer Aided Verification, Sharygina N., Asadi S., SA 2021-2022
- Fundamentals of Informatics, Sharygina N., Britikov K., Buckley A., SP 2022
- Theory of Computation, Sharygina N., Blicha M., Britikov K., SP 2022