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
- Two decreasing measures for Simply Typed Lambda-Terms [LIPIcs|arXiv]
- Polymorphic System I [ACM|arXiv]
C. Sottile, A. Díaz-Caro, P. E. Martínez López.
IFL '20. 2021
Presentaciones
Two decreasing measures for STLC
[Slides]
Dos medidas decrecientes para STLC
[Slides]
Midiendo programas para probar que terminan
[Slides]
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]
- Agregando polimorfismo a una lógica que identifica proposiciones isomorfas (Resumen de la tesina de grado)[YouTube]
- Igualando programas polimórficos que tienen la misma utilidad final [YouTube]
- Hacia una implementación práctica de lenguajes de programación igualando tipos isomorfos [YouTube]
- Polymorphic System I [YouTube]
- Charla de divulgación [YouTube]
Contacto
- csottile at icc dot fcen dot uba dot ar