Nicolas Nalpon

Short Bio

I am associate professor at EPITA Toulouse, part of the Automata and applications research group at LRE.
📧  nicolas.nalpon@.epita.fr

Research interests

  • Formalisation and automatic verifications on graphical user interfaces
  • Bigraphs
  • Formal aspect of programming languages

Publications

For a full list of publications, you can check: