ATVA 2024 PC member

less than 1 minute read

Published:

I was invited as a PC member at ATVA 2024.

ATVA is one of the most prestigious conference in formal methods, which I have been working for more than 10 years. I feel honored to be invited as a PC member there!