Chengdu, China

Stream: Geographic locality

[Lingyin Luo]

Hello! I'm a bachelor student based in Munich, Germany. Every year I spend a few weeks in Chengdu visiting my parents. I was wondering if there are any Lean or formal methods enthusiasts in the Sichuan/Chongqing area — I’d be happy to connect!