Результаты поиска по тегу «Автоматные модели» 1 результат

• Доцент Калифорнийского университета в Сан-Диего — об актуальных задачах улучшения языков программирования

  Выпускница Университета ИТМО, assistant professor в Калифорнийском университете в Сан-Диего Надежда Поликарпова провела для сотрудников и аспирантов международной научной лаборатории «Компьютерные технологии» семинар, на котором рассказала о своих исследованиях в области синтеза программ. Научная работа по повышению эффективности языков и средств программирования ведется учеными по всему миру постоянно, в частности, в области автоматизации некоторых аспектов разработки программного обеспечения. Задачи по этой проблематике Надежда решает в своей научной группе в США, вопросами из той же области занимаются и ученые Университета ИТМО. Надежда Поликарпова рассказала ITMO.NEWS о своей работе и возможностях сотрудничества с исследователями из альма-матер.

  29.08.2018