Финляндия

Последнее изменение: 23/12/2011 00:00:00

Здесь партнером кафедры является факультет математики университета Турку (University of Turku). Научные связи с ним установились относительно недавно, в начале 2000-х годов, но сразу набрали высокую интенсивность. Причиной этого послужила как географическая близость Турку, так и тематическая близость исследований по компьютерным наукам и биоинформатике, проводимых в Турку и в Екатеринбурге. Кроме того, университет Турку отлично финансируется, что позволяет финским коллегам часто проводить международные конференции и семинары, приглашать специалистов для консультаций и научной работы, и т. п. В течение короткого времени Турку посетили (и не по одному разу) многие сотрудники, аспиранты и студенты кафедры: Д.С.Ананичев, М.В.Волков, В.В.Гусев, Ю.И.Закс, Д.О.Конончук, И.А.Михайлова, Е.В.Прибавкина, А.М.Шур. Д.О.Конончук и И.А.Михайлова прошли стажировку в Турку, сейчас там на стажировке находятся В.В.Гусев и Е.В.Прибавкина. С другой стороны, ряд сотрудников факультета математики университета Турку посетили Екатеринбург в связи со 2-м международным симпозиумом по информатике в России. Для финансирования контактов использовались как различные финские и европейские программы (в том числе программа Финского центра международной мобильности и программа Erasmus Mundus), так и гранты Минобрнауки (в том числе в рамках инновационно-образовательной программы УрГУ).

Профессор университета Турку Ярко Кари (Jarkko Kari) и М.В.Волков совместно написали главу «Синхронизируемые автоматы» для справочной книги по теории автоматов.

Патриархом компьютерных наук и биоинформатики в Финляндии является академик Арто Саломаа (Arto Salomaa). Его имя хорошо известно в нашей стране благодаря переводам двух его монографий: «Жемчужины теории формальных языков» и «Криптография с открытым ключом». Сотрудники кафедры организовали перевод на русский язык еще одной книги академика Саломаа (написанной в соавторстве с Георгом Пауном и Гжегожем Розенбергом) - первой в мире монографии по молекулярным вычислениям «ДНК-компьютер: новая парадигма вычислений».

Смотрите также: