Vietnam

Stream: Geographic locality

[Huỳnh Trần Khanh]

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

[Huỳnh Trần Khanh]

Except me of course :rolling_on_the_floor_laughing::joy:

[Huỳnh Trần Khanh]

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

[Johan Commelin]

@Mario Carneiro you know some people, right?

[Johan Commelin]

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

[Mario Carneiro]

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

[Mario Carneiro]

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