Matematikus, számítógéptudós
Matematikus diplomáját 1957-ben szerezte az ELTÉ-n;.az MTA kibernetikai kutatója lett. Egyik elkészítője volt az M-3 nevű, szovjet tervezésű első magyar számítógépnek (1959). Akkor még nagy sebességűnek számított a két másodpercenkénti egyetlen matematikai művelet. Dömölki "Formális nyelvek szintaktikai elemzése" címmel Moszkvában szerzett kandidátusi minősítést (1966). Az ő vezetése mellett érte el a magyar szoftver nemzetközi elismertségét: MProlog. A kutatás mellett aktív szerepet vállalt a hazai informatikai stratégiai tervek kidolgozásában. Egyik alapítója és másfél évtizedig elnöke volt a Neumann János Számítógép-tudományi Társaságnak. Szívügye volt az informatikai kultúra terjesztése; ő kezdeményezte az Informatikatörténeti Fórumot. (Hujter Mihály)