Jaime Arias

Jaime Arias is a CNRS Research Engineer affiliated with the SAFER research group at LIPN (Laboratoire d'Informatique de Paris Nord) at Université Sorbonne Paris Nord. His work focuses on formal methods and interactive systems, particularly in verifying concurrent and multimedia systems.

• Education: PhD in Computer Science (2015, Université de Bordeaux), Engineer degree in Computer Science and Electronics (2013, Universidad Javeriana).

His research spans formal specification, verification of concurrent systems, and interactive multimedia applications. He actively contributes to academic committees, including artifact evaluation at POPL, ICFP, and PLDI conferences.

Jaime's recent work involves symbolic analysis for test path generation and formal verification of parametric timed automata. His projects, such as PISTACHE and MEASURE, explore state-space reduction and formal models for music improvisation.

He leads initiatives at LIPN, including the Software Committee and Development Team, and collaborates with the AVISPA research group. His grants include funding from Université Sorbonne Paris Nord and MSH Paris Nord for formal methods and multimedia projects.