謝 橋
(HSIEH, Chiao)特任助教
情報科学, 次世代デジタル社会基盤研究領域
学術貢献活動
4件
Review Committee , 2026 ACM International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2026)
Artifact Evaluation Committee , The 23rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2025)
Artifact Evaluation Committee , The 31st International Symposium on Model Checking Software (SPIN 2025)
Artifact Evaluation Committee , 2022 European Conference on Object-Oriented Programming (ECOOP 2022)