News

Research

What I'm interested in

  • Software Formal Specification and Verification
  • Static Analysis using Abstract interpretation
  • Concurrency
  • Actor-based languages
  • (meta/mega) Modeling:
    I work about semantics aspect for Domain Specific Language (DSL). Objectives of works is to allow simulation, verification and execution of models and assure a rigorous Model-Driven Development (MDD) based on model transformations.

Publications

See at [DBLP] or [IRIT].

Projects

Teaching

Where and how to contact me

You can reach me at the "batiment I" from ENSEEIHT, 27 rue d'Aubuisson, Toulouse, France, in front of the café Le Chopin, near the post-office and the ENSEEIHT campus. I work at the third floor.

I am also available by:

My email : Marc.Pantel@(NO_SPAM)enseeiht.fr