Nicolás Cardozo Álvarez
Assistant Professor

Research Group:

Contact:

      Office: ML 755

      Email:

      Extension: 1673

Interests and Research lines:

  • Programming languages
  • Adaptive systems
  • Dynamic programs analysis and verification
  • Software engineering

Research Group:

  • IoT architecture for adaptation to transient devices Artículo

    2021

    Ariza J, Garces K, Cardozo N, Rodriguez J, Jimenez J. (2021) IoT architecture for adaptation to transient devices. Journal of Parallel and Distributed Computing (ISSN 0743-7315) 148 (-), pp. 14-30. - 2021

  • Does Neuron Coverage Matter for Deep Reinforcement Learning? A Preliminary Study Capítulo en Memoria

    2020

    Trujillo M, Linares-Vásquez M, Escobar-Velásquez C, Dusparic I, Cardozo N. (2020) Does Neuron Coverage Matter for Deep Reinforcement Learning? A Preliminary Study. 2nd Workshop on Testing for Deep Learning and Deep Learning for Testing 2020 (DeepTest’20) Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops (ISBN 978-1-4503-7963-2) Seoul, Corea del Sur. - 2020

  • Evaluation of Parallel Search for a Large Scheduling Problem Tesis

    2020

    Ramos J, Agudelo D .Evaluation of Parallel Search for a Large Scheduling Problem. (2020). Trabajo Dirigido por: Cardozo N - 2020

  • Implementación de Programación Reactiva en Kotlin basado en REScala Tesis

    2020

    Cardenas S .Implementación de Programación Reactiva en Kotlin basado en REScala. (2020). Trabajo Dirigido por: Cardozo N - 2020

  • Language Abstractions and Techniques for Developing Collective Adaptive Systems Using Context-oriented Programming Capítulo en Memoria

    2020

    Cardozo N, Dusparic I. (2020) Language Abstractions and Techniques for Developing Collective Adaptive Systems Using Context-oriented Programming. International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) International Conference on Autonomic Computing and Self-Organizing Systems Companion (ISBN 978-1-7281-8415-9) Aaronsburg, Estados Unidos. - 2020

  • Learning Run-Time Compositions of Interacting Adaptations Capítulo en Memoria

    2020

    Cardozo N, Dusparic I. (2020) Learning Run-Time Compositions of Interacting Adaptations. International Symposium on Software Engineering for Adaptive and Self-Managing Systems International Symposium on Software Engineering for Adaptive and Self-Managing Systems (ISBN 978-1-4503-7962-5) Corea del Sur. - 2020

  • Multi-GPU distribution of single-batch,time-dependent linear products Tesis

    2020

    Margffoy E .Multi-GPU distribution of single-batch,time-dependent linear products. (2020). Trabajo Dirigido por: Cardozo N - 2020

  • Real Web Programming Tesis

    2020

    Garavito L .Real Web Programming. (2020). Trabajo Dirigido por: Cardozo N - 2020

  • Scala.GOLD: Librería para la definición y reconocimiento de lenguajes Tesis

    2020

    Estupiñan K .Scala.GOLD: Librería para la definición y reconocimiento de lenguajes. (2020). Trabajo Dirigido por: Cardozo N - 2020

  • Adaptive architecture for transient IoT systems Tesis

    2019

    Ariza J .Adaptive architecture for transient IoT systems. (2019). Trabajo Dirigido por: Cardozo N - 2019

  • Bounded generics over constants in Rust Tesis

    2019

    Poveda C .Bounded generics over constants in Rust. (2019). Trabajo Dirigido por: Cardozo N - 2019

  • Comparison of Underlying Data Structures for Distributed Ledgers Tesis

    2019

    Sanchez S .Comparison of Underlying Data Structures for Distributed Ledgers. (2019). Trabajo Dirigido por: Cardozo N - 2019

  • Constraint programming heuristics for configuring optimal products in multi product lines Artículo

    2019

    Ochoa L, Gonzalez O, Cardozo N, González A, Chavarriaga J, Casallas R, Diaz J. (2019) Constraint programming heuristics for configuring optimal products in multi product lines. Information Sciences (ISSN 0020-0255) 474 (N/A), pp. 33-47. - 2019

  • Constructivist Approach to State Space Adaptation in Reinforcement Learning Artículo

    2019

    Gueriau M, Dusparic I, Cardozo N. (2019) Constructivist Approach to State Space Adaptation in Reinforcement Learning. 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) (ISSN 2161-3761) 2161-377X (-), pp. 332-336. - 2019

  • Distributed Context Petri Nets Capítulo en Memoria

    2019

    Fandiño J, Sosa J, Cardozo N. (2019) Distributed Context Petri Nets. Proceedings of the Workshop on Context-oriented Programming (ISBN 978-1-4503-6863-6) Inglaterra. - 2019

  • Distributed Context Petri Nets: Managing Context Interaction in Distributed Environments Tesis

    2019

    Fandiño J, Sosa J .Distributed Context Petri Nets: Managing Context Interaction in Distributed Environments. (2019). Trabajo Dirigido por: Cardozo N - 2019

  • NGSEP3: accurate variant calling across species and sequencing protocols Artículo

    2019

    Tello D, Gil J, Loaiza C, Riascos JJ, Cardozo N, Duitama J. (2019) NGSEP3: accurate variant calling across species and sequencing protocols. Bioinformatics (ISSN 1367-4803) 35 (-), pp. 4716-4723. - 2019

  • Perspectives in Testing Deep RL Capítulo en Memoria

    2019

    Cardozo N, Dusparic I, Linares-Vásquez M. (2019) Perspectives in Testing Deep RL. Workshop on Testing for Deep Learning and Deep Learning for Testing Montreal, Canadá. - 2019

  • Towards the identification of concept prerequisites via Knowledge Graphs Artículo

    2019

    Manrique R, Marino O, Cardozo N. (2019) Towards the identification of concept prerequisites via Knowledge Graphs. 2019 IEEE 19th International Conference on Advanced Learning Technologies (ICALT) (ISSN 2161-3761) 1 (N/A), pp. 232-236. - 2019

  • 21st Iberoamerican Conference in Software Engineering Evento

    2018

    Cardozo N, Casallas R, Garces K. 21st Iberoamerican Conference in Software Engineering. (2018) - 2018

  • 25th Workshop on Logic, Language, Information, and Computation Evento

    2018

    Cardozo N. 25th Workshop on Logic, Language, Information, and Computation. (2018) - 2018

  • A Declarative Language for Context Activation Capítulo en Memoria

    2018

    Cardozo N. (2018) A Declarative Language for Context Activation. Proceedings of the 10th International Workshop on Context-Oriented Programming Proceedings of the International Context-Oriented Programming Workshop (ISBN 978-1-4503-4440-1) Amsterdam, Holanda. - 2018

  • A Research Agenda for IOT Adaptive Architectures Artículo

    2018

    Ariza J, Mendoza C, Garces K, Cardozo N. (2018) A Research Agenda for IOT Adaptive Architectures. Proceedings (ISSN 2504-3900) 2 (-), pp. 1229-1229. - 2018

  • A collaborative IDE for dynamic multi-versioning and variant management Capítulo en Memoria

    2018

    Beltran S, Cardozo N. (2018) A collaborative IDE for dynamic multi-versioning and variant management. 21st Conferencia Iberoamericana en Software Engineering CIbSE: 21st Conferencia Iberoamericana en Software Engineering (ISBN 978-1-5108-6937-0) Bogota, Colombia. - 2018

  • Aplicación de lógicas retractables en modelos de clasificación binaria Tesis

    2018

    Chaves J .Aplicación de lógicas retractables en modelos de clasificación binaria. (2018). Trabajo Dirigido por: Cardozo N - 2018

  • Communication in D-MANETs using Tuple Spaces Tesis

    2018

    Bages J .Communication in D-MANETs using Tuple Spaces. (2018). Trabajo Dirigido por: Cardozo N - 2018

  • Extracting Dynamic Adaptations from the Context Through Reinforcement Learning Tesis

    2018

    Castro J .Extracting Dynamic Adaptations from the Context Through Reinforcement Learning. (2018). Trabajo Dirigido por: Cardozo N - 2018

  • Generating Software Adaptations using Machine Learning Capítulo en Memoria

    2018

    Cardozo N, Dusparic I. (2018) Generating Software Adaptations using Machine Learning. 2nd International Workshop on Machine Learning techniques for Programming Languages International Workshop on Machine Learning techniques for Programming Languages (ISBN 978-3-95977-079-8) Holanda. - 2018

  • Investigating learning resources precedence relations via concept prerequisite learning Capítulo en Memoria

    2018

    Manrique R, Sosa J, Marino O, Nunes B, Cardozo N. (2018) Investigating learning resources precedence relations via concept prerequisite learning . Web Intelligence 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI) (ISBN 978-1-5386-7325-6) Santiago, Chile. - 2018

  • LICCA: A tool for cross-language clone detection Capítulo en Memoria

    2018

    Vislavski T, Gordana R, Cardozo N, Budimac Z. (2018) LICCA: A tool for cross-language clone detection. International Conference on Software Analysis, Evolution and Reengineering Proceedings of the International Conference on Software Analysis, Evolution and Reengineering (ISBN 978-1-5386-4970-1) Campobasso, Italia. - 2018

  • Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems Capítulo de libro

    2018

    Cardozo N, Mens K, Clarke S. (2018) Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems III. Assurances (ISBN 978-3-319-74183-3) pp. 307-348. Lecture Notes in Computer Science (LNCS), Springer. - 2018

  • Prediction of Difficulty for Video-Based Learning Materials: an Initial Approach Tesis

    2018

    Venegas T, Lovera J .Prediction of Difficulty for Video-Based Learning Materials: an Initial Approach. (2018). Trabajo Dirigido por: Cardozo N - 2018

  • Sýntixi: A Generative Approach to Dynamic Fusion of Software Components Capítulo en Memoria

    2018

    Hernández-martínez J, Juárez-matínez U, Cardozo N. (2018) Sýntixi: A Generative Approach to Dynamic Fusion of Software Components. 21st Conferencia Iberoamericana en Software Engineering CIbSE: 21st Conferencia Iberoamericana en Software Engineering (ISBN 978-1-5108-6937-0) Bogota, Colombia. - 2018

  • A Rollback Mechanism to Recover from Software Failures in Role-based Adaptive Software Systems Capítulo en Memoria

    2017

    Taing N, Springer T, Cardozo N, Schill A. (2017) A Rollback Mechanism to Recover from Software Failures in Role-based Adaptive Software Systems. Companion to the First International Conference on the Art, Science and Engineering of Programming Live Adaptation of Software Systems (ISBN 978-1-4503-4836-2) Brussels, Bélgica. - 2017

  • CollabIDE: Un IDE colaborativo en la nube con administración de versiones y contribuciones Tesis

    2017

    Beltran S .CollabIDE: Un IDE colaborativo en la nube con administración de versiones y contribuciones. (2017). Trabajo Dirigido por: Cardozo N - 2017

  • Live Adaptation of Software Systems Workshop Evento

    2017

    Aßmann U, Cardozo N, Mens K, Kühn T. Live Adaptation of Software Systems Workshop. (2017) - 2017

  • Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems Capítulo de libro

    2017

    Mens K, Duhoux B, Cardozo N. (2017) Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems. Live Adaptation of Software Systems (ISBN 978-1-4503-4836-2) pp. 1-6. ACM Digital Library - 2017

  • Peace COrP: Learning to solve conflicts between contexts Capítulo de libro

    2017

    Cardozo N, Dusparic I. (2017) Peace COrP: Learning to solve conflicts between contexts. Proceedings of the International Context-Oriented Programming Workshop (ISBN 978-1-4503-4440-1) pp. 1-6. ACM Digital Library - 2017

  • A Context-Oriented Software Architecture Capítulo de libro

    2016

    Mens K, Cardozo N, Duhoux B. (2016) A Context-Oriented Software Architecture. Proceedings of the International Context-Oriented Programming Workshop (ISBN 978-1-4503-4440-1) pp. 7-12. ACM Digital Library - 2016

  • Beyond Context-Oriented Programming Capítulo de libro

    2016

    Mens K, Cardozo N, Dumas B, Cleve A. (2016) Beyond Context-Oriented Programming. Post-proceedings of the 9th Seminar on Advanced Techniques and Tools for Software Evolution (ISBN 978-1-4503-4447-0) pp. 5-16. CEUR - 2016

  • Consistent Unanticipated Adaptation for Context-Dependent Applications Capítulo de libro

    2016

    Taing N, Wutzler M, Springer T, Cardozo N, Schill A. (2016) Consistent Unanticipated Adaptation for Context-Dependent Applications . Proceedings of the International Context-Oriented Programming Workshop (ISBN 978-1-4503-4440-1) pp. 33-38. ACM Digital Library - 2016

  • Emergent Software Services Capítulo de libro

    2016

    Cardozo N. (2016) Emergent Software Services. Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (ISBN 978-1-4503-4076-2) pp. 15-28. ACM - 2016

