Skip to content
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • 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
  • Contact
    • How to get here?
  • Log In
  • Français

Shang Zeyi

PhD student
Team Logic, Computation and Programmings
Supervised by

Office: P2-214
Email: thakbat.temujin@gmail.com
Phone +33: 01 45 17 16 47
Fax +33: 01 45 17 66 01

Post navigation

Tien Thao N’guyen

Next seminars
  • Exploring many solutions of many CA problems: The Formal Notion of Local CA Simulation
    January 25, 2021
    Tien Thao Nguyen
  • Rice-like theorems for automata networks
    February 1, 2021
    Guilhem Gamard
  • TBA
    February 8, 2021
    Guillaume Dupont
© 2021 LACL