Name:Seungil Yang

Bio:

Formal verification of privacy and identity disclosure in data and AI systems.

Country:Japan

Affiliation:Japan Advanced Institute of Science and Technology (JAIST)

Research interests:Formal Methods, Privacy, Re-identification Risk, LLM Security, RAG Systems, Model Checking