2016-20

MATEMÁTICA ESTRUCTURAL Y LÓGIC

LENGUAJES Y MÁQUINAS

2017-10

LENGUAJES Y MÁQUINAS

PARADIGMAS DE PROGRAMACIÓN

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2017-18

PROG. FUNCIONAL APLIC. SCALA

2017-20

LAB. ESTRUCTURAS DATOS

ESTRUCTURAS DE DATOS

LENGUAJES Y MÁQUINAS

MATEMÁTICA ESTRUCTURAL Y LÓGIC

CONCURRENCIA Y DISTRIBUCIÓN

2018-10

PARADIGMAS DE PROGRAMACIÓN

LENGUAJES Y MÁQUINAS

2018-18

PROG. FUNCIONAL APLIC. SCALA

2018-20

CONCURRENCIA Y DISTRIBUCIÓN

MATEMÁTICA ESTRUCTURAL Y LÓGIC

2019-10

MATEMÁTICA ESTRUCTURAL Y LÓGIC

PARADIGMAS DE PROGRAMACIÓN

LENGUAJES Y MÁQUINAS

2019-20

MATEMÁTICA ESTRUCTURAL Y LÓGIC

LENGUAJES Y MÁQUINAS

2020-10

CONCURRENCIA Y DISTRIBUCIÓN

