Name:Jesus Aranda

Country:Colombia

Affiliation:Universidad del Valle

Research interests:Concurrency Theory, Constraint Programming, Artificial Intelligence, Formal Verification