Cristian Sottile

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, Data Structures, Introduction to Programming, Logic and Programming Elements

Education

Pursuing PhD in Computer Science @ UBA (DC-Exactas)
MSc. in Informatics @ UNLP (FInfo)
Thesis: Agregando polimorfismo a una lógica que identifica proposiciones isomorfas (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. F. Sottile, A. Díaz-Caro, P. E. Martínez López. IFL '20. 2020

Talks

Two decreasing measures for STLC [Slides]
Third FunLeP (Programming Language Foundations) meeting. Universidad Nacional de Córdoba. May 18-19, 2023.
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 imlementation 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