Registered user since Sat 5 Apr 2014
I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.
I believe tropical fruit are superior to all other kinds. I’d probably rather be out riding a bike up a mountain (slowly). I am terrified of success, because I may be forced to buy a suit. You can learn other things about me from my very serious Web site.
I am also known to interrogate my audiences to ensure they’re paying attention. So, be alert. You can read email later.
|‹Programming› 2023|| Gradual Soundness: Lessons from Static Python|
Committee Member in Program Committee within the Research Papers-track
Little Tricky Logic: Misconceptions in the Understanding of LTL
|Show activities from other conferences|