J. Tiuryn

URI: https://gptkb.org/entity/J._Tiuryn
GPTKB entity
Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:birthYear 1950
gptkbp:employer gptkb:University_of_Warsaw
gptkbp:field gptkb:logic
theoretical computer science
gptkbp:fullName gptkb:Janusz_Tiuryn
https://www.w3.org/2000/01/rdf-schema#label J. 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 6