Анализ и верификация алгоритмов биржевой торговли

О курсе

Курс читается для студентов 3-го курса ПМИ в 3 модуле. Лекции и семинары ведет Ростислав Яворский

Правила выставления оценок

Итоговая оценка формируется из четырех частей:

• (25%) Тесты и самостоятельные работы на семинарах
• (25%) Выступление на семинаре + видеопрезентация по теме "Биржа, деривативы, финансовый риск-менеджмент"
• (25%) Обзор литературы по теме "Методы и инструменты формальной верификации программ"
• (25%) 10 рецензий на работы однокурсников

Предварительный список тем для доклада

Выступили

• Участники биржевой торговли - Полонская Диана, 23.01 - Ok
• Определение курсовой стоимости и доходности - Баталова Екатерина - Ок
• Модель Блэка-Шоулза - Замылин Сергей, 23.01 - Отложили
• New York Stock Exchange - история, структура, правила - Деркач Денис, 23.01 - Ok
• Клиринговая деятельность - Саркисян Вероника, 30.01 - Ок
• Биномиальная модель оценки опционов - Ямилов Айбулат, 30.01 - Ок
• Процентный своп, риски, оценка стоимости - Ваньков Даниил, 30.01 - Ок
• Экзотические опционы - Кохтев Вадим, 30.01 - Ок

План

• Разновидности облигаций - Белов Иван, 23.01
• NASDAQ Stock Exchange - история, структура, правила - Лучков Роман, 23.01
• Валютный своп, риски, оценка стоимости - Шафаростов Артём, 30.01
• Стратегии управления портфелем ценных бумаг - Бульдяев Александр, 30.01
• London Stock Exchange - история, структура, правила - Гиркин Валерий, 6.02
• Московская биржа - история, структура, правила - Игошин Антон, 6.02
• Рейтинг акций - Королёв Сергей, 6.02
• Опционные стратегии - Ломов Ильдар, 6.02
• Волатильность - Скворцов Григорий, 6.02
• Опционные контракты - Анвардинов Шариф, 13.02
• Доходность и риск портфеля ценных бумаг - Мартынов Максим, 13.02
• Фундаментальный анализ - Гильмутдинов Михаил, 13.02
• Технический анализ (индикаторы) - Лисичкин Александр, 13.02
• Технический анализ (шаблоны) - Романов Алексей, 13.02
• Погодные производные - Ярослав Сергиенко, 20.02
• Форвардные контракты - Сахабутдинов Артём, 20.02
• Фьючерсные контракты - Цимбалюк Руслан, 20.02
• Фьючерсные контракты на процентные ставки - Смолев Владимир, 20.02
• Американские опционы - Титова Анна, 20.02
• Европейские опционы - Аветисян Кристина, 27.02
• Хеджирование - Бардуков Анатолий - 27.02
• Высокочастотная торговля - Полевой Сергей - 27.02

Возможности

• Американские и глобальные депозитарные расписки -
• Сертификация "Financial risk management"
• Федеральная комиссия по рынку ценных бумаг

Лекции

Лекция №1

Лекция

Семинары

Семинар №1

Самостоятельная работа №1. Time value of money. Ответы

Семинар №2

Самостоятельная работа №2. Формализация на языке первого порядка

Семинар №4

Самостоятельная работа №4. Формальные системы логического вывода