стране электронную аналоговую вычислительную машину для решения систем обыкновенных
дифференциальных уравнений, которые часто встречаются в задачах, связанных с энергетикой.
Под его руководством:
были созданы и внедрены в производство еще две ламповые ЭВМ — БЭСМ-2 и М-20. В 60-х годах были созданы полупроводниковые варианты М-20: БЭСМ-3М, БЭСМ-4, М-220. При проектировании БЭСМ-6 впервые был применен метод предварительного имитационного моделирования работы операционной системы будущей ЭВМ, что позволило найти ряд решений по организации вычислительного процесса, которые обеспечили невиданное в истории вычислительной техники долголетие БЭСМ-6;
в 1948—1950 годах была разработана первая в СССР и континентальной Европе Малая электронно-счётная машина (МЭСМ);
были созданы 15 типов ЭВМ, начиная с ламповых (БЭСМ-1, БЭСМ-2, М-20) и заканчивая современными суперкомпьютерами на интегральных схемах.
Пробный пуск машины МЭСМ