Cristian Sottile

Cristian Sottile

Current Position

PhD Student (CONICET Doctoral Fellow) @ ICC (UBA/CONICET)

I am a member of the LoReL (Logic and Rewriting for Programming Languages) team. I work in the elaboration of new techniques for proving termination of programs (strong normalization) in different variants of typed lambda calculus. Previously, I worked in the design of programming languages equating isomorphic types.

Director: Alejandro Díaz-Caro
Co-director: Pablo E. "Fidel" Martínez López.

Head Teaching Assistant @ UNQ (CPI)

Taught courses: Foundations of Programming Languages, Logic, Data Structures, Functional Programming, Introduction to Programming.

Education

Publications

  • Strong normalization through idempotent intersection types: a new syntactical approach Pre–proceedings arXiv
    P. Barenbaum, S. Ronchi Della Rocca, C. Sottile. MFPS '25. 2025
  • Two decreasing measures for Simply Typed Lambda-Terms LIPIcs arXiv
    P. Barenbaum, C. Sottile. FSCD '23. 2023
  • Polymorphic System I ACM arXiv
    Erratum
    There is an unintended error in the Strong Normalization proof presented in the published version. Although we conjecture that the theorem is valid, the current proof is incorrect and we are working in a correct proof.
    C. Sottile, A. Díaz-Caro, P. E. Martínez López. IFL '20. 2021.

Students

  • A formalization of System I with Top Github UNR
    Agustín Settimo's MSc. in Computer Science thesis. Director: Cecilia Manzino. Codirector: Cristian Sottile. 2024

Presentations