Alex Auvolat | adnab.me
No free view? No review!
Squirrel Prover - Index
Description: Lê Thành Dũng (Tito) Nguyễn's professional webpage: research in theoretical computer science
Welcome to my homepage! I am a researcher in theoretical computer science at École normale supérieure de Lyon, Plume team , on an individual postdoctoral fellowship from LabEx Milyon . (And here’s my (very slightly updated) submitted research project in French.)
The overriding concern of our age is the ongoing environmental disaster. There is a Pledge for sustainable research in theoretical computer science that you can sign if you work in that field, and one of its creators, my colleague Antoine Amarilli , has a lovely list of actions and commitments that he takes out of concern for the climate crisis; personally, I am a vegetarian and I haven’t boarded a plane since summer 2019 (from personal experience, Praha→Paris and Lyon→Wrocław→Warszawa→Leipzig are completel
I’m glad to see that virtual conferences have taken off (out of necessity), but worried by the widespread use of tools with serious privacy and security issues . As computer scientists, we should hold ourselves to a higher standard so that society at large can follow our example! (Update around 2 years after writing this: the reign of Zoom shows no signs of stopping, sadly.)
Alex Auvolat | adnab.me
No free view? No review!
Squirrel Prover - Index