Németi István

Az Erőterv-ben része volt egy komplex nagyméretű programrendszer sikerének. A Prolog hazai megvalósításának előfutára. Társaival kifejlesztették a nemsztenderd-idejű dinamikus logikát. A relativisztikus számítógép kutatás egyik megalapozója és kutatója.