EACSL Ackermann Award (as supervisor of winning work)
E824083
EACSL-related award
academic distinction
award in logic in computer science
research supervision award
The EACSL Ackermann Award (as supervisor of winning work) is a distinction recognizing researchers who have supervised doctoral work that receives the prestigious Ackermann Award for outstanding contributions in logic in computer science.
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
EACSL-related award
ⓘ
academic distinction ⓘ award in logic in computer science ⓘ research supervision award ⓘ |
| associatedWith |
Ackermann Award
NERFINISHED
ⓘ
EACSL NERFINISHED ⓘ |
| awardFor | outstanding contributions in logic in computer science via supervised doctoral work ⓘ |
| basedOn |
doctoral research in logic in computer science
ⓘ
quality of supervision of award-winning doctoral work ⓘ |
| connectedToEvent | presentation of the Ackermann Award ⓘ |
| eligibilityCriteria | supervision of a doctoral thesis that receives the Ackermann Award ⓘ |
| field |
logic in computer science
ⓘ
mathematical logic ⓘ theoretical computer science ⓘ |
| hasAwardedBy | European Association for Computer Science Logic NERFINISHED ⓘ |
| hasAwardType | individual award ⓘ |
| hasBeneficiary | doctoral thesis supervisors in logic in computer science ⓘ |
| hasSelectionBasis |
impact of the supervised research in logic in computer science
ⓘ
scientific excellence of the supervised thesis ⓘ |
| hasShortName | EACSL Ackermann Award (supervisor distinction) NERFINISHED ⓘ |
| honours | research supervisors ⓘ |
| isRelatedTo |
doctoral supervision
ⓘ
outstanding PhD theses ⓘ |
| level | international ⓘ |
| recognizes | supervisors of doctoral theses winning the Ackermann Award ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.