Andrzej Ehrenfeucht

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

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Warsaw
gptkbp:dateOfBirth	1932-08-08
gptkbp:doctoralAdvisor	gptkb:Andrzej_Mostowski
gptkbp:doctoralStudent	gptkb:David_Eppstein gptkb:Gary_H._Merrill gptkb:Grzegorz_Rozenberg gptkb:Jacek_Cichoń gptkb:Jacek_Leskow gptkb:Jacek_Tyszkiewicz gptkb:Janusz_Brzozowski gptkb:Janusz_Szymański gptkb:Jeanette_Wing gptkb:Leszek_Pacholski gptkb:Marek_Chrobak gptkb:Marek_Karpinski gptkb:Marek_Srebrny gptkb:Pavel_Pevzner gptkb:Ross_Overbeek gptkb:Tomasz_Imieliński gptkb:Wojciech_Rytter gptkb:Zbigniew_Lonc
gptkbp:employer	gptkb:University_of_Colorado_Boulder
gptkbp:fieldOfWork	gptkb:combinatorics gptkb:theoretical_computer_science gptkb:logic bioinformatics formal languages
gptkbp:knownFor	gptkb:Ehrenfeucht–Fraïssé_game gptkb:Ehrenfeucht–Mostowski_theorem gptkb:Ehrenfeucht–Mycielski_sequence
gptkbp:memberOf	gptkb:Polish_Academy_of_Sciences
gptkbp:nationality	Polish
gptkbp:occupation	gptkb:computer_scientist gptkb:mathematician
gptkbp:placeOfBirth	gptkb:Lwów,_Poland
gptkbp:spouse	gptkb:Barbara_Ehrenfeucht
gptkbp:bfsParent	gptkb:Fundamenta_Mathematicae
gptkbp:bfsLayer	5
https://www.w3.org/2000/01/rdf-schema#label	Andrzej Ehrenfeucht