Thiago Felicissimo

I am a PhD student since October 2021 under the supervision of Frédéric Blanqui and Gilles Dowek at Deducteam, an Inria research team at Laboratoire Méthodes Formelles (LMF).

I am interested in logical frameworks, type theory, proof assistants and rewriting.


Translating Proofs from an Impredicative Type System to a Predicative One
with Frédéric Blanqui and Ashish Kumar Barnawal
2023, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
[long version]

Adequate and Computational Encodings in the Logical Framework Dedukti
2022, 7th International Conference on Formal Structures for Computation and Deduction
[long version]

No need to be implicit!
2022, Manuscript

Cellular automata-based byte error correction in QCA
with Luiz FM Vieira, Marcos AM Vieira and Omar P Vilela Neto
2020, Nano Communication Networks





Recent and upcoming events