Nikolai Kudasov

Innopolis University leads research on handling identifiers in programming languages.

A hands-on course to understand type systems in programming using Stella.

Learn how to use Haskell for relational programming to handle data efficiently.