About me

Me

I am a M1 student in Computer Science at ENS Rennes.

Contact

E-mail: xavier[dot]montillet[at]ens-rennes[dot]fr

Research

I'm mostly interrested in type theory.