conf.researchr.org / 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