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

Willliam Gaudelier

PhD student
Team Logic, Computation and Programmings
Supervised by Julien Cervelle, Benoit Monin, Ludovic Patey

Office: P2-214
Email:
Phone +33: 1 45 17 16 47
Fax +33:

Post navigation

Mi Chen
Aurore Alcolei

Next seminars
  • Geometric amortization of enumeration algorithms
    May 23, 2022
    Florent Capelli
  • tba
    June 20, 2022
    Cüneyt Güzelis
© 2022 LACL