Rodrigo Cardoso Rodríguez
Asociado

Grupo::

Contacto:

      Oficina: ML 773

      Correo:

      Extensión: 2871

  • Diplom Informatiker, TU, Munchen, Alemania
  • Ingeniero de Sistemas, Universidad de los Andes, Colombia
  • Matemático, Universidad de los Andes, Colombia

Intereses y líneas de Investigación:

  • Métodos formales
  • Especificación, verificación y pruebas de software
  • Educación en informática

Grupo::

  • Muestras aleatorias a partir de Tipos Abstractos de Datos Tesis

    2017

    Ramirez S .Muestras aleatorias a partir de Tipos Abstractos de Datos. (2017). Trabajo Dirigido por: Cardoso R - 2017

  • Cohesion and coupling: A probabilistic view with applications to software validation Capítulo en Memoria

    2015

    Cardoso R, Sanmiguel J. (2015) Cohesion and coupling: A probabilistic view with applications to software validation. Computing Colombian Conference (10CCC), 2015 10th Computing Colombian Conference (10CCC), 2015 10th (ISBN 978-1-4673-9463-5) Colombia. - 2015

  • JSVT4 – Validación de software mediante métodos estadísticos Tesis

    2015

    Sanmiguel J .JSVT4 – Validación de software mediante métodos estadísticos. (2015). Trabajo Dirigido por: Cardoso R - 2015

  • JSVT4: A review of software testing by means of statistical methods Capítulo en Memoria

    2015

    Cardoso R, Sanmiguel J. (2015) JSVT4: A review of software testing by means of statistical methods. Computing Colombian Conference (10CCC), 2015 10th Computing Colombian Conference (10CCC), 2015 10th (ISBN 978-1-4673-9463-5) Colombia. - 2015

  • Random Generation of Trees Tesis

    2015

    Martinez D .Random Generation of Trees. (2015). Trabajo Dirigido por: Cardoso R - 2015

  • JSVT3: Software validation by means of statistical methods Capítulo en Memoria

    2013

    Cardoso R, Sanmiguel J. (2013) JSVT3: Software validation by means of statistical methods. Computing Colombian Conference (8CCC), 2013 8th omputing Colombian Conference (8CCC), 2013 8th (ISBN 978-1-4799-1054-0) Armenia, Colombia. - 2013

  • Educational goals measure based on standard evaluations Capítulo en Memoria

    2012

    Cardoso R. (2012) Educational goals measure based on standard evaluations. XXXVIII Conferencia Latinoamericana de Informatica (CLEI), 2012 Proceedings of the XXXVIII Conferencia Latinoamericana en Informática (ISBN 978-1-4673-0794-9) Medellin, Colombia. - 2012

  • Especificación y verificación de la capa de presentación de aplicaciones Web Capítulo en Memoria

    2007

    Cardoso R, Castro, Danilo. (2007) Especificación y verificación de la capa de presentación de aplicaciones Web. CCC 2007 2CCC (ISBN 978-958-683-972-3) Bogota, Colombia. - 2007

  • Pruebas de Software Capítulo en Memoria

    2001

    Cardoso R. (2001) Pruebas de Software. CLEI 2001 Venezuela. - 2001

  • Semántica axiomática para instrucciones de entrada / salida Capítulo en Memoria

    1999

    Cardoso R. (1999) Semántica axiomática para instrucciones de entrada / salida. Ideas 99 Costa Rica. - 1999

  • Verification and certified implementation of Abstract Data Types Capítulo en Memoria

    1995

    Cardoso R. (1995) Verification and certified implementation of Abstract Data Types. CLEI Panel 95 Brasil. - 1995

  • Problem Solving Strategies for the Derivation of Programs Capítulo de libro

    1993

    Cardoso R, Bohórquez J. (1993) Problem Solving Strategies for the Derivation of Programs. Logical Methods: In honor of Anil Nerode's 60th birthday (ISBN 0-8176-369) pp. 143-161. Birkhauser - 1993

  • Verificación y desarrollo de programas Libro

    1993

    Cardoso R. (1993) Verificación y desarrollo de programas. Uniandes - Ecoé. (ISBN 9589057209) Colombia. - 1993

  • Especificación y modelaje de diseños en CAD Capítulo en Memoria

    1992

    Cardoso R, Lucía O, Hernandez J, Ramos O. (1992) Especificación y modelaje de diseños en CAD. CLEI Panel 92 Badajoz, España. - 1992

  • La igualdad en tipos abstractos de datos Capítulo en Memoria

    1987

    Cardoso R. (1987) La igualdad en tipos abstractos de datos. CLEI Panel 87 Bogota, Colombia. - 1987

  • Semántica relacional Capítulo en Memoria

    1985

    Cardoso R. (1985) Semántica relacional. CLEI Panel 85 Chile. - 1985

