Сафонов Владимир Олегович

Год рождения: 2 ноября 1954. Родился, живет и работает в Санкт-Петербурге.

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

Ученое звание: профессор

Должность: профессор кафедры информатики, заведующий лабораторией Java-технологии математико-механического факультета Санкт-Петербургского государственного университета (СПбГУ).

В 1977 г. окончил с отличием математико-механический факультет Ленинградского государственного университета (ныне - СПбГУ).

С 1977 г. по настоящее время работает на мат.-мех. факультете СПбГУ.

В 1981 г. защитил кандидатскую диссертацию.

С 1981 г. - младший научный сотрудник.

С 1984 г. - старший научный сотрудник.

С 1989 г. - заведующий лабораторией.

В 1991 г. (в 37 лет) защитил докторскую диссертацию.

В 1994 г. (в 39 лет) получил ученое звание профессора.

Лауреат Премий Правительства Санкт-Петербурга (1999) и Санкт-Петербургского государственного университета (2010) за циклы научных трудов.

В 1970-х - 1980-х гг. был руководителем крупного проекта по разработке трансляторов с языков Паскаль, CLU, Модула-2, РЕФАЛ, АБВ, SNOBOL-4, FORTH-83 для отечественных многопроцессорных вычислительных комплексов (МВК) "Эльбрус".

В 1987 г. разработал официальный текст стандарта языка программирования Паскаль СССР и СЭВ.

В 1980-х - 1990-х гг. разработал язык инженерии знаний Турбо-Эксперт - расширение языка Турбо Паскаль - и ряд экспертных систем для ВМФ и медицины.

В 1992 - 2002 гг. был научным руководителем группы сотрудников СПбГУ по разработке и сопровождению программного обеспечения (компиляторов, инструментальных средств, Java-технологии) фирмы Sun Microsystems. Выполнил уникальный проект по модернизации и ускорению промышленного компилятора Sun Pascal на основе собственных оригинальных методов компиляции.

С 2003 г. сотрудничает с Microsoft Research, Panasonic Research и другими ведущими фирмами. Имеет уникальный 18-летний опыт руководства международными проектами в области разработки программного обеспечения.

Почетные звания и награды:

- Почетный работник высшей школы РФ (2002)

- Медаль в память 300-летия Санкт-Петербурга (2003)

- International Scientist of the Year 2008 (International Biographical Centre, Великобритания)

- International Educator of the Year 2009 (IBC, Великобритания)

- Man of the Year (American Biographical Institute, США)

- Pinnacle Achievement Award (2010, American Biographical Institute, США).

В 2011 г. избран членом-корреспондентом РАЕ по секции "Технические науки".

Области деятельности и основные научные направления:

- аспектно-ориентированное программирование

- инженерия надежных и безопасных программ

- компиляторы и языки программирования

- инженерия знаний

- параллельное программирование

- Java-технология

- платформа .NET

Наиболее известные проекты:

- Aspect.NET — инструментарий аспектно-ориентированного

программирования для Microsoft.NET(http://www.aspectdotnet.org);

используется в 26 странах мира

- Knowledge.NET — инструментарий инженерии знаний для Microsoft.NET на основе расширения C# онтологиями, фреймами и наборами правил (http://www.knowledge-net.ru)

- Parallel Dwarfs - разработка и реализация параллельных алгоритмов решения классических задач прикладной математики

с использованием технологий Microsoft

(http://paralleldwarfs.codeplex.com).

Международное признание:

- биография опубликована в справочниках:

Who Is Who in the World

Who Is Who in America

Who Is Who in Science and Engineering

2000 Outstanding Intellectuals of the 21st Century

Great Minds of the 21st Century

International Profiles of Accomplished Leaders

Dictionary of International Biography

- биография опубликована на академическом сайте Microsoft (2007)

- избран IEEE Senior Member (2007)

- избран IEEE Distinguished Lecturer (2007 — 2009)

- номинирован на престижную международную награду IEEE Emanuel Piore Award (2011)

Служебный телефон: +7 (812) 428-4214

Научные публикации

Автор 145 публикаций, в том числе - 11 книг, 4 патентов РФ и 4 патентов США в области компиляторов и технологии программирования, 16 Интернет-курсов, 58 статей в ведущих российских и зарубежных научных журналах

1. Safonov V.O. Trustworthy Compilers. Wiley Interscience, John Wiley & Sons, Inc., 2010.

2. Safonov V.O. Aspect-oriented programming and Aspect.NET as security and privacy tools for

Web and 3D Web programming. Chapter 11. - In: Security in Virtual Worlds, 3D Webs, and Immersive Environments: Models for Development, Interaction, and Management. Prof. Alan Rea Ed., IGI Global, 2011, 221-262.

3. Safonov V.O. Using aspect-oriented programming for trustworthy software development. Wiley Interscience, John Wiley & Sons, Inc., 2008.

4. Сафонов В.О. Основы современных операционных систем. - М.: ИНТУИТ.РУ. БИНОМ. Лаборатория знаний, 2011, 584 с.

5. Сафонов В.О. Введение в Java-технологию. — СПб.: Наука, 2002.

Сафонов В.О. Языки и методы программирования в системе "Эльбрус", М.: Наука, 1989.

6. Сафонов В.О. Java-технология: история, состояние и перспективы. — Компьютерные инструменты в образовании, 2003, № 4.

7. Сафонов В.О. Платформа Microsoft.NET: принципы, возможности, перспективы. — Компьютерные инструменты в образовании, 2004, № 4.

8. Сафонов В.О. и др. Интеграция методов инженерии знаний и инженерии программ: система управления знаниями Knowledge.NET. - Компьютерные инструменты в образовании, 2005, № 5.

9. Сафонов В.О. и др. Язык обработки знаний Турбо-Эксперт. — Кибернетика и системный анализ, 1991, № 5.

10. Сафонов В.О. Экспертные системы — интеллектуальные помощники специалистов. — СПб, Знание, 1992.

11. Safonov V.O. TrustSPBU.NET: Extending university courses on .NET, compilers, software engineering and OS by trustworthy computing content. .NET Developer’s Journal, March 2007.

12. Safonov V.O. SPBU.NET – principles and experience of teaching Microsoft.NET, compilers, software engineering and OS. .NET Developer’s Journal, February 2006

13. Safonov V.O. Aspect.NET – a new approach to aspect-oriented programming. .NET Developers Journal, April 2003.

14. Safonov V.O. Aspect.NET – concepts and architecture. .NET Developers Journal, October 2004.

Safonov V.O., Grigoriev D.A. Aspect.NET – aspect-oriented programming for Microsoft.NET in practice. .NET Developers Journal, July 2005.

15. Safonov V.O. Method and apparatus for compiler symbol table organization with no lookup in semantic analysis. USA Patent No. 5701490. Publication date: 1997-12-23

16. Safonov V.O. Method and apparatus for efficient evaluation of semantic attributes in LALR parsing. USA Patent No. 5892951. Publication Date: 1999-04-06.

17. Safonov V.O. Method and apparatus for record fields usage checking at compile time. USA Patent No. 5758163. Publication date: 1998-05-26.

18. Safonov V.O. TIP technology and its application to SPARCompiler Pascal. USA Patent No. 6305011. Publication date: 2001-10-16.

19. Сафонов В.О. Основы современных операционных систем. Учебный курс для студентов университетов. http://www.intuit.ru/department/os/bmos/

Сафонов Владимир Олегович имеет награды

---