Joel Ouaknine

URI: https://gptkb.org/entity/Joel_Ouaknine

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:Oxford_University gptkb:Oxford_University_Computing_Laboratory
gptkbp:award	gptkb:ERC_Grant gptkb:Royal_Society_Wolfson_Research_Merit_Award gptkb:EATCS_Presburger_Award
gptkbp:doctoralAdvisor	gptkb:James_Worrell
gptkbp:editor	gptkb:Logical_Methods_in_Computer_Science gptkb:Information_and_Computation gptkb:Acta_Informatica
gptkbp:employer	gptkb:Max_Planck_Institute_for_Software_Systems
gptkbp:field	gptkb:mathematics computer science
gptkbp:formerPosition	gptkb:University_of_Oxford gptkb:professor
gptkbp:knownFor	gptkb:theoretical_computer_science model checking verification timed automata linear recurrence sequences
gptkbp:memberOf	gptkb:Academia_Europaea
gptkbp:nationality	gptkb:French British
gptkbp:occupation	gptkb:computer_scientist
gptkbp:position	gptkb:film_director
gptkbp:bfsParent	gptkb:Bill_Roscoe
gptkbp:bfsLayer	6
https://www.w3.org/2000/01/rdf-schema#label	Joel Ouaknine