Natasha Sharygina
http://usi.to/fqf
Courses
- Computer Aided Verification, Sharygina N., Britikov K., SA 2023-2024
- Computer Aided Verification, Sharygina N., Britikov K., SA 2024-2025
- Fundamentals of Informatics, Sharygina N., Britikov K., Buckley A., Labbaf F., SA 2023-2024
- Fundamentals of Informatics, Sharygina N., Buckley A., Labbaf F., SA 2024-2025
- Theory of Computation, Sharygina N., Bortolotti A., Britikov K., Labbaf F., Villa T., SP 2024
- Theory of Computation, Sharygina N., SP 2025