Mathematician at the Universidad Nacional de Córdoba.

My research interests:

• Set Theory [Formal verification of forcing].
• Applications of Descriptive Set Theory to Computer Science.
• Universal Algebra, Varieties, Definability.

My most colorful answer so far.

http://xkcd.com/810/