Somesh Jha je proslijedio/a tweet korisnika/ceUW-Madison Computer Sciences
Congrats Justin!!https://twitter.com/WisconsinCS/status/1220400910028955648 …
Somesh Jha je dodan/na,
UW-Madison Computer Sciences @WisconsinCS
Congratulations to CS Professor Justin Hsu on being awarded a distinguished paper award at POPL 2020! His paper, entitled “Guarded Kleene Algebra with Tests” details how KAT shows the equivalence of two programs. Outstanding work! @UWMadisonLS @sigplan https://go.wisc.edu/sv8o9x pic.twitter.com/vgKdY1x1tA
09:41 - 23. sij 2020.
0 replies
0 proslijeđenih tweetova
11 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.