Németi István

Németi IstvánAz 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.

Az NJSZT által adományozott kitüntetés: