J. Tiuryn

URI: https://gptkb.org/entity/J._Tiuryn

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:birthYear	1950
gptkbp:employer	gptkb:University_of_Warsaw
gptkbp:field	gptkb:theoretical_computer_science gptkb:logic
gptkbp:fullName	gptkb:Janusz_Tiuryn
gptkbp:nationality	Polish
gptkbp:notableStudent	gptkb:Mikołaj_Bojańczyk
gptkbp:occupation	gptkb:computer_scientist
gptkbp:position	gptkb:professor
gptkbp:bfsParent	gptkb:Propositional_Dynamic_Logic
gptkbp:bfsLayer	7
http://www.w3.org/2000/01/rdf-schema#label	J. Tiuryn