<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33845> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.raj_reddy>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33845> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33845> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.carnegie_mellon_university>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33845> <http://rdf.freebase.com/ns/business.employment_tenure.from> "1973".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33845> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33c82> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.amir_pnueli>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33c82> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33c82> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.weizmann_institute_of_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33c82> <http://rdf.freebase.com/ns/business.employment_tenure.from> "1981".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33c82> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b68> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.manuel_blum>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b68> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b68> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.university_of_california_berkeley>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b68> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0e34> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.leonard_adleman>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0e34> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0e34> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.university_of_southern_california>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0e34> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0f23> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.william_kahan>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0f23> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0f23> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.university_of_california_berkeley>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0f23> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa1a32> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.peter_naur>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa1a32> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa1a32> <http://rdf.freebase.com/ns/business.employment_tenure.to> "1998".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa1a32> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.university_of_copenhagen>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa1a32> <http://rdf.freebase.com/ns/business.employment_tenure.from> "1969".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa1a32> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
_:vSULIFAY1555 <http://rdf.freebase.com/ns/type.key.namespace> <http://rdf.freebase.com/ns/en>.
_:vSULIFAY1555 <http://rdf.freebase.com/ns/type.value.value> "professor_of_computer_science".
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://www.w3.org/1999/xhtml/vocab#license> <http://creativecommons.org/licenses/by/3.0/>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://creativecommons.org/ns#attributionName> "Source: Freebase - The World's database".
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://creativecommons.org/ns#attributionURL> <http://www.freebase.com/view/en/professor_of_computer_science>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/type.object.key> _:vSULIFAY1555.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/common.topic>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.job_title>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33845>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009f33c82>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b68>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0e34>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0f23>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa1a32>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b5c>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009205072>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000c480e87>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa006c>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/business.job_title.people_with_this_title> <http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000920506d>.
<http://rdf.freebase.com/ns/en.professor_of_computer_science> <http://rdf.freebase.com/ns/type.object.name> "Professor of Computer Science"@en.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b5c> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.michael_o_rabin>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b5c> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b5c> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.hebrew_university_of_jerusalem>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000051b0b5c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009205072> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.andrew_yao>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009205072> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009205072> <http://rdf.freebase.com/ns/business.employment_tenure.to> "1982-09".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009205072> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.university_of_california_berkeley>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009205072> <http://rdf.freebase.com/ns/business.employment_tenure.from> "1981-09".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009205072> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000c480e87> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.edward_feigenbaum>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000c480e87> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000c480e87> <http://rdf.freebase.com/ns/business.employment_tenure.to> "2009".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000c480e87> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.stanford_university>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000c480e87> <http://rdf.freebase.com/ns/business.employment_tenure.from> "1969".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000c480e87> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa006c> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.adi_shamir>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa006c> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa006c> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.weizmann_institute_of_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000009fa006c> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000920506d> <http://rdf.freebase.com/ns/business.employment_tenure.person> <http://rdf.freebase.com/ns/en.andrew_yao>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000920506d> <http://rdf.freebase.com/ns/business.employment_tenure.title> <http://rdf.freebase.com/ns/en.professor_of_computer_science>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000920506d> <http://rdf.freebase.com/ns/business.employment_tenure.to> "1986-06".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000920506d> <http://rdf.freebase.com/ns/business.employment_tenure.company> <http://rdf.freebase.com/ns/en.stanford_university>.
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000920506d> <http://rdf.freebase.com/ns/business.employment_tenure.from> "1982-10".
<http://rdf.freebase.com/ns/guid.9202a8c04000641f800000000920506d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://rdf.freebase.com/ns/business.employment_tenure>.