П.: инж.-электрик; зав. каф. САПР МГГУ, зав. каф. Мор. НИИ радиоэлектроники "Альтаир"; Орг.: МГГУ; АОрг.: 119991, г. Москва, Ленинский пр-т, д. 6, аудитория Б-531, каф. САПР; Р.: 19.04.1939, г. Москва; СП.: Валентина Алексеевна (1941) - вед. инж. НПО "Геофизика"; Дет.: Марина (1963) - доцент МГИУ, Александр (1973) - проф. МГГУ, автор конструктивного решения 13-й проблемы Д. Гильберта; Род.: Афанасий Иванович (1900-47), Мария Федоровна (1900-83); О.: 1963 - МЭИ, ф-т автоматики и вычисл. техники (с отл.); 1966 - аспирантура МЭИ, защита канд. дис., тема: "Общий подход к синтезу логических структур", канд. техн. наук.; 1973 - защита докт. дис., тема: "Теория и практика проектирования систем логического управления", д. т. н.; 1974 - проф.; 1980 - д. ф.-м. н.; 1993 - д. э. н.; К.: 1966-71 - МЭИ, каф. вычисл. техники, асс., доцент; 1971-84 - МИФИ, каф. кибернетики, доцент, проф.; с 1973 - Мор. НИИ радиоэлектроники "Альтаир", зав. каф.; с 1984 - МГГУ, зав. каф. САПР; ОД.: 2 детей; автор теории характеризационного анализа, обеспечившей значительный вклад в ускорение науч.-техн. прогресса и явившейся основой науч. шк. В.А. Горбатова по информ. математике; автор разработок, получивших бол. практ. применение в информатике - теории частично упорядоченных систем, в которой решена проблема оптимального уменьшения функциональной связности модели при проектировании бол. и сложных систем при разл. предметных интерпретациях; автор нов. интеллектуальной информ. технологии решения проблемных задач бол. размерности на дискретных структурах; соавтор разраб. и внедрения в разл. обл. нар. хоз-ва САПР, системных, семантических приклад. программных пакетов и инструментальных компьютерных ср-в; впервые обеспечено свойство "зрячести" формальным преобразованиям; подготовил свыше 100 кандидатов и докторов наук в обл. информатики, вычисл. техники, экономики; Пб.: автор и соавтор более 400 науч. трудов, из них 35 книг, в т. ч. 17 учебников и уч. пособ., 18 моногр. по дискретной математике, информатике и вычисл. технике; ряд моногр. переведен на англ., исп., нем., кит., болг., пол. яз., в т. ч. "Схемы управления ЦВМ и графы" (1971), "Семантическая теория проектирования автоматов" (1979), "Теория частично упорядоченных систем" (1976), "Логическое управление технологическими процессами" (1978), "Регулярные структуры автоматного управления" (1980), "Логическое управление информационными процессами" (1984), "Логическое управление распределенными системами" (1991), "Фундаментальные основы дискретной математики" (1999, 2001), "Дискретная математика" (2003, 2006) и др.; Н.: лаур. межд. премии фон Неймана, лаур. приемии ООН, награжден поч. дипломом През. АН СССР, медалями ВДНХ, медалью лаур. Нобелевской премии П.Л. Капицы (как автор науч. открытия), медалью Петра I "За заслуги в деле возрождения науки и экономики России", Георгиевским крестом I степ. "За заслуги в деле развития науки и экономики России", именной медалью ООН, межд. прем. и зол. медалью ООН "За бол. вклад в обл. информатизации мирового сообщества", медалью лаур. премии им. А. Чижевского и мн. др.; Ч.: вице-през. Межд. академии информатизации, ак. РАЕН, 1-й вице-през. Межд. академии информ. наук и ак. АМТН, ак. АНН, ак. АПБОП, чл. бюро секции "Информатика, кибернетика" РАЕН, чл. ряда редколлегий, в т. ч. журн. "Информ. технологии", гл. ред. журн. "Информ. математика"; с 1977 провел более 40 всерос. и межд. симпозиумов, конференций и конгрессов, пред. программно-организационного ком. Всесоюз. симпозиума "Логическое упр. с использованием ЭВМ", пред. координац. совещания "Мат. обеспечение интеллектуальных систем САПР-ГАП", на котором обсуждаются основные теор. и практ. достижения науч. шк. В.А. Горбатова (проводится ежегодно с 1977 г. по линии Совета по кибернетике АН СССР, а в последующем - под эгидой др. науч. орг.); У.: работа; Яз.: англ.; Email: sasha_asp@mail.ru;