Leandro Caniglia is a mathematician, software engineer, and researcher with a deep-rooted passion for logic, algebra, and computation.
Leandro holds a Licentiate (1984) and a Ph.D. (1988) in Mathematical Sciences from the University of Buenos Aires (UBA). His doctoral thesis, directed by Dr. Joos Heintz, focused on the complexity of algorithms in computational algebraic geometry.
He enjoyed a long academic career at UBA’s Faculty of Exact and Natural Sciences, where he taught from 1979 to 2001. During this time, he instructed courses ranging from Logic, Complex Analysis, and Linear Algebra to Mathematical Objects in Smalltalk. Simultaneously, he served as a researcher for the National Scientific and Technical Research Council (CONICET) from 1984 to 2000, publishing extensively on computational geometry and effective bounds.
In 2000, Leandro transitioned to the private sector. After working as an IT consultant and Systems Manager, he became the Chief Technologist at Caesar Systems (based in Houston, Texas) in 2001, where he drove the development of PetroVR—a leading simulation software for the oil and gas industry.
His leadership in the tech industry continued to grow, taking on the role of Director of Development at Palantir Solutions in 2017, and later becoming the Vice President of PetroVR at Aucerna in 2018.
Leandro is a prominent figure in the global Smalltalk community. He is a founding member and President of the Fundación Argentina de Smalltalk (FAST), an institution dedicated to organizing free, international technical conferences across universities in Argentina since 2007.
An active speaker, he has presented on topics like Homological Algebra in Smalltalk, Simulated Annealing, and Syntactic Excursions at numerous international conferences, including ESUG and Smalltalks.
Studying Homotopy Type Theory is not an easy task. My methodology consists of rewriting the HoTT Book in a more detailed way. Here I share some of the reflections this process has triggered.
Leandro Caniglia