Skip to content
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Positions 2025
  • Contact
    • How to get here?
  • Log In
  • Français
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Positions 2025
  • Contact
    • How to get here?
  • Log In
  • Français

Mi Chen

PhD student
Team Systems Specification and Verification
Supervised by Lynda Mokdad

Office: P2 214
Email: mi.chen@u-pec.fr
Phone +33: 01 45 17 16 47
Fax +33:

Post navigation

Mariem Hammami
Willliam Gaudelier

News
  • 2 postes de MCF à pourvoir au LACL
    16/01/2025

Next seminars
  • TBA
    May 12, 2025
    Kostia Chardonnet
  • Containment for Guarded Monotone Strict NP
    May 19, 2025
    Alexey Barsukov
  • TBA
    June 16, 2025
    Réservé
© 2025 LACL