Аспектно-ориентированное программирование, инженерия надежных и безопасных программ, компиляторы, инженерия знаний; аспектно-ориентированное программирование, компиляторы, надежные и безопасные вычисления, управление знаниями, параллельное программирование, Java, .NET

Окончил с отличием математико-механический факультет ЛГУ в 1977 г. С 1977 г. работает в Ленинградском (Санкт-Петербургском) университете на мат.-мех. факультете, с 1977 г. – инженер, с 1981 г. – м.н.с, с 1984 г. – с.н.с, с 1989 г. – зав. лабораторией, с 1994 г. – профессор кафедры информатики.

Руководит лабораторией Java-технологии. Защитил кандидатскую диссертацию в 1981 г., докторскую – в 1991 г. Ученое звание профессора получил в 1994 г. В 1999 г. удостоен Премии Правительства Санкт-Петербурга, в 2010 г. – Премии Санкт-Петербургского университета за циклы научных работ. Почетный работник высшей школы. Удостоен почетных званий:
– International Scientist of the Year 2008,
– International Educator of the Year 2009 (International Biographical Centre, Великобритания);
– Man of the Year 2008 (American Biographical Institure).

Научная биография опубликована в международных справочниках:
– Who's Who in the World
– Who's Who in America
– Who's Who in Science and Engineering
– Great Minds of the XXI Century
– 2000 Outstanding Intellectuals of the XXI Century
– Accomplished Leaders of the XXI Century.

Имеет более 120 публикаций, в том числе – 10 книг (2 из них на английском языке), 4 патента РФ и 5 патентов США, 16 Интернет-курсов.

Наиболее известные проекты:
– Aspect.NET (http://www.aspectdotnet.org),
– Knowledge.NET (http://www.knowledge-net.ru),
– Parallel Dwarfs (http://paralleldwarfs.codeplex.com).

1. Safonov V.O., Trustworthy Compilers, Quantitative Software Engineering, John Wiley & Sons, Hoboken, NJ, 2010, 295 pp.
2. Safonov V.O., Using aspect-oriented programming for trustworthy software development, John Wiley & Sons, Hoboken, NJ, 2008, 338 pp.
3. Сафонов В.О., Введение в Java-технологию, Наука, СПб., 2002, 187 с.
4. Сафонов В.О., Языки и методы программирования в системе “Эльбрус”, Наука, М., 1989, 388 с.
5. Сафонов В.О., Экспертные системы – интеллектуальные помощники специалистов, Знание, СПб, 1992, 32 с.

• Санкт-Петербургский государственный университет, математико-механический факультет