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

Fairness and Explainability in Machine Learning (Spring 2023)