Scholar
Cristian Sottile
Google Scholar ID: wM_wdVMAAAAJ
Universidad de Buenos Aires
Citations & Impact
Citations
15
H-index
3
i10-index
0
Publications
10
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Publications: Strong normalization through idempotent intersection types, Two decreasing measures for Simply Typed Lambda-Terms, Polymorphic System I; Supervised Agustín Settimo's MSc. thesis on A formalization of System I with Top; Presented at multiple conferences such as MFPS '25, FSCD '23, etc.
Research Experience
- PhD Student (CONICET Doctoral Fellow) at ICC (UBA/CONICET), member of the LoReL team; Head Teaching Assistant at UNQ (CPI), taught courses: Foundations of Programming Languages, Logic, Data Structures, Functional Programming, Introduction to Programming.
Education
- Pursuing PhD in Computer Science at UBA; MSc. in Informatics from UNLP, Thesis: Adding polymorphism to a logic identifying isomorphic propositions.
Background
- Research interests: proving program termination (strong normalization), typed lambda calculus. Previously, worked on the design of programming languages equating isomorphic types.
Co-authors