Cristian Sottile

ES | EN

Current Position

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

I work in the design and implementation of programming languages equating isomorphic types, in the LoReL group.
Director: Alejandro Díaz-Caro. Co-director: Pablo E. "Fidel" Martínez López.

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 fcen uba ar
• cristian.sottile at unq edu ar