Rodrigo De Castro Korgi
Dirección:
Departamento de Matemáticas y Estadística
Universidad Nacional de Colombia
Bogotá, COLOMBIA
Teléfono Oficina: 316-5000 Ext. 13204.
Teléfono Residencia: 6247243.
e-mail: rdcastro@matematicas.unal.edu.co,
rdcastro@ciencias.ciencias.unal.edu.co,
korgi@bbs.navegante.com.co
Grados Académicos:
-
Ph.D. in Mathematics, University of Illinois at Urbana-Champaign, 1992.
-
Magister en Matemáticas, Universidad Nacional de Colombia, Bogotá,
1985.
-
Matemático, Universidad Nacional de Colombia, 1981.
Areas de interés:
-
TEORIA DE DOMINIOS
-
SEMANTICA DE LENGUAJES FORMALES
-
PROGRAMACION LOGICA
-
LOGICA MATEMATICA
-
HISTORIA DE LA MATEMATICA
Labor Editorial:
Publicaciones recientes:
-
Rodrigo De Castro, General Combinatorial Principles in Second Order
Bounded Arithmetic,
en: "MODELS, ALGEBRA AND PROOFS", Lecture
Notes in Pure and Applied Mathematics, Vol. 203, Marcel Dekker, 1998,
pp. 373-395.
-
Rodrigo De Castro, Recursion in second order bounded arithmetic,
aparecerá en: Boletín de Matemáticas, NS
Vol. IV, 1997. Abstract.
-
Rodrigo De Castro & Jerrold
Grossmann, Famous trails to Paul Erdös,
aparecerá en: Mathematical
Intelligencer, Vol. 21, 1999. Abstract.
-
Jairo Charris, Januario Varela & Rodrigo De Castro, Fundamentos
de la Teoría de Funciones de una Variable Compleja, Academia
Colombiana de Ciencias Exactas Físicas y Naturales, 1999. En imprenta.
Pre-prints recientes:
Rodrigo De Castro, Some approaches to the solution of recursive domain
equations, presentado en el XI Simposio Latinoamericano de Lógica
Matemática realizado en la Universidad de los Andes, Mérida
(Venezuela), julio de 1998.
Rodrigo De Castro & Jonatan Gómez, Using clousure operators
to solve domain equations, 1998.
Rodrigo De Castro & Jonatan Gómez, Categorías de
operadores clausura, 1999.
Otras publicaciones:
-
Rodrigo De Castro, Sobre
el número de Erdös, Lect. Mat., Vol. 17 (1996), 163-179.
-
Rodrigo De Castro, Mitos y realidades sobre fórmulas para calcular
números primos,
Lect. Mat., Vol. 14 (1993), 77-101.
-
Rodrigo De Castro & Januario Varela, Localization in bundles of
uniform spaces,
Rev. Colombiana Mat., Vol. 24 (1990), 103-113.
-
Rodrigo De Castro, Tablas en TeX, Lect. Mat., Vol. 15 (1994), 81-94.
-
Rodrigo De Castro, Gráficas en TeX, Lect. Mat., Vol. 15 (1994),
95-137.
-
Rodrigo De Castro, Introducción al TeX, Universidad Nacional
de Colombia, 1992.
Dirección de Tesis de Magister:
-
Luis Fernando Niño, Extensiones y Caracterizaciones del Concepto
de Sistema de Información de Scott y sus Aplicaciones.
Fecha de terminación: septiembre de 1995.
-
Germán Jairo Hernández, Semántica Categórica
de un Lenguaje Orientado por Objetos con Comportamiento No-Determinístico.
Fecha de terminación: noviembre de 1995.
Mención: Tesis Meritoria.
-
Jonatan Gómez Perdomo, Semántica Denotacional mediante
Operadores Clausura.
Fecha de terminación: diciembre de 1997.
Mención: Tesis Meritoria.
Dirección de Trabajos de Grado:
-
Eduardo Cárdenas Gómez, Elementos Teóricos de Programación
Lógica.
Fecha de terminación: marzo de 1996.
-
Jesús Fernando Almansa G., Sintaxis y Semántica del Lambda-Cálculo
Simplemente Tipado.
Fecha de terminación: junio de 1996.