Professor Ranko Lazic

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:employer gptkb:University_of_Warwick
gptkbp:field computer science
theoretical computer science
formal verification
model checking
https://www.w3.org/2000/01/rdf-schema#label Professor Ranko Lazic
gptkbp:nationality British
gptkbp:notableWork research on model checking
research on automata theory
gptkbp:occupation gptkb:computer_scientist
gptkb:professor
gptkbp:title Professor of Computer Science
gptkbp:bfsParent gptkb:Department_of_Computer_Science,_University_of_Warwick
gptkbp:bfsLayer 7