2011-10

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2011-20

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2012-10

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2012-20

ALGORITMICA Y PROGR. OBJ. I

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2013-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2013-20

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2014-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

METODOS FORMALES ALGORITMICA

2014-20

ALGORITMICA Y PROGR. OBJ. I

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2015-10

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2015-20

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2016-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2016-20

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2017-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2017-20

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

ANALISIS DE ALGORITMOS

2018-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2018-20

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

ANALISIS DE ALGORITMOS

2019-10

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2019-20

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

Proyectos y consultorías

Tema Empresa Responsabilidad Lugar Fecha
ECAES/IS ACOFI / ICFES Coordinador Nacional ad-hoc Bogotá 2003
Interventoría de pruebas Transmilenio Consultor Bogotá 2001
Generación de boletos de lotería Paradigma Ltda. Consultor Bogotá 2000
Subastas de acciones – Privatizaciones Inverlink Ltda. – CIFI Uniandes Director de proyecto de automatización del proceso Bogotá 1995
Modelaje bancario Banco Central Hipotecario – CIFI Uniandes Consultoría sobre planeación de préstamos financieros Bogotá 1997
Proyecto IDEAS CYTED – RITOS Desarrollo de Herramientas de construcción de Software Cooperación internacional (Colombia, Costa Rica, Brasil) 1995
ManTa Universidad de los Andes – Depto. de Sistemas y Computación Director de proyectos (tesis de pregrado y maestría) Bogotá 1986 – 1999

Sociedades científicas y profesionales

Nombre Actividad
ACIS Asociación Colombiana de Ingenieros de Sistemas Miembro
CLEI Centro Latinoamericano de Estudios en Informática Presidente anterior
ACM Association for Computing Machinery Miembro
MF Grupo de Métodos Formales – Uniandes Miembro
RITOS Red Iberoamericana de Tecnologías de Software Miembro Subgrupo IDEAS
RISCO Red Colombiana de Ingeniería de Software Miembro

Informática y matemáticas

Cardoso, R., El día de la semana de una fecha, 1994 Se desarrolla una fórmula aritmética para determinar el día de la semana de una fecha del calendario gregoriano. A continuación se explora el problema de hallar años que tienen el mismo calendario. El problema y su solución se pueden especializar al problema de años con calendarios y pascua iguales, aunque este último punto no es tratado dentro del artículo.

Cardoso R., Divisibilidad en binario, 1999 Se discute un método general para determinar residuos sin efectuar divisiones, basado en la representación del número en una base específica. El método es implantable en algoritmos con variantes más o menos simples, dependiendo de los datos. Finalmente se muestra que, cuando la representación es binaria, se puede sacar ventaja de que ésta puede verse como octal o como hexadecimal. De esta forma se consiguen criterios sencillos y eficientes de divisibilidad para módulos entre 2 y 10. Se discute la posibilidad de generalizar estos resultados.

Cardoso R., Divisibilidad por 7, 1999 Un método para determinar el residuo módulo 7 de un número natural, representado en notación binaria.

Cardoso, R., Fundamentos matemáticos para informática, 2000 Mis consejos sobre las matemáticas que debería conocer un informático.

