EDTConf 2024
Mon 23 - Tue 24 September 2024 Linz, Austria
co-located with MODELS 2024
MODELS 2024 (series) / EDTConf 2024 (series) / Guanxuan Wu

Registered user since Mon 17 Jun 2024

Name:Guanxuan Wu
Affiliation:University of Texas at Arlington
Personal website: https://555.is
GitHub: https://github.com/AlexandervonWu
Research interests:Software Engineering, Programming Languages, Formal Method, Automatic Inference

Contributions

Show activities from other conferences

MODELS 2024-profile
View general profile