Greetings

Hello, I'm Chenggang Li. I am a first-year Ph.D. student at University of Southern California, advised by Professor Chao Wang.

My main research interests includes: Software Engineering, Formal Verification,  and Security.

You can find my publications and CV here!

You can find my public key below for verification purposes.

GPG Public Key
-----BEGIN PGP PUBLIC KEY BLOCK-----
mQINBFu0BCABEACfzP6Qdwdf0khmjm1pnDDZl/WAGdCSi+ZISriabcXc8TCCIHCQ13z0cM1/
li/w5YxBKHg6s4orlFk8JPSMr1PGKSrHRUihdGL208fSeFaLLK3ROMoPR3uQGpkjNWKbSfEO
7zswu6qEt7Cgi7M++iJAb3LF+P+FlWh+V/7zvRipH3gw52NkRVBL3Nt9zhvaKQEfV6/0xYm7
X9CanDYpzmhuKhTrud2Sbh6sk/NKo7hkaWcz5ZkV8djNn/CaEvj1pjznOLMFXwmdyOst27Sl
8woLRR9o5Uvsap8fc9We4h2yfPrFAMPk5aASmxXL+PS1LgyrW1rSi1Tc40JRRpHhZpDk7mfi
GsqWwc1vuWdMxpcPd98euq91/0gbUYFDmJZsS6Bi0rxLEgxwlLPOiAEX1520EptLcr3ThOwD
0uCu8nRITsG+G+jon8BVuh39TpbYeiUXlHEFkUYfzk8bovwk7//WtCvc+U72JJtIaJGWuUTO
2R1LrygNY/xvECve2KxMI2P7vvSEHOK+J9OgkgMwuaPthqSpthvdUYvR9l27GSHxq7icpHEY
mTfpyVwtRnNqpL5lElsnj6HGklDEHxhagjDjcaBZ4OZfGtlc+geQ3npuIhZP0gF3PlbMOI7X
ocb/F61SdybAbXXD1M9b2oCKNT7dpEay+oS8LIZx5gmT6qSw/wARAQABtBlDaGVuZ2dhbmcg
TGkgPGNnbGlAcG0ubWU+iQJUBBMBCAA+FiEEXdWBacEd8VU/VSQu7y4IlfGiyiMFAlu0CbMC
GwMFCQ0pugAFCwkIBwIGFQoJCAsCBBYCAwECHgECF4AACgkQ7y4IlfGiyiOcrRAAnsHUGk7p
xqjtHNbccWbWQBTdvfWCcsosO0jJTgKOGy+CztBlY4tvx1YU/eRDiZjcF4nVIuLSxyAX8dTv
KpM+om8aea9uedDPl2XKMzmVhBQJo5/34R+Nj8yxQfMISDbp7zwFtSdaI7w2B5vZ3CqWFh6Q
X7XtiPj3r+nNzCJZeURkVzwzZw/7iXqYDGuDPAWkFiNTebSluDeFI7mLUhpY5Pp71V7HTos9
hU6CK2Meb83NEpzKsSTuS7Fs37Q1N3DxAV1NdkKwceS+EHQAJTNK2/t8Rcc45EFB0ud5UFVl
LAuzd5PSqyhoio3L+zDlii0lilIXy084q3cdhAEQir7dMtIPch7eKKTM5srK9al1o5En98Ih
RgWRWMpLSMtTtDjgMkPEXdepUhrB8licSakvE7NmigpKxze1Zlcm7Qji4Ao/6aKlsfq/2FzR
KNZCJzSMfBKsTAettpq3i/pbP+YAw6Ohqw5+kx+xbYdXhBiAOuatGPiGry2eCLM2/OShoics
g2C1I7LtoN5fws/5UVyNrzLBfNNQrAB8FRu0rjRHJ3VURXbzGZdYpRDPBcPJjXAyXa6Dtg5N
PibWUULTPt6HX0gTgFdFAOYuEvLRl9yfOm6aSA5aei3DUmw2VBSTS3ZEdG1+gBzNGZkUZiQI
JMPfpyR+y1/4cb/fkTSFclwI+1O0IkNoZW5nZ2FuZyBMaSA8Y2dsaUBwcm90b25tYWlsLmNv
bT6JAlQEEwEIAD4WIQRd1YFpwR3xVT9VJC7vLgiV8aLKIwUCW7QJgAIbAwUJDSm6AAULCQgH
AgYVCgkICwIEFgIDAQIeAQIXgAAKCRDvLgiV8aLKIwgpD/90nYUysH2UDPtf+e4Q9aAtpbNs
rLSFaq3DMSPhI/Qd47fBI3ulqzIIbG+4NpEX1QlRUfBgJ8pDhX0S+bYgJ3j/Lrqsz5LIZyDX
cQNVF8kzC7y3AL52SCK8b5zGaegwtxN1f5ymebicCGy997kcRgZp/LWb7KetKpSDbg6FVZaM
DCxTflCLRHAQKhOog8MOsg4jWsCpznb5MKSsRIUszhg0wKQu/au3T+9U/RhppnV8/C5+E93G
k6c2hFU0HwIXUF5P9ErS8FzhXa4+MtU9XlRjneo7D+fL1Nv854hkeoBlRSklufBSil+v2IYv
4su/yIUonmN6nkUyH+ssjnEOnHweNPmHN0U2RVeILQd3Rv+XX/a9Vt8eTr4gnzYpKzvn1gbw
tdbjd7v2vnWT+jbevOGgKyUHAIg2Q6QGvScsKDuuyj6sgxURGnVVn+UZmG5PZ0R5gRGRhkGC
75uDStEWRYKelzoNHsqqw/+kOdKbQatXApDqOxulZ03zRifDg9UOI0Y7lOoRlERvYEi28J8U
K+LBz71MlCi7egUjy94bFocS4a8PTVYqVjgDjycWi3N6BsbKxe+aZZzK044ptwC8aR26w3UU
bqrp8vtctpYn8IaSnIYmWSQJfQH+Br39OO/2nfXdUXGCIABkuoIU3Q10V04P2zuZBBXpfOO3
d6+sOi1xPLQjQ2hlbmdnYW5nIExpIDxvc2Nhcnh2aXRhQGdtYWlsLmNvbT6JAlQEEwEIAD4W
IQRd1YFpwR3xVT9VJC7vLgiV8aLKIwUCW7QFmgIbAwUJDSm6AAULCQgHAgYVCgkICwIEFgID
AQIeAQIXgAAKCRDvLgiV8aLKIxExD/9nEpv9c8HDUmQm5LKTWFHVxJfJjIg1Xf0LKF3TZosy
31bRjp1k/+qobpMQwQaXgee0GqEMthatsg1X/Dd0CP9OCRupVUyy/94sxPbOVK25HAzSRoAT
N273DRPkKD6S/j+42MhfymNOA4NJTsOeqUli80QJQtdPIM/ZViXwI0PZh1Hlf4psUT1sH29E
HmAv3w7P4dIeoAyFKoaG0kK7UPy5mNDPVAmYW1fl0TTyh+ubmtgrZEh9Hdo0dIW3SehHHPk6
p3adjyG9m9mVHcv4gORsI3wZ2LeT7XY7LqkkGVPY9zcZOn5awNAZsl5fL3FKLmgzJlt7ajAM
R42zl8XfNBvBT5La76m+1wkIpAuSEVFOmVBwYh/skLgbIPGFFHkvnGyarphyxLG/fVLpdb+w
sPUP0Lgn9cwkMZ7Vo1rU7bmougTs+2pheSP1GGtdxEUdWKI/1W7kkBlJ6Fgw9BElcaNLACEj
js5k4ezF2MDiM972NrbO1J69O11fQt+M1L4e7ZmbS0QbW2x9NI5K62carLF8YVzjm/KvZOYa
OQWf40reRUFym2AlZcJL6dVKOVf317QhHfU5ZrdwTou+k3GSsbUyYSKRj9pIbDaPa202HTPX
bUOnUeYZOF8kuAr5X2cNMraNo3PwT8iVJLXjXWJAD2OlelJ0yKow0aP/c69xYI7nfrQ5Q2hl
bmdnYW5nIExpIChJZGVudGl0eSBvZiBDaGVuZ2dhbmcgTGkpIDxtZUBjaGVuZ2dhbmcubGk+
iQJUBBMBCAA+FiEEXdWBacEd8VU/VSQu7y4IlfGiyiMFAlu0BCACGwMFCQ0pugAFCwkIBwIG
FQoJCAsCBBYCAwECHgECF4AACgkQ7y4IlfGiyiPqsg//RgrDVxloPtB3e7YjAPgNg4XuXXgt
rT1wkUafdF6DuNulIx3CRraw/8Kms+NI2SDTm1msgCiaoqVjkhVFQMwSudGu10d8ocPaLvgx
DEzl8WxpafYp+r8L26DfEP3U98VijJf/2mvQdowpwHPUWMHxEmFIk7KQDM5M/CresJ95v8BB
N7/aT+JdOy+/LnJ0xRK5t0xtvFYxSvQTcXj0Z51gjSmTQNICBwO3fV5a2VLDH+kvTtEfJfZg
djEpNsMXz195CP50U71iCRjijuPFQnzHfAopL5mXnH2Be8khs+on/QRP470LOwyjgQoNwf4o
5JiaUT7jSjkxXqbx+T+CUFs/MfHiHH4jCklBTjmKcL4/4HcC8TdDkPeFVuB8X64ZhJEx7M0U
FIsD+YH5qUxKmYAE2dyFVLXnOrBBnSjlVPai6QxuMqetwEo4DObZ+daPNlwU3J2YJ6uYKpUA
vDGzgRB9NjGFiSzfBbyb8u7R4DfUP/0Uf0lxcgceLFv4JC9lfVUQA09+L/w3kb/m0W0q6Dak
5z6SFZeHOcPmUOd6J4/ZkMXJh4YlE45NMrA1dOdyMGrhyNz2MBP12TFKCU3ilVOWD8sc7LqG
9750UkimS7b9OroVbvkXVPdKgq2tPSzC8WdT1Dt5wGR0pnFMsLFW3bm9HXLx8sDLS8Io5jfL
2ljp8/OJAlcEEwEIAEECGwMFCQ0pugAFCwkIBwIGFQoJCAsCBBYCAwECHgECF4AWIQRd1YFp
wR3xVT9VJC7vLgiV8aLKIwUCW7QFngIZAQAKCRDvLgiV8aLKI28sD/9g6ytdBJxpPa4Ypy7S
pCbfI6St7TtmDwvpykBvFhEPzEh1dIrycVRVSI++0WW2UYB8uQIP9aQ3QJBtcj+HRPal0aWb
kdBXyJCV8WdDfV4OcOBC8rV5zHA0ZRYiwJLytYLA+MOUts2zBwdIoQp/2nGFWKFoJ1XpqpUu
bwLKncFnHozRzDn6p8iglAMDk/+Xygvvoc1mQYOmsLBK48k9YdDiN3iBcfdsgvxBnN9ONNva
hQjqALmNbkpHvVZ9oiK/pA36morDNUCZ3LFFtD7fzaDijddPMJxkT4QXMns5uCOaQn4Z72tm
rAQe9saJ/spqUmx9Aqm+YnSUR+r8NdxLfdEA0RgEFj6Xz9k9hCr28ZLdQgXT7bajuAM3DDC5
ArM3Vmkz+cPsfS4mKyyOO0zCrE8YMQvwtIKrqhbAnTrchNaFx4d8QQIsO91M+cnhUoXXheLa
XSQGiOXyD+wH5bYHQDxfkMsP1fkFsZYXiRc/yH/2pBqdjszJfEegawfkCKsNgT8KrbLwW6mE
5ini9/LF6vDOfYw6mGmOgWa3LxTS0n9slcXPDoMhxH/O4fEWVaoFAWEROepP5bIjpzqmkfao
ctEA5EPyVv3P6Y5vGClRzbqs4D8iamEnflqzn8zTOMUoXHV4KKKRy6WH0A1zRd9dywF+XpTT
QJfmSJAjLK6+IMorTrkCDQRbtAQgARAAovaOrOm80VpWaLaoh51uFZVpZiVwxXCfOmDTWqxw
WMusHmx3Xh1QFXL7sz6ScK3m23ZgGS0dhQeR9JLYpaljPAGdpxIj75aXIjTHnkLKCJTS/qr8
CPVnnYfqV6r34A3PwAix3Kut3WkiBtx1ruLJ3r937LJKz5yXyfrUPYAoOCzDqXuN3jANNtyi
tCTIESUGTulsgAjMEJRQ5MkFJXCXhJ+JFw01w8Iv5U1PRYP29mMltJlz8x+SzY8UqvFPwSK5
nINVOUTfLy63u2dLAjeJkO3TcaGDRYflcqG7dCYKwxl9CfsZvjSX1PHOZ866cCjE35rlTozy
1dQJaQOW7uy+BShJINjZAXEwBrVtvI/rG+MIJAfV2LOysZh2DAQzcw9TiqcZlj41WUOOpOW8
HoQOtYfqb+XixhGo/MB37Io1zMMP5LUJW/T22R5tg3p3TSOp+Nw5BXACAATAqLQGBoVDlSCB
UyQej2VikzxC6e4Gm6Xzzl6WiKWzppodEKae1qch2FyAHIXFHydpjDi7V6vBkmzfO8B7uimd
qxzjo6nxfe0ciTRBJ6dpLeIuB8wPT6Ii1/6ZUEMVLocsjfOoZSJJg4/roPHikPZSEE/zS6Ns
xxdLjQPFnEPOT+PlERIAiOOhcsLKTzJUnS4zmwb/xj+sZBJxNZYjr9MIHSrTFyyDzz0AEQEA
AYkCPAQYAQgAJhYhBF3VgWnBHfFVP1UkLu8uCJXxosojBQJbtAQgAhsMBQkNKboAAAoJEO8u
CJXxosojBHgP+gJR/b1haEn2XUhgTFP0I404cm086viTa1pCUz3ys8BrRm+6QTjT/eOUe4Lc
DULvydQyGiL6MBtFyhRosuU/2NEpxKwWWw0KYjL3eW6c33VqwhCf65xog4iKNVcXhepkic+o
O88mkauPhs0w7nZEzXVR1OqwgHvqgFxMVDxvYtQxXf0yRk7CEFz2NHDZaTe9N1Gqlq0u5Y1t
SccTtEArNXYlVDEeaSwnhR5WK87hEEBYittvEI5XVHwMTLExGHFdkB1C6q02aCrtdeLC6PCA
5ntntAhxD2jTCfmR69d9taninn0U+N1zR3KwT6NLd4vhkCMTZ3BkIzt/Ioq+nTpDN4r8uGmI
ibyduJ+b3mmmewqrmp479XtVANOMTHGMY7dsgD0KmjV1yfvo+rvv9/NTNlpP6YQQLuuSnvdo
oHYmvJsbVww01kk4eD3lD+EyJzuQe+s6TTJMNdILp5KLb0TpLIyAFbacw3TxOrRV1JKK1ze/
faEvroDImtoHXrVx9QO3PHG07E98pHO/2rG2Fg8nU4W6ESwl32ihtWCbDxdXsNY0MYlsjCM/
xhVKVgBl4o7OFsCEHFrUDE7P1kEfGFJROLhlmIo3n0IG/r0/3N8KstNOD2+0hQNQONtntfx8
6yyFnX5/4ltXHfFezIx1U8itRGBFkJHQAtJ2swgoL7Iw9VdG
=yXzy
-----END PGP PUBLIC KEY BLOCK-----