Natasha Sharygina
http://usi.to/fqf
Corsi
- Computer Aided Verification, Sharygina N., Labbaf F., SA 2025-2026
- Computer Aided Verification, Sharygina N., SA 2026-2027
- Fundamentals of Informatics, Sharygina N., Labbaf F., Leopardi F., SA 2025-2026
- Fundamentals of Informatics, Sharygina N., SA 2026-2027
- Theory of Computation, Sharygina N., Labbaf F., Leopardi F., SP 2026
- Theory of Computation, Sharygina N., SP 2027
