Yibo Cao

[email protected]

I mainly do C++ / systems programming. Interested in PLT & dynamical systems, as well as mathematical foundations & robustness of software in general.