Statements (64)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:physicist
gptkb:Mathematician |
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Iași
|
| gptkbp:alma_mater |
gptkb:University_of_Bucharest
|
| gptkbp:associated_with |
gptkb:Romanian_Academy
gptkb:Academy_of_Sciences_of_Romania |
| gptkbp:awards |
gptkb:church
|
| gptkbp:birth_date |
1906-01-01
|
| gptkbp:contribution |
development of computing in Romania
|
| gptkbp:death_date |
1973-01-21
|
| gptkbp:field |
gptkb:computer_science
gptkb:Mathematician |
| https://www.w3.org/2000/01/rdf-schema#label |
Grigore Moisil
|
| gptkbp:influenced |
gptkb:microprocessor
gptkb:Artificial_Intelligence gptkb:quantum_computing gptkb:software gptkb:language gptkb:software_framework gptkb:Cloud_Computing_Service gptkb:project gptkb:technology gptkb:currency agile methodologies big data database systems theoretical computer science algorithm design computer vision data structures human-computer interaction information theory operating systems software maintenance bioinformatics data mining computational theory mathematical logic network theory formal languages numerical analysis software testing software engineering information security systems theory discrete mathematics computational biology software development methodologies software project management logic programming Romanian education system mathematical foundations of computer science Dev Ops practices computer science in Romania programming languages design |
| gptkbp:known_for |
contributions to mathematical logic
founding Romanian computer science |
| gptkbp:nationality |
gptkb:Romanian
|
| gptkbp:work |
gptkb:language
cybernetics theory of automata Moisil's algebra Moisil's theorem |