Jesus Aranda

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