0xDE on Nostr: Congratulations to Rajeev Alur of the the University of Pennsylvania for winning the ...
Congratulations to Rajeev Alur of the the University of Pennsylvania for winning the 2024 Knuth Prize (
https://www.sigact.org/prizes/knuth/citation2024.html) "for his introduction of novel models of computation which provide the theoretical foundations for analysis, design, synthesis, and verification of computer systems"!
Published at
2024-08-16 06:23:18Event JSON
{
"id": "e6292c6af0caac1c0140ffd4a63f561d1f11c0b881b5d1b8d8871fd3b72b43b5",
"pubkey": "1bc7bf8ceb01461b55fc9a388ecc8f239b3b652bb14be1059c74a4b682b6d038",
"created_at": 1723789398,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/11011110/statuses/112970262010444370",
"activitypub"
]
],
"content": "Congratulations to Rajeev Alur of the the University of Pennsylvania for winning the 2024 Knuth Prize (https://www.sigact.org/prizes/knuth/citation2024.html) \"for his introduction of novel models of computation which provide the theoretical foundations for analysis, design, synthesis, and verification of computer systems\"!",
"sig": "016c3bd5aebbcf76eefcb19974e80a1cea30292b4145a8eda049e1834e20d9bc20162d400475bd24ed274f21a357b66db564a715c2fb4843be5714eaf88f5fa7"
}
