Xiangyi Li
xdotli
SDE intern @teslamotors. Prev @RedHatOfficial @DolbyLaboratories. CUHK 23' SJSU 25'. Founded @imaginix-inc and @RenterCUHKSZ
Tesla San Jose
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Nikita Kolesnikov
nikitakolesnikov13
Hi there 👋
I'm a Python/Ho Developer, currently working at Magnus tech.
Russia, Krasnoyarsk