Software Developer with experience in full-stack development and data engineering.

2021 — Now

2020 — 2020

Frontend development with Typescript, React, and Webpack.

Implemented and tested caching strategies for a chrome extension with Cache API, Karma test runner, and Mocha test framework.

Worked on Node.js server-side rendering for a react application.

2018 — 2019

Austin, Texas, United States

Worked on techniques for data migration between different schemas (SQL and NoSQL) using Java.

2019 — 2019

Redmond, Washington, United States

Worked on program verification for smart contracts using C#.

2018 — 2018

Madison, Wisconsin, United States

Designed and implemented a program repair tool that fixes incorrect regular expressions by taking examples.

The tool was developed in Java and tested with Maven + JUnit.

The University of Texas at Austin

2018 — 2020

University of Wisconsin-Madison

2015 — 2018

Shandong University

2012 — 2016