Description: Homepage
I am a computer science doctoral student at Augusta University , School of Computer and Cyber Sciences , in Augusta Georgia, United States. My advisor is Dr. Clément Aubert . You can find my CV here .
Contact [email protected]
I work with Clément Aubert, Thomas Seiller and Thomas Rubiano on the "Static Analyses of Program Flows: Types and Certificates for Complexity" (StATyCC) project . The project aims at providing new static analysis tools based on theoretical results from Implicit Computational Complexity.