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 para demostrar terminación de programas (strong normalization) en diferentes variantes del cálculo lambda tipado. Anteriormente trabajé en el diseño 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

• Estudiante de Doctorado en Ciencias de la Computación @ UBA (DC-Exactas)
• Licenciado en Informática @ UNLP (FInfo)
  Tesina: Agregando polimorfismo a una lógica que identifica proposiciones isomorfas [SEDICI-UNLP]

Publicaciones

• 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

Estudiantes

• Una formalización de Sistema I con tipo Top [Github]
  Agustín Settimo. Tesina de Licenciatura en Ciencias de la Computación. Director: Cecilia Manzino. Codirector: Cristian Sottile. 2024

Presentaciones

• Strong normalization y medidas decrecientes: demostraciones sintácticas de terminación en cálculo lambda tipado [YouTube|Slides]
  XXII Jornadas de Ciencias de la Computación. DCC, FCEIA, Universidad Nacional de Rosario. 25 de octubre, 2024.
• A syntactic approach to Strong Normalization through decreasing measures [Slides]
  20th Latin American Symposium on Mathematical Logic. Universidad de la República, Uruguay. 2 de julio, 2024.
• Midiendo programas para demostrar terminación [Slides]
  V Jornadas de Investigadores en Formación. Universidad Nacional de Quilmes. 28 de septiembre, 2023.
• 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.
• Agregando polimorfismo a una lógica que identifica proposiciones isomorfas (Resumen de la tesina de grado)[YouTube]
  XXIV Concurso de Trabajos Estudiantiles (EST 2021) - JAIIO 50. INTA (Virtual). 29 de octubre de 2021.
• Igualando programas polimórficos que tienen la misma utilidad final [YouTube]
  IV Jornadas de Investigadores en Formación. Universidad Nacional de Quilmes. 25 de marzo de 2021.
• Hacia una implementación práctica de lenguajes de programación igualando tipos isomorfos [YouTube]
  IV Jornadas de Investigadores en Formación. Universidad Nacional de Quilmes. 25 de marzo de 2021.
• Polymorphic System I [YouTube]
  32nd Symposium on Implementation and Application of Functional Languages. University of Kent. 4 de septiembre de 2020.
• Charla de divulgación [YouTube]
  Semana de la Computación (Desde casa). Departamento de Computación. Facultad de Ciencias Exactas. Universidad de Buenos Aires. 2 de septiembre de 2020.

Contacto

• csottile at icc dot fcen dot uba dot ar