Cristian Sottile

Current Position

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

I am a member of the LoReL (Logic and Rewriting for Programming Languages) team. I work in the elaboration of new techniques for proving termination of programs (strong normalization) in different variants of typed lambda calculus. Previously, I worked in the design of programming languages equating isomorphic types.
Director: Alejandro Díaz-Caro. Co-director: Pablo E. "Fidel" Martínez López.

Head Teaching Assistant @ UNQ (CPI)

Taught courses: Logic, Foundations of Programming Languages, Data Structures, Functional Programming, Introduction to Programming.

Education

Publications

Students

Presentations

Contact