LENGUAJES Y MÁQUINAS

2020-20

LENGUAJES Y MÁQUINAS

PARADIGMAS DE PROGRAMACIÓN

Master

  • Jorge Humberto Castro – Resolución de Conflictos de Contexto Automatizado por Machine Learning(2017)

Undergrad

  • Santiago Beltran – CollabIDE: IDE Colaborativo con Administración de Versiones y Contribuciones (2017-1)

Activities of service to the community as a reviewer or as part of the organization committees of scientific events

Organization

  • Ibero-American Conference on Software Engineering, CibSE – 2018
  • Workshop on Live Adaptation of Software SYstems, LASSY – 2016, 2017, 2018
  • Workshop on Logic, Languages, Information, and Computation, WoLLIC – 2018

 

Refereeing and Reviewing

  • IEEE Transactions on Systems, Man and Cybernetics: Systems (2016,2017)
  • IEEE Transactions on Services Computing (2015)
  • IEEE Transactions on Software Engineering (2014)
  • Expert Systems with Applications (2014)
  • Science of Computer Programming Journal (2013)

[publons profile]

Program committees/External reviews

Venue – [# of reviews] (year of review)

  • Meta Workshop – [3] (2016, 2017)
  • Percol Workshop – [2]  (2016)
  • European Conference on Object-Oriented Programming (ECOOP) – [3] (2012, 2014)
  • COP workshop – [4] (2015, 2017)
  • Modularity – [2] (2012, 2014)
  • Coordination – [1] (2014)
  • DAIS – [1] (2014)
  • Software Language Engineering (SLE) – [1] (2012)
  • International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI) – [1] (2012)

 

