SPLASH 2023 (series) / Jesus Aranda
![Jesus Aranda](https://2023.splashcon.org/getProfileImage/jesusaranda/a30fc0b0-08c4-41c5-9a21-8dfc06860953/small.jpg?1711556848000)
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
SPLASH 2023-profile
View general profile
View general profile