Cristian Sottile

ES | EN

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: Foundations of Programming Languages, Functional Programming, Data Structures, Logic and Programming, Introduction to Programming.

Education

Publications

Students

Presentations

Contact