Education

Degree Discipline Institution Year
Ph.D Science Vrije Universiteit Brussel, Belgium 2013
Ph.D Engineering Université catholique de Louvain, Belgium 2013
M.Sc Computer Science Vrije Universiteit Brussel, Belgium 2009
B.Sc Systems and Computing Engineering Universidad de los Andes 2008
B.Sc Math Universidad de los Andes 2008

 

Academic experience

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

(ex. 1995-1997)

Full time or part-time
Trinity College Dublin Research fellow 2014-2016  
Vrije Universiteit Brussel Postdoctoral researcher 2013-2014  

 

Non-academic experience

Company or entity Title Brief description of position When (ex. 1995-1997) Full time or part-time
Quality Software Web developer 2008 FT

 

Certifications or professional registrations

Colombia, Professional Card

 

Current membership in professional organizations

ACM

 

Honors and awards

  

Service activities (within and outside of the institutions)

  • Reviewer IEEE TOSMCS, Program Committee member COP 2017, Organizer LASSY 2016,2017.
  • Program Committee member SCLIT 2016,2017, Reviewer FONDECYT project (Chile) 2016.

 

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

  1. Models for the Consistent Interaction of Adaptations in Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems: Assurances. Nicolás Cardozo, Kim Mens, Siobhán Clarke. Springer-Verlag, 2017. to appear.
  2. Managing the Context Interaction Problem: A Classification and Design Space of Conflict Resolution Techniques in Dynamically Adaptive Software Systems. International Workshop on Live Adaptation of Software Systems (LASSY17). Kim Mens, Benoit Duhoux, Nicolás Cardozo. March 2017. ACM.
  3. A Rollback Mechanism to Recover from Software Failures in Role-based Adaptive Software Systems. International Workshop on Live Adaptation of Software Systems (LASSY17). Nguonly Taing, Thomas Springer, Nicolás Cardozo, Alexander Schill. 2017. ACM
  4. Emergent Software Services. Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software Onward!16. Nicolás Cardozo. (ISBN 978-1-4503-4076-2) pp. 15-28. ACM. 2016.
  5. Consistent Unanticipated Adaptation for Context-Dependent Applications. International Context-Oriented Programming Workshop (COP16). Nguonly Taing, Markus Wutzler, Thomas Springer, Nicolás Cardozo, Alexander Schill. pp. 33-38. ACM. 2016.
  6. A Context-Oriented Software Architecture. International Workshop on Context-Oriented Programming (COP). Kim Mens, Nicolás Cardozo, Benoit Duhoux. 2016. ACM. pp7:12.
  7. Clonal Plasticity: A Method for Decentralized Adaptation in Multi-agent Systems. International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’16). Vivek Nallur, Nicolás Cardozo, Siobhán Clarke. May 2016. 122–128, ACM
  8. Algorithm Diversity: A Mechanism for Distributive Justice in a Socio-Technical MAS. International Conference on Autonomous Agents & Multiagent Systems (AAMAS’16). Vivek Nallur, Eamonn O’Toole, Nicolás Cardozo, Siobhán Clarke. 2016. 420–428, ACM.
  9. A Taxonomy of Context-Aware Software Variability Approaches. International Workshop on Live Adaptation of Software Systems (LASSY’16). Kim Mens, Rafael Capilla, Nicolás Cardozo, Bruno Dumas. March 2016. ACM. pp 119–124.

 

List the most recent professional development activities

  • CITI Program – Research Misconduct
  • Engineering School – Teaching Development Seminar

 

Percentage of time available for research or scholarly activities

Teaching 40%, Research 30% and Curricular Committee 30%.

 

Percentage of time committed to the program

100% (Full Time)

  • Ph.D. in Science, Vrije Universiteit Brussel, Belgium
  • Ph.D. in Engineering, Université catholique de Louvain, Belgium
  • M.Sc Computer Science, Vrije Universiteit Brussel, Belgium
  • B.Sc Systems and Computing Engineering, Universidad de los Andes
  • B.Sc Math, Universidad de los Andes