Lecturer at the University of #Sydney. Prev postdoc at IBM Research, Stanford; Columbia PhD. Converts coffee into bad puns: theorems an occasional byproduct. #USydCompSci
This profile is from a federated server and may be incomplete. Browse more on the original instance.