Konstantin Britikov
https://usi.to/baz7
Corsi
- Computer Aided Verification, Sharygina N., Britikov K., SA 2022-2023
- Fundamentals of Informatics, Sharygina N., Britikov K., Buckley A., SA 2022-2023
- Theory of Computation, Sharygina N., Britikov K., Stojceski F., SP 2023
