Renxiang Cai Email & Phone Number

(1) Continuously delivered clean and maintainable codes with comprehensive test cases in RSpec.(2) Initiated and led development of a Single-Page Application using Vue 3 and TypeScript. Tailored Rails framework on source code level to suit our needs and created facilities for improved developer experience and code quality. (See projects below)(3) Identified areas of improvement and provided plans for incremental refactoring, migrated old table structure and architecture to more efficient ones.(4) Mentored other developers in system design and practical coding. Presented talks on new technologies and best practices, and also fun Ruby hacks.

Implemented functionalities according to requirements of the product team (database designs and front-end interactions).

Hangzhou, Zhejiang, China

Besides regular web development, prototyped a cryptocurrency order matching engine in Rust to replace the slower Ruby implementation.

Guangzhou, Guangdong, China

(1) Collaborated with UI designers and product managers to ship functionalities using Rails and JavaScript.(2) Built and tuned a product search system based on ElasticSearch.(3) Designed and built a Single-Sign-On system to unify the sessions used by the company's many subsites.(4) Integrated Amazon, eBay and Costco for selling on those platforms, Moneris for collecting payments.

Bachelor Of Arts - Ba, Philosophy

Received full score in this fourth-year course of theorem proving in Agda: https://www.mathstat.dal.ca/~selinger/agda-lectures/

Bachelor'S Degree, Computer Science

Completed half the program then left for work.