Yifei Sun
DALL·E: "a happy college student majored in computer science with black glasses, a mole on right face, sitting in a empty room with colorful background listening to Yorushika's music, digital art."
He's a graduate student at Northeastern University studying computer science.
His research interests are:
- Formal verification, type theory, especially type based program analysis for modern programming languages.
- Distributed systems, database systems, modern programming languages, and concurrent data structures related verification and fuzz testing.
- IMU data feature extraction with machine learning for robotic systems and healthcare applications.
During free time, he most likely would laze around watching anime or browsing YouTube or HackerNews.
He is pretty darn good at swimming, archery and ping pong.
You might want to try:
- Nix/NixOS (opens in a new tab)
- Tailscale (opens in a new tab)
- Fly.io (opens in a new tab)
- Vercel (opens in a new tab)
- Heap (opens in a new tab)
SSH (opens in a new tab)
ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICVktHp6yjTknysVbU24K014tFKCIIM3/rWqZV591NRn ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJ47Qtg6qSenUh6Whg3ZIpIhdZZdqdG+L1z2f9UnB+Mw ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBVZ9mzYNxccuh3uQR7Hly4KjhbRh4s6UlGQe2GjMtIC
PGP (opens in a new tab)
-----BEGIN PGP PUBLIC KEY BLOCK----- mDMEZQ+EMxYJKwYBBAHaRw8BAQdAgYGoTjVeL+Nl8MKXqXXnJCpYE4UBo4hZntd1 1lzcqiW0GFlpZmVpIFN1biA8eXN1bkBoZXkuY29tPoiWBBMWCgA+AhsDBQsJCAcC AiICBhUKCQgLAgQWAgMBAh4HAheAFiEErHxS5rov6N6PD1142XMXD5uG23AFAmUP jScCGQEACgkQ2XMXD5uG23AxzAEAqbyKfo25R2jpuY7dn4Zl4LQS9WvmQdA29J7U hYKJTekBAM/wM1Q1gxHktuYIBaun8ileUa2JV7zLo8cLRtGgapoBtDZZaWZlaSBT dW4gKE5vcnRoZWFzdGVybiBVbml2ZXJzaXR5KSA8eXN1bkBjY3MubmV1LmVkdT6I kwQTFgoAOwIbAwULCQgHAgIiAgYVCgkICwIEFgIDAQIeBwIXgBYhBKx8Uua6L+je jw9deNlzFw+bhttwBQJlD40mAAoJENlzFw+bhttwwE4A/0drwah8FTseYuF3UX+V qbyngvZid8PTCTSk4OSKgnNrAP9DyGXNPu02CPi+D1VftJXpVWJO2cjnwnRq5Xyl aOLoALQxWWlmZWkgU3VuIChVbml2ZXJzaXR5IG9mIFV0YWgpIDx5c3VuQGNzLnV0 YWguZWR1PoiTBBMWCgA7AhsDBQsJCAcCAiICBhUKCQgLAgQWAgMBAh4HAheAFiEE rHxS5rov6N6PD1142XMXD5uG23AFAmUPjRIACgkQ2XMXD5uG23DHUAD/SMpdo6A4 iTxhxiYGWhtj9b4hd4dGT83hbOfEnML7lg0A/0aPMgRctYLwHULFeCDGXB80M8yW RcrDTCbUeh0sHRcGtDBZaWZlaSBTdW4gKFN0ZXBCcm9CRCwgSW5jLikgPHlzdW5A c3RlcGJyb2JkLmNvbT6IkwQTFgoAOxYhBKx8Uua6L+jejw9deNlzFw+bhttwBQJl D4h7AhsDBQsJCAcCAiICBhUKCQgLAgQWAgMBAh4HAheAAAoJENlzFw+bhttwvu8A /jW0otzlqZPuh+8gDgKOBfNnnfDjRbrV+WOEFawrSzFnAP9axo4pIi/myLZ8n/EE a5YYKEp/E9Vo53CSUD66O2ptCrQ0WWlmZWkgU3VuIChTdGVwQnJvQkQsIEluYy4p IDx5c3VuK2dpdEBzdGVwYnJvYmQuY29tPoiTBBMWCgA7FiEErHxS5rov6N6PD114 2XMXD5uG23AFAmUPiJUCGwMFCwkIBwICIgIGFQoJCAsCBBYCAwECHgcCF4AACgkQ 2XMXD5uG23CU2wD6AzuCxoDGlQwiVjv4YxKaNgV2EUJpKKsXiRl5GjPjvG8A/jFq BplTGdsl2BL+VnHKxC0PHngtJgbTqw2adcv/Hi8EtDNZaWZlaSBTdW4gKFN1cGVy IERpbWVuc2lvbiBGb3J0cmVzcykgPHlzdW5Ac2RmLm9yZz6IkwQTFgoAOxYhBKx8 Uua6L+jejw9deNlzFw+bhttwBQJlEGnXAhsDBQsJCAcCAiICBhUKCQgLAgQWAgMB Ah4HAheAAAoJENlzFw+bhttwAsQBAPv0M6W84xWWAjoAX4833RE06gDFqIMkayk3 FslZ3OpBAP439SV1jPNPB+KSoSWw8lzgdfI8tBmRUKHX37jFRbYFDrg4BGUPhDMS CisGAQQBl1UBBQEBB0DUBUrObdBuuhKVsYgN/c37JIvYlg+Q94fnyBvuXCk8UgMB CAeIeAQYFgoAIBYhBKx8Uua6L+jejw9deNlzFw+bhttwBQJlD4QzAhsMAAoJENlz Fw+bhttwWxUA/2FHGehDiTxMbsYjqFrz5j6N4aPDUVnG2X1okdRhr+KzAQDSbjBn 5RCLbP/wW/yQY5sunHsHK7eQps6NWCHiTUc3DQ== =BL12 -----END PGP PUBLIC KEY BLOCK-----