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 |
https://www.w3.org/2000/01/rdf-schema#label |
Manuel Hermenegildo
|
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 |
7
|