Zulip Chat Archive

Stream: Geographic locality

Topic: Vietnam


view this post on Zulip Huỳnh Trần Khanh (Jun 10 2021 at 14:07):

Hmm... Are there Lean users in Vietnam? Just wondering.

view this post on Zulip Huỳnh Trần Khanh (Jun 10 2021 at 14:07):

Except me of course :rolling_on_the_floor_laughing::joy:

view this post on Zulip Huỳnh Trần Khanh (Jun 10 2021 at 14:08):

Maybe I should be more lenient and count people of Vietnamese descent too.

view this post on Zulip Johan Commelin (Jun 10 2021 at 15:11):

@Mario Carneiro you know some people, right?

view this post on Zulip Johan Commelin (Jun 10 2021 at 15:12):

Wasn't there some workshop by Hales in Hanoi at some point?

view this post on Zulip Mario Carneiro (Jun 10 2021 at 19:03):

Yes. I mostly worked with folks at the Thang Long university in Hanoi. I recall Hoang Le Truong and Nga Ngo, and Nga Ngo has actually come to several of our CMU/Pitt lean meetings once they went virtual

view this post on Zulip Mario Carneiro (Jun 10 2021 at 19:06):

Thales has a lot of connections in Vietnam, since he visits regularly, so he might know more about who is working on lean these days


Last updated: Aug 05 2021 at 04:14 UTC