Registered user since Fri 15 Sep 2023
Name:Jesus Aranda
Country:Colombia
Affiliation:Universidad del Valle
Research interests:Concurrency Theory, Constraint Programming, Artificial Intelligence, Formal Verification
Contributions
Using general profile