Екатерина Вербицкая — аспирантка матмеха СПбГУ по информатике и исследователь в лаборатории языковых инструментов JetBrains.
На лекции пойдет речь о реляционном программировании: парадигме, в которой программы описывают математические отношения, а, значит, исполняются в разных направлениях. Так можно найти результат по заданным аргументам, и, наоборот, — по аргументам получить заданный результат. Екатерина расскажет о том, как это работает, где применяется, а также об открытых проблемах в области.
Слушателям желательно иметь представление о функциональных языках программирования.
