About: Tim Teitelbaum

Property	Value
dbo:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:Carnegie_Mellon_University
dbo:birthDate	1943-04-12 (xsd:date)
dbo:birthName	Ray Teitelbaum (en)
dbo:description	американський науковець у галузі комп'ютерних технологій (uk) American computer scientist (en) Amerikaans informaticus (nl) informaticien américain (fr) عالِم حاسوب من الولايات المتحدة الأمريكية (ar) informáticu teóricu estauxunidense (ast)
dbo:doctoralAdvisor	dbr:Nico_Habermann
dbo:doctoralStudent	dbr:Thomas_W._Reps dbr:William_Pugh_(computer_scientist) dbr:Yanhong_Annie_Liu dbr:Susan_B._Horwitz
dbo:institution	dbr:French_Institute_for_Research_in_Computer_Science_and_Automation dbr:Cornell_University dbr:GrammaTech
dbo:wikiPageExternalLink	http://www.cs.cornell.edu/info/people/tt/tim_teitelbaum.html http://dl.acm.org/citation.cfm%3Fid=804050
dbo:wikiPageWikiLink	dbr:Functional_programming dbc:American_computer_scientists dbr:Lambda_calculus dbr:Cornell_University dbr:Massachusetts_Institute_of_Technology dbr:SQL dbr:Attribute_grammar dbr:Programming_tool dbr:Integrated_development_environment dbr:Association_for_Computing_Machinery dbc:1943_births dbc:American_male_non-fiction_writers dbc:Cornell_University_faculty dbc:Living_people dbr:Static_program_analysis dbr:Program_transformation dbc:Carnegie_Mellon_University_alumni dbc:Computer_science_writers dbc:Massachusetts_Institute_of_Technology_alumni dbc:Programming_language_researchers dbr:Programming_language dbc:American_textbook_writers dbr:Computer_scientist dbr:Source_code dbr:Carnegie_Mellon_University dbr:GrammaTech dbr:PL/C dbr:Dynamic_program_analysis dbr:Nico_Habermann dbr:Thomas_W._Reps dbr:Execution_(computing) dbr:Machine_code dbr:William_Pugh_(computer_scientist) dbr:Yanhong_Annie_Liu dbr:Institut_National_de_Recherche_en_Informatique_et_en_Automatique dbr:SIGSOFT dbr:Susan_B._Horwitz dbr:Formal_semantics_of_programming_languages dbr:Dynamic_Algorithms dbr:Structure_editing dbr:PL/CS
dbp:almaMater	dbr:Massachusetts_Institute_of_Technology dbr:Carnegie_Mellon_University
dbp:birthDate	1943-04-12 (xsd:date)
dbp:birthName	Ray Teitelbaum (en)
dbp:doctoralAdvisor	dbr:Nico_Habermann
dbp:doctoralStudents	dbr:Thomas_W._Reps dbr:William_Pugh_(computer_scientist) dbr:Yanhong_Annie_Liu dbr:Susan_B._Horwitz
dbp:name	Tim Teitelbaum (en)
dbp:thesisTitle	Minimum Distance Analysis of Syntax Errors in Computer Programs (en)
dbp:thesisUrl	http://dl.acm.org/citation.cfm%3Fid=804050
dbp:thesisYear	1975 (xsd:integer)
dbp:website	http://www.cs.cornell.edu/info/people/tt/tim_teitelbaum.html
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Reflist dbt:Infobox_scientist dbt:Birth_date_and_age dbt:Use_mdy_dates dbt:Short_description
dbp:workplaces	dbr:Cornell_University dbr:GrammaTech Institut National de Recherche en Informatique et en Automatique in Rocquencourt, France (en)
dct:subject	dbc:American_computer_scientists dbc:1943_births dbc:American_male_non-fiction_writers dbc:Cornell_University_faculty dbc:Living_people dbc:Carnegie_Mellon_University_alumni dbc:Computer_science_writers dbc:Massachusetts_Institute_of_Technology_alumni dbc:Programming_language_researchers dbc:American_textbook_writers
gold:hypernym	dbr:Scientist
schema:sameAs	http://viaf.org/viaf/8113401
rdf:type	owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 wikidata:Q901 dbo:Animal dbo:Eukaryote dbo:Species schema:Person
rdfs:label	Tim Teitelbaum (en)
owl:sameAs	freebase:Tim Teitelbaum http://viaf.org/viaf/8113401 yago-res:Tim Teitelbaum wikidata:Tim Teitelbaum https://dblp.org/pid/t/TimTeitelbaum http://data.bibliotheken.nl/id/thes/p074327100 dbpedia-global:Tim Teitelbaum
prov:wasDerivedFrom	wikipedia-en:Tim_Teitelbaum?oldid=1230091518&ns=0
foaf:homepage	http://www.cs.cornell.edu/info/people/tt/tim_teitelbaum.html http://www.cs.cornell.edu/info/people/tt/tim_teitelbaum.html
foaf:isPrimaryTopicOf	wikipedia-en:Tim_Teitelbaum
foaf:name	Tim Teitelbaum (en)
is dbo:doctoralAdvisor of	dbr:Thomas_W._Reps dbr:William_Pugh_(computer_scientist) dbr:Yanhong_Annie_Liu dbr:Susan_B._Horwitz
is dbo:wikiPageWikiLink of	dbr:List_of_Cornell_University_faculty dbr:GrammaTech dbr:PL/C dbr:Loop_invariant dbr:Thomas_W._Reps dbr:List_of_programming_language_researchers dbr:William_Pugh_(computer_scientist) dbr:Yanhong_Annie_Liu dbr:Susan_B._Horwitz
is dbp:doctoralAdvisor of	dbr:Thomas_W._Reps dbr:William_Pugh_(computer_scientist) dbr:Yanhong_Annie_Liu dbr:Susan_B._Horwitz
is foaf:primaryTopic of	wikipedia-en:Tim_Teitelbaum