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."

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:

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-----