Awarded Dijkstra Prize (2023).
Text from Wikipedia, available under CC BY-SA 4.0.
- #wikidata
- #award
- #achievement
Awarded Dijkstra Prize (2023).
Text from Wikipedia, available under CC BY-SA 4.0.
Captured 2026-08-19 from Wikipedia. The archived copy is preserved so this citation survives link rot.