image

Jaime Arias

CNRS Research Engineer
  • +33 01 49 40 40 67
  • arias@lipn.univ-paris13.fr
  • www.jaime-arias.fr

About Me

I am a CNRS research engineer working for the LoVe research group of LIPN at Université Sorbonne Paris Nord. I did my Ph.D under the supervision of Myriam Desainte-Catherine and Camilo Rueda at LaBRI. Prior to that, I received the engineer degree in both Computer Science and Electronics from Universidad Javeriana under the supervision of Carlos Olarte and Eugenio Tamura.

My research interests include:

  • Formal specification and verification of concurrent systems
  • Interactive multimedia systems

I am also a member of the AVISPA research group.

Here you can find my curriculum vitae.


Publications

My list of publications is available in DBLP and HAL.

2013
Universidad Javeriana

Engineering Degree Thesis


Service

Software

I am actively participating in:

Projects

I have been the principal investigator of the following projects:

PISTACHE
2024

Project funded by Université Sorbonne Paris Nord that aims to reduce the state-space generated by Maude using the Symbolic Observation Graph.

CORRECTNESS
2024

Project funded by MSH Paris Nord that aims to give ReativeIS formal and executable semantics in rewriting logic.

MEASURE
2019

Project funded by Université Sorbonne Paris Nord that aims to use formal models for guiding music improvisation.

vmo-score
2019

Project funded by MSH Paris Nord that aims to extend the inter-media sequencer ossia-score with musical improvisation capabilities using the Variable Markov Oracle.

Responsibilities

  • Head of the Software Committee
    LIPN
    2023 - current
  • Head of the Development Team
    LIPN
    2021 - current
  • Board Member
    Galilée Doctoral School
    2021 - current
  • Ambassador
    Software Heritage
    2021 - current