I work with Clément Aubert,
Thomas Seiller and
on the "Static Analyses of Program Flows: Types and Certificates for Complexity"
The project aims at providing new static analysis tools based on
theoretical results from Implicit Computational Complexity.
I also work with Gagan Agrawal
on network intrusion detection and adversarial machine learning.