Cardoso, R., Qué se puede pesar con una balanza?, 1999 Un ensayo sobre lo que puede pesarse con una balanza y un juego de pesas.

Cardoso, R., Soto, M., Vasos y medidas, 2000 Solución al problema de producir una medida exacta de un líquido utilizando recipientes de medidas conocidas.

Cardoso, R., Algunos algoritmos logarítmicos, 2003 Multiplicación binaria, Exponenciación, Números de Fibonacci


Opinión

Halmos, P.H., How to talk Mathematics (publicado presumiblemente en AMM). Para dictar conferencias de matemáticas, sobre todo con tiza y tablero.

Takahashi, A., El maestro y su oficio, 1991 Disquisición sobre la enseñanza de las matemáticas, con motivo del Premio Nacional de Matemáticas 1991.

Cardoso, R., Comentarios sobre introducción e integración de la informática en educación secundaria, 1995Comentarios a dos trabajos desarrollados por el Grupo de trabajo 3.1 de IFIP, sobre introducción e integración de la tecnología informática en la educación secundaria. Las opiniones pretenden situar la problemática en un contexto local, menos visionario y más realista.

Cardoso, R., Cómo dictar una conferencia, Universidad de los Andes, 1996 Mis consejos para dictar conferencias, basados en los de Halmos y en la experiencia propia.

Cardoso, R., Solución de problemas, 1998 Consejos para solucionar problemas, basados en How to solve it, de G. Polya.


Publicaciones bizarras

Cardoso, R., Toro, V.M., 1 = 0 and Inexistence, Universidad de los Andes, 1996 We prove the equation 1 = 0 and we deduce some consequences from this fact. In particular, it is possible to prove that nothing exists, included this paper and its readers.


Varios

CNA 2000, Universidad de los Andes, Departamento de Sistemas y Computación, 2000 Reporte de autoevaluación ante el Consejo Nacional de Acreditación correspondiente al Departamento de Ingeniería de Sistemas y Computación.

Biografía corta – Rodrigo Cardoso

Nací en Bogotá, el 9 de marzo de 1955. He pasado la mayor parte de mi vida en Bogotá, con excepción de cuatro años que viví en Alemania y otras cortas estancias en sitios diversos que no deben contar como sitios de residencia.

En 1971 me gradué de bachiller en el Colegio del Virrey Solís. En 1972 entré a estudiar Ingeniería a la Universidad de los Andes. Aunque quería estudiar Ingeniería Mecánica, me cambié en el tercer semestre a Ingeniería de Sistemas y Computación. Al mismo tiempo, estudié Matemáticas y terminé ambas carreras en septiembre de 1977. Mi tesis de Ingeniería se titula Hacia un probador de programas y fue realizada conjuntamente con mi colega Jaime Bohórquez.

Trabajé en la Dirección de Impuestos Nacionales, desde 1977 hasta 1979. Mi último cargo fue el de Jefe de División de Evaluación y Métodos. Durante el mismo período fui profesor de cátedra en el Departamento de Matemáticas de la Universidad de los Andes.

En octubre de 1979 viajé a la entonces Alemania Federal, con una beca de ese país, para estudiar Informática. Estuve 6 meses en Freiburg estudiando alemán y después 3 años y medio en la Technische Universitaet Muenchen, en Munich. Allí obtuve el título de Diplom Informatiker en julio de 1983. Mi trabajo de grado se denomina Untersuchung paralleler Programme mit relationenalgebraischen Methoden (Estudio de programas paralelos mediante métodos de álgebras de relaciones).

De vuelta en Colombia, regresé a trabajar como profesor de tiempo completo a la Universidad de los Andes, en el Departamento de Ingeniería de Sistemas y Computación. Allí hubo un cambio curricular en enero de 1983, que incluyó una materia llamada Conceptos Fundamentales de Informática, de la que fui profesor. El texto que se utilizaba para esa clase era The Science of Programming, de David Gries. Con Jaime Bohórquez, mi antiguo compañero de estudios de pregrado, que recién regresaba de obtener un doctorado en lógica en Cornell, supimos leer e interpretar el libro de Gries de forma que guió nuestra forma de entender la programación y su enseñanza.

