Cristian Sottile

ES | EN

Current Position

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

I am a member of the LoReL (Logic and Rewriting for Programming Languages) group. I work in the elaboration of new techniques for proving termination of programs (strong normalization) in different variants of typed lambda calculus, and in the design and implementation 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: Functional Programming, Foundations of Programming Languages, Data Structures, Logic and Programming, Introduction to Programming.

Education

• Pursuing PhD in Computer Science @ UBA (DC-Exactas)
• MSc. in Informatics @ UNLP (FInfo)
  Thesis: Adding polymorphism to a logic identifying isomorphic propositions [SEDICI-UNLP]

Publications

• Two decreasing measures for Simply Typed Lambda-Terms [LIPIcs|arXiv]
  P. Barenbaum, C. Sottile FSCD '23. 2023
• Polymorphic System I [ACM|arXiv]
  C. Sottile, A. Díaz-Caro, P. E. Martínez López. IFL '20. 2021

Presentations

• Two decreasing measures for STLC [Slides]
  8th International Conference on Formal Structures for Computation and Deduction. Sapienza Università di Roma. July 5, 2023.
• Two decreasing measures for STLC [Slides]
  Third FunLeP (Programming Language Foundations) meeting. Universidad Nacional de Córdoba. May 18, 2023.
• Measuring programs to prove they terminate [Slides]
  Fifth DICC (Day of Instituto de Investigación en Ciencias de la Computación). Universidad de Buenos Aires. March 28, 2023.
• Strong normalisation in a System F modulo isomorphisms
  Deducteam Seminar. Deducteam, Laboratoire Méthodes Formelles, Université Paris-Saclay. October 6, 2022.
• Quotienting programs by final utility [Slides]
  Fourth DICC (Day of Instituto de Investigación en Ciencias de la Computación). Universidad de Buenos Aires. March 18, 2022.
• Adding polymorphism to a logic identifying isomorphic propositions (Masters thesis abstract)[YouTube]
  XXIV Concurso de Trabajos Estudiantiles (EST 2021) - JAIIO 50. INTA (Virtual). October 29, 2021.
• Equating polymorphic programs with the same final utility [YouTube]
  IV Jornadas de Investigadores en Formación. Universidad Nacional de Quilmes. March 25, 2021.
• Towards a practical implementation of programming languages equating isomorphic types [YouTube]
  IV Jornadas de Investigadores en Formación. Universidad Nacional de Quilmes. March 25, 2021.
• Polymorphic System I [YouTube]
  32nd Symposium on Implementation and Application of Functional Languages. University of Kent. September 4, 2020.
• Communication talk [YouTube]
  Semana de la Computación (Desde casa). Departamento de Computación. Facultad de Ciencias Exactas. Universidad de Buenos Aires. September 2, 2020.

Contact

• csottile at icc dot fcen dot uba dot ar