Rodrigo Cardoso
Associate Professor

Research Group:

Contact:

      Office: ML 773

      Email:

      Extension: 2871

  • Diplom Informatiker, TU, Munchen, Alemania
  • Systems Engineer, Universidad de los Andes, Colombia
  • Mathematician, Universidad de los Andes, Colombia

Interests and Research lines:

  • Formal Methods
  • Software Specification, Verification and Testing
  • Computer education

Research Group:

  • 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

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

 

Education

Degree Discipline Institution Year
Diplom Informatiker Informatics / Mathemaics Technische Universität München 1983
B.Sc Systems and Computing Engineering Universidad de los Andes 1977
B.Math Mathematics Universidad de los Andes 1977

 

Academic experience

Institution Rank Tittle (chair, coordinator, etc.) When

(ex. 1995-1997)

Full time or part-time
Universidad de los Andes Associate Professor 1994 – Present FT
Universidad de los Andes Associate Professor Director of Dept. 2001 – 2004 FT
Universidad de los Andes Associate Professor Academic Sub director of Dept. 1997 – 1998 FT
Universidad de los Andes Associate Professor Master’s Coordinator 1993 – 1996 FT
Universidad de los Andes Faculty member 1983 – 1994 FT
Universidad de los Andes Adjunct  (Math Dept) 1977 – 1979 PT

 

Non-academic experience

Company or entity Title Brief description of position When (ex. 1995-1997) Full time or part-time
National Tax Office Chief – Methods and Evaluation Division   1977 – 1979 FT
Core Ltda. Systems Analyst   1974 – 1976 PT

 

Certifications or professional registrations

Colombia, Professional Card

 

Current membership in professional organizations

  1. ACM
  2. ACIS (Colombian Association of Computing and Systems Engineers)

 

Honors and awards

Service activities (within and outside of the institutions)

  1. Universidad de los Andes
  • Academic certification activities – Leader
  • Uniandes Library – School of Engineering representative
  1. External
  • ACM International College Programming Contest (ICPC) – South America / North Regional Director
  • Colombian National Programming Contest – Director

 

List of the most important publications and presentations from the past five years

  1. Cardoso R, Sanmiguel J. “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.
  2. Cardoso R, Sanmiguel J. “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.
  3. Martinez D, Cardoso R. “Random Generation of Trees”.2015.
  4. Cardoso R, Sanmiguel J. “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.
  5. Cardoso R. “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.

 

List the most recent professional development activities

  1. Retirement pensions – Business rules definition, CIFI – Informatica Uniandes (project in development).
  2. Testing Processes Audit, Colombian Ministery for the Social Protection, CIFI CIFI – Informatica Uniandes, 2007.

 

Percentage of time available for research or scholarly activities

Teaching 60%, Research 20% and Curricular Committee 20%.

 

Percentage of time committed to the program

100% (Full Time)