Cristian Sottile

ES | EN

Puesto actual

Investigador en Formación (Becario doctoral CONICET) @ ICC (UBA/CONICET)

Soy miembro del grupo LoReL (Lógica y Reescritura para Lenguajes de Programación). Trabajo elaborando técnicas novedosas de demostración de terminación de programas (strong normalization) en diferentes variantes de cálculo lambda tipado, y en el diseño e implementación de lenguajes de programación que igualan tipos isomorfos.
Director: Alejandro Díaz-Caro. Codirector: Pablo E. "Fidel" Martínez López.

Profesor Instructor (Jefe de Trabajos Prácticos) @ UNQ (CPI)

Carreras: Tecnicatura en Programación Informática y Licenciatura en Informática.
Materias dictadas: Programación Funcional, Características de Lenguajes de Programación, Estructuras de Datos, Lógica y Programación, Introducción a la Programación.

Formación

Publicaciones

Presentaciones

  • Two decreasing measures for STLC [Slides]
    8th International Conference on Formal Structures for Computation and Deduction. Sapienza Università di Roma. 5 de julio, 2023.
  • Dos medidas decrecientes para STLC [Slides]
    3er Encuentro FunLeP (Programming Language Foundations). Universidad Nacional de Córdoba. 18 y 19 de mayo, 2023.
  • Midiendo programas para probar que terminan [Slides]
    5to Día de la Investigación en Ciencias de la Computación. Universidad de Buenos Aires. 28 de marzo, 2023.
  • Strong normalisation in a System F modulo isomorphisms
    Deducteam Seminar. Deducteam, Laboratoire Méthodes Formelles, Université Paris-Saclay. 6 de octubre, 2022.
  • Cocientando programas por utilidad final [Slides]
    4to Día de la Investigación en Ciencias de la Computación. Universidad de Buenos Aires. 18 de marzo, 2022.
  • Contacto