Academic Services
I serve on program committees and review for conferences in artificial intelligence, machine learning, multi-agent systems, data mining, software engineering, 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 3
EASE 2027
Program Committee Member
International Conference on Evaluation and Assessment in Software Engineering
Software Engineering
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 4
AAMAS 2027
Reviewer
International Conference on Autonomous Agents and Multiagent Systems
Multi-Agent Systems
ICLR 2027
Reviewer
International Conference on Learning Representations
Machine Learning
KDD 2027
Datasets and Benchmarks Track
Reviewer
ACM SIGKDD Conference on Knowledge Discovery and Data Mining
Data Mining
AISTATS 2026
Reviewer
International Conference on Artificial Intelligence and Statistics
Machine Learning
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