We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Works for Academia Sinica Academia Sinica
Is from Canada Canada
Is from Los Angeles, California Los Angeles, California
Is from Japan Japan
Works for Draper Draper
Is from Berkeley Berkeley
Works for University of Michigan University of Michigan
Is from Islamabad, Pakistan Islamabad, Pakistan
Works for TU Delft TU Delft
Works for Umeå universitet Umeå universitet
Is from Paris, France Paris, France
Works for @fast-think @fast-think
Is from Madrid Madrid
Is from Chicago Chicago
Works for AWS Automated Reasoning Group AWS Automated Reasoning Group
Works for Sandia National Labs Sandia National Labs
Is from Seattle, WA Seattle, WA
Works for redocpot redocpot
Works for @synrc @synrc
Works for LASIGE, University of Lisbon LASIGE, University of Lisbon
Joined on Oct 11, 2013
Works for @microsoft Research @microsoft Research
Joined on Sep 3, 2013
