БИОГРАФИЯ В. Л. Селиванова

Общие сведения

Владение иностранными языками

Английский (свободно), немецкий (читаю и могу объясняться).

Образование

1969.09-1974.06. Студент Казанского государственного университета. Специальность «Прикладная математика».

1974.09-1977.10. Аспирант Казанского государственного университета (кафедра теоретической кибернетики). Специальность «Теория вычислимости». Научные руководители: М. М. Арсланов и Р. Г. Бухараев.

1979.03. Присуждена степень кандидата физико-математических наук. Диссертация «О вычислимых нумерациях» защищена в Новосибирском государственном университете (научные руководители М. М. Арсланов и Р. Г. Бухараев).

1988.07. Присвоено ученое звание доцента (по кафедре алгебры).

1990.05. Присуждена степень доктора физико-математических наук. Диссертация «Иерархическая классификация арифметических множеств и индексные множества» защищена в Институте Математики Сибирского Отделения Академии Наук СССР.

1993.03. Присвоено ученое звание профессора (по кафедре математической логики и информатики).

Основная работа

1978.01-1980.06. Ассистент кафедры высшей математики Ульяновского политехнического института.

1980.09-1982.09. Ассистент кафедры прикладной математики Казанского химико-технологического института.

1982.10-1986.09. Старший преподаватель кафедры алгебры и теории чисел Новосибирского педагогического института.

1986.10-1990.04. Доцент кафедры алгебры и теории чисел Новосибирского педагогического института.

1990.05-1991.08. Профессор кафедры алгебры и теории чисел Новосибирского педагогического института.

1991.09-наст. время. Профессор и заведующий кафедрой математической логики и информатики (ныне кафедра информатики и дискретной математики) Новосибирского педагогического университета.

Дополнительная работа

1990-1993. Ведущий научный сотрудник отдела математической логики Института Математики СО РАН им. С. Л. Соболева (полставки).

1998-наст. время. Ведущий научный сотрудник лаборатории теоретического и экспериментального программирования Института Систем Информатики СО РАН им. А. П Ершова (полставки).

1993.04-1994.12. Гостевой исследователь кафедры математической логики Хайдельбергского университета (Гepмaния).

1999 (Февраль-Апрель). Гостевой исследователь кафедры теоретической информатики Аахенского технического университета (Германия).

2001 (Январь-Март). Гостевой исследователь кафедры теоретической информатики Вюрцбургского университета (Германия).

2001 (Ноябрь-Декабрь) Гостевой исследователь кафедры теоретической информатики Зигенского университета (Германия).

2002 (Май-Октябрь) Гостевой профессор кафедры теоретической информатики Зигенского университета (Германия).

2003 (Ноябрь). Гостевой исследователь в Институте информатике Вюрцбургского университета, Германия, кафедра теоретической информатики.

2003 (Декабрь)-2004(Январь). Гостевой исследователь в университетах Дармшадта и Зигена, Германия.

2004 (Август)-2004(Сентябрь). Гостевой исследователь Дармштадтского университета, Германия, кафедра алгебры и логики.

2004 (Декабрь). Гостевой исследователь кафедры теоретической информатики Вюрцбургского университета (Германия).

2005 (май-июнь). Гостевой профессор университета Париж-7, лаборатория теории теории автоматов и теоретической информатики.

2005 (октябрь). Гостевой исследователь университета Зиген, Германия (кафедра теоретической информатики).

2006 (июнь-декабрь). Гостевой профессор кафедры теоретической информатики Вюрцбургского университета (Германия).

Гранты и стипендии

Стипендия фонда Александра Гумбольдта 1993-1994 г.

Стипендия Немецкого Исследовательского Сообщества 2001 г.

Стипендия Немецкой Службы Академических Обменов 2001 г..

Грант Российского Фонда Фундаментальных Исследований (РФФИ) 1996-1998 г. (руководитель гранта).

Грант по математике Министерства Образования России 1998-2000 г. (руководитель гранта).

Грант РФФИ 2000-2002 г. (руководитель гранта).

Совместный грант РФФИ-ИНТАС 1999-2001 г. (исполнитель гранта).

Совместный грант РФФИ и Немецкого Исследовательского Сообщества 2001-2003 (исполнитель).

Грант Немецкой Службы Академических Обменов 2005-2007 г.

Позиция гостевого профессора Немецкого Исследовательского Сообщества 2006-2007.

Редактирование научных журналов

Бюллетень Института Систем Информатики СО РАН им. А. П. Ершова.

Преподавательская работа

