We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Joined on Mar 17, 2009
Is from São Paulo São Paulo
Works for PhD student at @ufrgs PhD student at @ufrgs
Is from Shanghai Shanghai
Joined on May 4, 2018
Works for @FormalMathematicsLab @FormalMathematicsLab
Joined on Aug 9, 2018
Joined on Jan 25, 2022
Is from Heidelberg / Shenzhen Heidelberg / Shenzhen
Joined on Nov 7, 2014
