Шошмина Ирина Владимировна

Доцент Высшая школа программной инженерии

 

Адрес

194021, Санкт-Петербург, ул. Политехническая, д. 21, - 9 корпус СПбПУ, оф. 105

Тел

+7(812)2970729

e-mail ishoshmina at dcn dot icc dot spbstu dot ru
Spin Ринц1212-1417
ScopusID23475292400

 

Область исследовательских интересов

  • моделирование встроенных систем управления
  • формальная верификация распределенных систем и алгоритмов
  • формальная спецификация встроенных систем управления
  • дистанционное образование

Членство в профессиональных организациях

ACM - c 2017года

Расписание 

    Часы занятий 

    Если  требуется консультация или встреча, то пишите заранее по указанному электронному адресу, чтобы обнаружить меня в офисе.

    Студенты! Не забывайте подписываться именем, фамилией, номером группы, названием дисциплины

    Читаемые курсы 

    • Математическая логика (практика - бакалавры, магистры)
    • Математическая логика (дистанционный курс Математическая логика  - бакалавры, магистры)
    • Теория автоматов и формальных языков (курсовая работа - бакалавры)
    • Верификация параллельных и распределенных программных систем (практика - магистры)
    • Распределенные алгоритмы (лекции и практика - бакалавры)

    Общие требования, предъявляемые к сдаваемым курсовым работам и зачетам

    1. Во время семестра в согласованное с преподавателем время можно приходить консультироваться по любому из выше перечисленных курсов.
    2. При согласии преподавателя курсовую работу можно сдавать в середине семестра.
    3. Общее количество попыток сдачи зачета и курсовой - 3 раза. Оно не зависит от времени сдачи зачета или курсовой (т. е. от того, сдаете ли Вы ее во время семестра, или в зачетную неделю).
    4. Во время посещения можно ИЛИ консультироваться, ИЛИ сдавать курсовую работу. Нельзя сделать и то, и другое в одно посещение.
    5. СПбПУ установлены правила сдачи курсовых работ
    6. Обращаю внимание на следующие обязательные компоненты, требуемые вузом, без которых я не принимаю курсовые работы:
      1. отчет в электронном виде (не присылайте мне его по почте - приносите на носителе, когда приходите сдавать), оформленный согласно положению о курсовых работах (ссылка выше). В частности, должно быть соблюдено оформление, название вуза, института, кафедры, предмета, сохранена требуемая структура, список литературы должен содержать 5 источников, должны быть ссылки в тексте на элементы списка литературы,
      2. титульный лист отчета в печатном виде с вашей подписью,
      3. скан титульного листа отчета с Вашей подписью на белом фоне
    7. Требования к содержанию отчетов. В отчете не надо "воды", отчет должен содержать информацию, демонстрирующую Вашу квалификацию как инженера при выполнении курсовой. Отчет должен содержать преимущественно ВАШ текст (90%). Все заимствования чужого текста должны быть оформлены как цитаты, должны быть даны ссылки на соответствующие источники литературы. Иное оформление является нарушением авторских прав и называется плагиатом. В случае обнаружения плагиата  курсовая работа не засчитывается.
    8. Количество групп в осеннем семестре 2019 г.  - 13 штук. Зачеты по всем предметам семестра на зачетной неделе идут одновременно у всех групп. Если не хотите стоять в длинной очереди, то сдавайте курсовую работу раньше (это приветствуется).
    9. Тот, кто не сдал зачет или курсовую в сессию (день, назначенный по расписанию), получит следующую попытку уже в дополнительную сессию. Никаких сдач вне расписания  экзаменационной сессии не производится.

     

     

    Публикации

    References
    3.
    Шошмина, И.В.
    Технология проектирования и верификации распределенных встроенных бортовых систем
    In Сухомлин В.А., editor, IV Международная научно-практическая конференция "Современные информационные технологии и ИТ-образование" , page 464-471.
    Publisher: М.:ИНТУИТ.РУ,
    December 2009
    2.
    Шошмина, И.В.; Богданов, А.В.
    Использование Grid-технологий для проведения вычислений
    Вестник СПбГУ, 4:75-82
    2007
    1.
    Krzhizhanovskaya, V.V., Korkhov, V.V., Tirado-Ramos, A., Groen, D.J., Shoshmina, I.V., Valuev, I.A., Morozov, I.A., Malyshkin, N.V., Gorbachev, Y.E.; Sloot, P.M.A.
    Computational Engineering on the Grid: Crafting a Distributed Virtual Reactor
    Second IEEE International Conference on e-Science and Grid Computing (e-Science'06)
    Amsterdam
    December 2006
    Page:  
    Previous | 1, 2 | Next