24-летний опыт преподавания различных разделов математики и информатики для студентов и аспирантов в вузах, где я работал, включая Новосибирский государственный университет, в том числе таких разделов, как: математический анализ, аналитическая геометрия, вероятность и статистика, численные методы, основы информатики, программирование, алгебра и теория чисел, математическая логика, теория вычислимости, теория автоматов, дискретная математика, динамические системы и фракталы, интернет-технологии в образовании.

Под моим руководством защищены 5 кандидатских диссертаций и много дипломных работ.

Мною написано несколько учебных пособий и методических разработок по математической логике, теории вероятностей, алгебре и информатике.

Награды

В 2000 г. присвоено звание «Заслуженный работник высшей школы Российской Федерации».

Участие в конференциях

Член программного комитета международной конференции <Domains-8> (Новосибирск, 2007).

Член программного комитета международной конференции <Computer Science Russia> (Екатеринбург, 2007).

Участник множества национальных и международных конференций по алгебре, логике и информатике, включая:

Всесоюзная конференция по математической логике (Москва, 1986, приглашенный доклад),

Всесоюзная конференция по математической логике (Ленинград, 1988, приглашенный доклад),

International Symposium for Foundations of Computation Theory (Kazan, Russia, 1987),

International Congress for Logic, Methodology and Philosophy of Science (Moscow, Russia, 1987),

International Congress for Logic, Methodology and Philosophy of Science (Uppsala, Sweden, 1991),

Joint Meeting of the American Mathematical Society and of the Deutsche Mathematische

Vereinigung (Heidelberg, Germany, 1993),

International Symposium for Theoretical Aspects of Computer Science (Caen, France, 1994),

International Workshop on Computability Theory (Oberwolfach, Germany, 1996),

Международная конференция «Мальцевские чтения» (Новосибирск, 1999, приглашенный доклад),

International Symposium for Theoretical Aspects of Computer Science (Dresden, Germany, 2001),

International Workshop «Computability and models» (Novosibirsk, 2001, invited talk),

International Workshop «Computability and Complexity in Analysis» (Dagstuhl, Germany, 2001),

International Symposium for Theoretical Aspects of Computer Science (Berlin, Germany, 2003).

International Workshop on Computability and Complexity in Analysis (Lutherstadt-Wittenberg, Germany, 2004).

International Workshop on Spatial Representations (Dagstuhl, Germany, 2004).

International Workshop Domains-7 (Darmstadt, Germany, 2004).

International Conference on Infinite Games (Bonn, Germany, 2004).

International Conference <Computability in Europe> (Swansea, Great Britain, 2006).

Лекции по приглашению

Мною прочитано много лекций по приглашению различных университетов, включая:

The University of Heidelberg, Germany (Department of Mathematics),

The University of Karlsruhe, Germany (Department of Computer Science),

The University of Wuerzburg, Germany (Department of Computer Science),

The University of Hagen, Germany (Department of Computer Science),

Technical University of Aachen, Germany (Department of Computer Science),

The University of Kiel, Germany (Department of Computer Science),

The University of Halle, Germany (Department of Computer Science),

The University of Stuttgart, Germany (Department of Computer Science),

The University of Tuebingen, Germany (Institute of Computer Science),

The University of Siegen, Germany (Department of Mathematics and Computer Science),

The University of Duisburg, Germany (Department of Computer Science),

The University of Darmstadt, Germany (Chair of Algebra and Logic),

The Military University of Munich, Germany (Department of Computer Science),

The University of Leeds, Great Britain (Department of Mathematics),

The University of Leicester, Great Britain (Department of Mathematics and Computer Science),

The University of Manchester, Great Britain (Department of Computer Science),

The University of Siena, Italy (Department of Mathematics and Computer Science),

The University of Amsterdam, Netherlands (Department ofMathematics and Computer Science),

The University of Marne-la-Valle, France (Department of Computer Science),

The University of Athens, Greece (Department of Philosophy).

Другие формы работы

Действительный член Академии Информатизации Образования.

Член Американского математического общества,

Рецензент международных и Российских журналов по математике и информатике, включая:

Theoretical Computer Science,

The Journal of Automata, Langu.ages and Combinatorics,

RAIRO Theoretical Informatics and Applications,

Archive of Mathematical Logic,

Алгебра и логика,

Сибирский математический журнал,

Известия вузов (математика).

В различное время был

референтом журнала Mathematical Reviews,

членом Ассоциации символической логики,

членом Европейской ассоциации теоретической информатики.

В. Л. Селиванов

Новосибирск

Январь 2007 г.