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

Théo Grente

Postdoctoral Research Assistant
Team Logic, Computation and Programmings
Supervised by Julien Cervelle

Office: P2-223
Email:
Phone +33: 1 45 17 14 75
Fax +33:

Post navigation

Léo Tible
Baba Fayçal

Next seminars
  • Geometric amortization of enumeration algorithms
    December 6, 2021
    Florent Capelli
  • Addressing Machines for Higher-Order Computations
    December 13, 2021
    Giulio Manzonetto
  • Avancées récentes sur les algèbres de Kleene concurrentes
    January 3, 2022
    Paul Brunet
© 2021 LACL