José Meseguer

URI: https://gptkb.org/entity/José_Meseguer

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Barcelona gptkb:University_of_Zaragoza
gptkbp:awardReceived	gptkb:Fellow_of_the_American_Association_for_the_Advancement_of_Science gptkb:Fellow_of_the_Association_for_Computing_Machinery gptkb:Fellow_of_the_European_Association_for_Theoretical_Computer_Science
gptkbp:birthPlace	gptkb:Spain
gptkbp:doctoralAdvisor	gptkb:Solomon_Marcus
gptkbp:employer	gptkb:University_of_Illinois_at_Urbana-Champaign
gptkbp:field	formal methods concurrency theory logic in computer science
gptkbp:knownFor	gptkb:Maude_system rewriting logic
gptkbp:nationality	gptkb:Spanish
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:position	gptkb:professor
gptkbp:bfsParent	gptkb:Maude_system
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	José Meseguer