[pl-seminar] Fwd: Justin Hsu's visit next week

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Justin Hsu, a superstar PhD student at Penn advised by Aaron Roth and Benjamin Pierce, is visiting us on Monday, Tuesday, and Wednesday.

He is interests lie in programming languages, algorithms, privacy, and verification.

He will give a talk on Tuesday 12-1 pm in 4310 titled "Probabilistic coupling for relational reasoning".

I have created a Google Doc for people to sign up to meet with him:

https://docs.google.com/spreadsheets/d/1Gs7jkFGgALmey2-vgBuBmWgYIeY2HQPezxQtsQdxm40/edit?usp=sharing

Please sign up to meet with him and come to the talk!

Cheers,

Loris