Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:Technical_University_of_Madrid
|
| gptkbp:award |
gptkb:ACM_Fellow
gptkb:ERC_Advanced_Grant |
| gptkbp:employer |
gptkb:IMDEA_Software_Institute
gptkb:Technical_University_of_Madrid |
| gptkbp:field |
computer science
logic programming parallel computing program analysis |
| gptkbp:knownFor |
research in logic programming
research in program analysis Ciao programming system |
| gptkbp:member |
gptkb:Academia_Europaea
|
| gptkbp:nationality |
gptkb:Spanish
|
| gptkbp:occupation |
gptkb:computer_scientist
|
| gptkbp:position |
Director of IMDEA Software Institute
Professor at Technical University of Madrid |
| gptkbp:bfsParent |
gptkb:IMDEA_Software_Institute
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Manuel Hermenegildo
|