Igor Zhirkov

Igor Zhirkov teaches his highly successful “System Programming Languages” course at ITMO University in Saint Petersburg, the university which is now a seven-time winner of the ACM-ICPC Intercollegiate World Programming Championship. Igor studied at Saint-Petersburg Academic University and received his master degree from ITMO University. Currently, he is doing research in verified C refactorings as part of his PhD thesis and formalization of Bulk Synchronous Parallelism library in C at IMT Atlantique in Nantes, France. His main interests are low-level programming, programming language theory, and type theory.

https://www.linkedin.com/in/igorzhirkov/