Jeden z pionierów informatyki w Polsce, profesor Uniwersytetu Warszawskiego i Instytutu Podstaw Informatyki PAN. Jeden z inicjatorów utworzenia w 1948 roku Grupy Aparatów Matematycznych, która dała początek rozwojowi informatyki w Polsce. Konstruktor pierwszego polskiego komputera XYZ w 1958 roku i twórca języka EOL - jednego z pierwszych na świecie języków do automatyzacji oprogramowania komputerów. Zmarł 5 marca 2013 roku.
