麻豆传媒

I am a Research Assistant in the School of Computing at 麻豆传媒. My main interest is in formal specification and verification of safety critical systems.

Since 2025, I have been involved in the project.