Xinyu Wang

assistant professor @UMichCSE. previously researcher @Microsoft and PhD @UTCompSci. programming languages and formal methods.

[Xinyu Wang @xwangsd]

@awsTO So tell us what you ended up with.!?

[Xinyu Wang @xwangsd]

anyone, without background in AND/OR(types, synthesis, LLMs, AI for code, scientific computing), interested in doing a postdoc at U of Michigan?

[Xinyu Wang @xwangsd]

@RiggerManuel Congratulations! Very cool. Any pointers? Webpage etc?

[Xinyu Wang @xwangsd]

@ilyasergey Assuming every time you get new reviewers, yes.

[Xinyu Wang @xwangsd]

@patrickshafto @TaliaRinger That'd be great! Thanks. Looking forward!!

[Xinyu Wang @xwangsd]

@ilyasergey @kc_srk @RanjitJhala Expert assisting the tool?

[Xinyu Wang @xwangsd]

@WhiterMeerkat @awsTO Happy to chat if you're serious :-)

[Derek Dreyer @HerrDreyer]

RIP Tony Hoare. 😢

I only met him a couple times many years ago at MSR and was not accomplished enough at the time to have much useful to say, but he sure cast a long shadow over the field...

[Xinyu Wang @xwangsd]

@krismicinski Good luck!

[Xinyu Wang @xwangsd]

@swarat Congratulations Swarat!!

[Xinyu Wang @xwangsd]

@AI4Code Congratulations!

[Xinyu Wang @xwangsd]

@Skiminok @reflection_ai Congrats!!

[Xinyu Wang @xwangsd]

@Skiminok @julesagent All the best, Alex! Look forward to your update on the next stop.

[Xinyu Wang @xwangsd]

@ccrisccris @fchollet @VictorTaelin Thanks! Just a little bit - and we've started to look into it more! Working on something (which is general and we think is very cool) for SQL, and hoping to apply it to ARC problems. :-)

[Xinyu Wang @xwangsd]

@gregd_nlp All the best, Greg!

[Sumit Gulwani @SumitGulwani]

“How I Became a Storyteller (and How You Can Too)” — the most important talk I’ve ever given. And now, it’s yours to experience.

https://t.co/veXpk6X6zP

[Xinyu Wang @xwangsd]

@SharonYixuanLi Congratulations!!!