Физтех:

• ТРЯП
• АМВ
• Матан

НИУ ВШЭ:

• Дискретная математика

ВМК:

• Формальные языки

CV

Публикации