Statements (51)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:academicAdvisor |
gptkb:Allen_Newell
|
| gptkbp:affiliation |
gptkb:Carnegie_Mellon_University
|
| gptkbp:awards |
Turing Award
|
| gptkbp:birthDate |
1945-04-27
|
| gptkbp:birthPlace |
gptkb:West_Virginia,_USA
|
| gptkbp:contribution |
gptkb:Computer-Aided_Verification
Formal Verification Hardware Verification Real-Time Systems Distributed Systems Concurrent Systems Model Checking Algorithms Verification Tools Automated Verification State Space Reduction Software Model Checking Abstraction Techniques Safety Verification Formal Methods in Hardware Engineering Liveness Verification Model Checking Tools Model Checking in AI Model Checking in Cloud Computing Model Checking in Cyber-Physical Systems Model Checking in Embedded Systems Model Checking in IoT Model Checking in Networking Model Checking in Security Temporal Logic Model Checking Formal_Methods_in_Software_Engineering Model_Checking_in_Robotics Temporal_Logic |
| gptkbp:education |
Ph.D._from_Carnegie_Mellon_University
|
| gptkbp:fellow |
AAAS
ACM IEEE |
| gptkbp:field |
Computer Science
|
| gptkbp:founder |
gptkb:Cadence_Design_Systems
|
| https://www.w3.org/2000/01/rdf-schema#label |
Edmund M. Clarke
|
| gptkbp:inception |
1970s
|
| gptkbp:influenced |
Formal Methods
Software Engineering |
| gptkbp:influencedBy |
gptkb:John_McCarthy
|
| gptkbp:knownFor |
Model Checking
Symbolic Model Checking |
| gptkbp:nationality |
American
|
| gptkbp:notableFeature |
gptkb:Daron_Acemoglu
|
| gptkbp:publishes |
Model Checking (book)
|
| gptkbp:researchAreas |
Automated Reasoning
|
| gptkbp:researchFocus |
Verification
|