San Pedro Montes de Oca, San José, Costa Rica
Areas of Specialization
| Category Theory |
| Topology |
| Type Theory in Mathematics |
| Logic and Philosophy of Logic |