Research interest
- Infinite-state model checking
- Computational learning
- Automated reasoning & constraint solving
- Formal verification of neural networks
Services
- ATVA 2024 Program committee
- TCSE 2024 Program committee
- ICALP 2024 reviewer
- CAV 2024 reviewer
- APLAS 2023 SRC & Poster program committee
- CAV 2020 Artifact evaluation committee
- 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)