Alejandro Calle-Saldarriaga

Alejandro Calle-Saldarriaga

Would describe myself as an Statistician or data scientist, whatever flavour you prefer. See CV section for full bio. Research interests: FDA, Robust/nonparametric statistics, statistical learning.

Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Poema

less than 1 minute read

Published:

Las Pistas

Las pistas están por todos lados.
Aunque, muchas veces,
se hacen pasar
por todo lo contrario.
El positivismo nos ha hecho tontos:
buscamos y descartamos evidencia,
mirando hacia afuera siempre
sin parar a mirar hacia adentro

Canción de cuna para despertar a un perrito

1 minute read

Published:

Canción de cuna para despertar a un perrito

Simón, trufito
yo quiero estar
contigo ahora
pa caminar
vení un rato
a saludar
y todos juntos
poder ladrar
Simón, trufito
¿Por qué moriste
y nos dejaste
a todos tristes?
Que injusto eres
¿Cuál es el chiste?
No me entretienes,
volvé (si quieres).

Poema

less than 1 minute read

Published:

Poema

Dionisio la creó para complementar el vino.
Mulata, negra o clara; ella cambia de apariencia.
Algunos la calumnian, la llaman decadencia
porque con poca ciencia altera nuestro sino.

publications

talks

A non-learning premise selection algorithm for Apia

Published:

Abstract: Automatic theorem provers need to recieve a reasonably small number of premises in order for them to be able to prove a given conjecture with limited processor time. In large theories this is not always possible, as many irrelevant clauses are added to the premises. In order to solve this problem, premise selection algorithms have emerged in the past few years, some using non-learning methods and others using learning ones. Our goal in this project is to implement a non-learning premise selection algorithm for Apia, in order to further link the interactive theorem prover Agda with Authomatic theorem provers. Slides

A set theory formalization

Published:

Abstract: Set theory has been is one of the most important fields for the foundations of mathematics, so having a formalization (i.e. a translation of its axiom and theorems into some proof assistant) is desirable. In this talk, we present a set theory formalization of the Z axioms and some theorems using Agda. Slides

A homogeneity test based on depth-depth plots for functional data

Published:

Abstract: One of the classic concerns in statistics is determining if two samples come from the same population, i.e., homogeneity testing or two-sample testing. In this paper, we propose a homogeneity test in the context of Functional Data Analysis, adopting an idea from multivariate data analysis: the data depth plot (DD-plot). This DD-plot is a generalization of the univariate Q-Q plot (quantile-quantile plot). We propose some statistics based on these DD-plots, and we use bootstrapping techniques to estimate their distributions. We simulate our test’s finite-sample size and power, obtaining better results than other homogeneity tests proposed in the literature. Finally, we illustrate the procedure in samples of real heterogeneous data and get consistent results.

teaching

CEC

Continuous Education, Universidad EAFIT, Departmento de Ciencias Matemáticas, 2022

Led continuous education courses, mostly related to basic statistics or machine learning.

Datos Funcionales - CM0867 - 2022-1

Master, Universidad EAFIT, Departmento de Ciencias Matemáticas, 2022

Functional data analysis course for Master Students at EAFIT. Topics covered: exploratory fda, hilbert spaces, smoothing, fpca, functional linear model. Lecture notes here

UW Madison TA

TA, UW Madison, 2022

TA for Stats 301 (Fall 2022) (Introduction to statistics) (Prof. Gloria Rocío Bautista Mendoza)