Research interest

• Infinite-state model checking
• Computational learning
• Automated reasoning & constraint solving
• Formal verification of neural networks

Services

• ATVA 2024 PC
• TCSE 2024 PC
• APLAS 2024 SRC & Poster PC
• ICALP 2024 reviewer
• CAV 2024 reviewer
• CAV 2020 AEC
• LICS 2019 reviewer

Recent publications

• Chih-Duo Hong and Anthony Lin, “Regular Abstractions for Array Systems”, Proceedings of the ACM on Programming Languages (PACMPL), Vol.8, No.22, pp.638-666, 2024.

Please see Google Scholar for a full list.

Teaching

• 2024 Spring: Fairness and Explainability in Machine Learning
• 2023 Fall: Process and Data Mining
• 2023 Summer: Automatic Safety Proof Synthesis (@FLOLAC)
• 2023 Spring: Fairness and Explainability in Machine Learning

Past course links

Fairness and Explainability in Machine Learning (Spring 2023)