KU-PLRG
Youngseok Choi
YoungseokCh
Software developer or researcher or whatever. Interested in program analysis, testing and verification.
Republic of Korea
Sigrid Jin (ง'̀-'́)ง oO
sigridjineth
🛸 🌎 🚀 𝕦𝕝𝕥𝕣𝕒𝕥𝕙𝕚𝕟𝕜 𝕖𝕟𝕘𝕚𝕟𝕖𝕖𝕣 🛰 🪐 °·
@sionic-ai @instructkr The University of British Columbia
