Xiangyi Li
xdotli
sde intern @teslamotors. prev
@RedHatOfficial @DolbyLaboratories. cs cuhk + sjsu. founding eng kimi.ai + @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