One An -

Registered user since Sun 1 Jun 2025

Name:One An

Contributions

2026

POPL

Student Volunteer in Student Volunteers

2025

ASE

Author of First-Order Quantified Separator in Alloy Analyzer within the Student Research Competition-track