Academic Services
I serve on program committees and review for conferences in artificial intelligence, data mining, programming languages, and formal verification. Earlier reviewing was done during my PhD and postdoctoral years in programming-language theory and verification; recent service follows the shift of my research toward safe and reliable AI systems.
Program Committees
Program committee member 2
AAAI 2027
AI Alignment Track
Program Committee Member
AAAI Conference on Artificial Intelligence
Artificial Intelligence
APLAS 2022
Program Committee Member
Asian Symposium on Programming Languages and Systems
Programming Languages
Reviewing
Reviewer 1
KDD 2027
Reviewer
ACM SIGKDD Conference on Knowledge Discovery and Data Mining
Data Mining
Sub-reviewer and external reviewer 7
ICSOC 2026
Sub-reviewer
International Conference on Service-Oriented Computing
Services Computing
VMCAI 2019
External Reviewer
International Conference on Verification, Model Checking, and Abstract Interpretation
Verification
PLDI 2018
External Reviewer
ACM SIGPLAN Conference on Programming Language Design and Implementation
Programming Languages
LICS 2018
External Reviewer
ACM/IEEE Symposium on Logic in Computer Science
Logic
APLAS 2018
External Reviewer
Asian Symposium on Programming Languages and Systems
Programming Languages
ICALP 2017
External Reviewer
International Colloquium on Automata, Languages, and Programming
Theory
APLAS 2016
External Reviewer
Asian Symposium on Programming Languages and Systems
Programming Languages
A website for both personal and professional purposes