Fondator al școlii de algebra logicii și teoria algebrica a mecanismelor automate, precum și al studiilor de logica polivalentă și logică nuanțata, care au stat la baza realizării primelor calculatoare românești; contribuții remarcabile la dezvoltarea informaticii în România și la formarea primelor generații de informaticieni.
Matematician român, profesor la Universitatea din București, membru al Academiei Române. Membru al Academiei de Științe din Bologna și al Institutului internațional de filosofie.
A publicat lucrări în domeniile analizei matematice, algebrei, logicii matematice, geometriei, mecanicii.
Deosebit de valoroase sunt contribuțiile aduse de Grigore Moisil în domeniul teoriei algebrice a mecanismelor automate.
A elaborat metode noi de analiza si sinteza a automatelor finite, precum si o teorie structurala a acestora.
Moisil a adus o contribuție însemnată la introducerea și folosirea primelor mașinii electronice de calcul în țara noastră.
Lucrări: „La mecanique analytique des systemes continus” (1929), „Logique modale” (1942), „Introducere în algebra” (1954), „Teoria algebrică a mecanismelor automate” (1959), „Circuite cu tranzistori” (2 vol, 1961- 1962).
Tema de Mate 