Kaufman Award in Formal Methods
E384575
The Kaufman Award in Formal Methods is a prestigious honor recognizing outstanding contributions to the theory and practice of formal methods in computer science and system design.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Kaufman Award in Formal Methods canonical | 1 |
Statements (20)
| Predicate | Object |
|---|---|
| instanceOf |
academic award
ⓘ
computer science award ⓘ |
| areaOfImpact |
computer-aided verification
ⓘ
formal specification ⓘ formal verification of systems ⓘ reliable system design ⓘ |
| category | theory and practice of formal methods ⓘ |
| domain | verification and validation of hardware and software systems ⓘ |
| field |
computer science
ⓘ
formal methods ⓘ system design ⓘ |
| focus |
practice of formal methods
ⓘ
theory of formal methods ⓘ |
| hasPrestige | prestigious honor in formal methods community ⓘ |
| namedAfter | Kaufman ⓘ |
| purpose |
to recognize outstanding contributions to the practice of formal methods
ⓘ
to recognize outstanding contributions to the theory of formal methods ⓘ |
| recognizes |
individuals
ⓘ
outstanding contributions in formal methods ⓘ researchers ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.