Rodrigo Cardoso
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

  • 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, Cardoso R.JSVT4 – Validación de software mediante métodos estadísticos.(2015) - 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, Cardoso R.Random Generation of Trees.(2015) - 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

2011-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2011-20

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2012-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

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

MATEMÁTICA ESTRUCTURAL Y LÓGIC

METODOS FORMALES ALGORITMICA

DISEÑO Y ANALISIS DE ALGORI.

2014-20

ALGORITMICA Y PROGR. OBJ. I

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2015-10

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

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

MATEMÁTICA ESTRUCTURAL Y LÓGIC

DISEÑO Y ANALISIS DE ALGORI.

2017-20

DISEÑO Y ANALISIS DE ALGORI.

MATEMÁTICA ESTRUCTURAL Y LÓGIC

ANALISIS DE ALGORITMOS