Statements (17)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:person
|
gptkbp:almaMater |
gptkb:Saarland_University
|
gptkbp:employer |
gptkb:Amazon_Web_Services
|
gptkbp:fieldOfWork |
formal methods
software verification program analysis |
gptkbp:formerPosition |
gptkb:SRI_International
|
https://www.w3.org/2000/01/rdf-schema#label |
Igor Klebanov
|
gptkbp:nationality |
gptkb:German
gptkb:Russian |
gptkbp:notableWork |
gptkb:Boogie_verification_tool
SMT-based software verification VCC verification tool |
gptkbp:occupation |
gptkb:computer_scientist
gptkb:researchers |
gptkbp:bfsParent |
gptkb:Dirac_Medal
|
gptkbp:bfsLayer |
5
|