Desde 1986 trabajé en la concepción de unas notas propias, para este curso. Por esta época el curso se llamaba Verificación y Desarrollo de Programas y, en 1991, se publicó mi libro con el mismo nombre en la editorial de la universidad. En 1993 hubo una reimpresión de Ediciones Uniandes y Ediciones Ecoé. El libro tiene una fuerte inspiración en el trabajo de Gries, pero incluye conceptos e ideas desarrolladas por nosotros, en especial el último capítulo, que trata de Tipos Abstractos de Datos (TADs) entendidos enmarcados en un sistema de reescritura de términos que los hace ejecutables e implantables de manera automática.

Los TADs han sido objeto de mi trabajo y estudio desde los 80s. Desde 1986 y hasta el presente he desarrollado ManTa (Manejador de Tipos Abstractos de Datos) con la ayuda de muchos estudiantes de pregrado y maestría de Ingeniería de Sistemas y Computación. De un simple editor que se realizó en 1986, el sistema evolucionó hasta la versión implantada en diciembre de 1998, con prueba de teoremas, implementación automática y manual de TADs y documentación completa sobre el desarrollo.

Durante mis años de docente he dictado cursos de programación imperativa, programación funcional y lógica, deducción automática y modelaje y especificación formal. En este tiempo he sido miembro y he dirigido los grupos de investigación ALIS (Algorítmica e Informática Simbólica) y FIDIAS (Fundamentos de Informática e Ingeniería de Software). En la actualidad soy miembro del grupo CSw (Construcción de Software).

Mis intereses actuales son la especificación formal de software y, más recientemente, la certificación de que el software satisfaga lo especificado mediante métodos formales. Esto incluye testing como método de verificación, con las salvedades que se puedan confesar.

Desde 1994 soy Profesor Asociado en el ordenamiento profesoral de la Universidad. Administrativamente he sido Coordinador de Magister (1993 – 1996) y Subdirector Académico (1997 – 1998) del Departamento de Ingeniería de Sistemas y Computación de Uniandes. A partir de Febrero de 2001 y hasta Diciembre de 2004 ocupé el cargo de Director del Departamento.

En 1992 fui nombrado Representante por Colombia ante CLEI (Centro Latinoamericano de Estudios en Informática). En 1996 coordiné con ACIS (Asociación Colombiana de Ingenieros de Sistemas) la organización de la XX Conferencia Latinoamericana de Informática. El mismo año fui nombrado Presidente del CLEI, cargo para el que fui reelegido en 1998 y que desempeñé hasta 2000. Durante esta época colaboré en la organización de las Conferencias Latinoamericanas de Informática que se realizaron en Bogotá, Santiago de Chile, Quito, Asunción y México D.F. A partir de 2000 y, al hasta 2004, fui miembro del Comité Directivo de CLEI como Presidente Anterior.

Mis aficiones fueron, hace algunos años, el ajedrez, el ping-pong y la música. He abandonado bastante los dos primeros, aunque no dejan de gustarme. Como deporte, practico regularmente el squash, desde 1992.

La música, en cambio, me ha acompañado desde siempre. Lamento no haberla estudiado formalmente. Interpreto la guitarra y algo hago con un tiple o con un cuatro. La música andina colombiana ocupa el centro de mis preferencias. Soy socio de Funmúsica, entidad que promueve esta clase de música y organiza, anualmente, el Festival de Mono Núñez, al que asisto desde 1992.

La otra mitad de mi vida, la parte afectiva, no se escribe en una biografía corta. Quizás puedo mencionar que me encanta la pintura de Egon Schiele y, muy en especial, su Mujer sentada con rodilla levantada (Sitzende Frau mit hochgezohenem Knie). Por esa la incluyo como fondo.