Xinyu Wang
556Following33Top Followers1.2KTotal Followers
BIO
assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.
Top followers
#116
Charles Sutton
@RandomlyWalking
Research scientist @GoogleAI / Previously academic @InfAtEd / Deep learning to help people write code. / @chas@sigmoid.social / ❤️s:🐱🐶☕️🍕
#167
Saining Xie
@sainingxie
cofounder & chief science officer at @amilabs | faculty @nyu_courant | prev: @googledeepmind @meta (fair) @ucsandiego | ynwa
