Sampling Distributed Schedulers for Resilient Space Communications

Sampling Distributed Schedulers for Resilient Space Communications

With the situation of the COVID-19 pandemics the vast majority of the conferences turned to an online modality. One of the few things of this huge hassle is that many have left registers on video presentations.

This is the case of our work in NFM 2020 for which Arnd Hartmanns prepared this excellent presentation. The summary is given below:

Moco, Falla y Fallutada: Los supervillanos del universo SC (Sistemas Confiables)

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

El Centro de estudiantes de FAMAF (CEIMAF) organiza regularmente las Jornadas de Computación durante el Mes de la Ciencia. Las charlas que allí se dictan están destinadas a estudiantes de la carrera de Computación, enfocadas a los cursos de 2do y 3er año, con el objetivo de familiarizarles y hacerles llegar la producción científica de conocimiento de la FAMAF.

En ese marco, el CEIMAF me invitó a participar en la edición 2019 que tuvo lugar el 11 de noviembre para que dé una charla haciendo conocer lo que se hace en mi grupo de investigación. Las transparencias aquí adjuntas son una adaptación de la charla que di en la JCC un año antes.

5 Noches | Smarmatic: ¿Cómo funciona el escrutinio provisorio de las PASO 2019? (Parte 2)

5 NOCHES | SMARMATIC: ¿CÓMO FUNCIONA EL ESCRUTINIO PROVISORIO DE LAS PASO 2019? (parte 2)

En vísperas de las PASO 2019, el sistema que el gobierno del momento estaba adquiriendo de la empresa Smartmatic estaba mostrando fallas y vulnerabilidades. El incidente se hizo mas complejo en vista de que las auditorías eran, en el mejor de los casos, demasiado limitadas. Las irregularidades fueron tantas que el caso alcanzó mucha visibilidad en los medios que buscaron explicación en un gran número de expertos.

De esta manera me toco dar algunas entrevistas y participar en programas. Esta es la segunda parte de mi participación junto a Daniel Penazzi en el programa 5 Noches por el Canal 10 de Córdoba. (Gracias Luis Zegarra por la invitación!)

5 Noches | Smarmatic: ¿Cómo funciona el escrutinio provisorio de las PASO 2019? (Parte 1)

5 NOCHES | SMARMATIC: ¿CÓMO FUNCIONA EL ESCRUTINIO PROVISORIO DE LAS PASO 2019? (parte 1)

En vísperas de las PASO 2019, el sistema que el gobierno del momento estaba adquiriendo de la empresa Smartmatic estaba mostrando fallas y vulnerabilidades. El incidente se hizo mas complejo en vista de que las auditorías eran, en el mejor de los casos, demasiado limitadas. Las irregularidades fueron tantas que el caso alcanzó mucha visibilidad en los medios que buscaron explicación en un gran número de expertos.

De esta manera me toco dar algunas entrevistas y participar en programas. Esta es la primera parte de mi participación junto a Daniel Penazzi en el programa 5 Noches por el Canal 10 de Córdoba. (¡Gracias Luis Zegarra por la invitación!)

Smartmatic y el Software del Escrutinio de las Paso

Smartmatic y el Software del Escrutinio de las Paso

En vísperas de las PASO 2019, el sistema que el gobierno del momento estaba adquiriendo de la empresa Smartmatic estaba mostrando fallas y vulnerabilidades. El incidente se hizo mas complejo en vista de que las auditorías eran, en el mejor de los casos, demasiado limitadas. Las irregularidades fueron tantas que el caso alcanzó mucha visibilidad en los medios que buscaron explicación en un gran número de expertos.

De esta manera me toco dar algunas entrevistas y participar en programas. En este caso, junto a Javier Blanco, nos entrevisto Miguel Planells en el programa Ciudad U para el Canal U.

A pocas horas de las PASO, crece la polémica con Smartmatic

A pocas horas de las PASO, crece la polémica con SMARTMATIC

En vísperas de las PASO 2019, el sistema que el gobierno del momento estaba adquiriendo de la empresa Smartmatic estaba mostrando fallas y vulnerabilidades. El incidente se hizo mas complejo en vista de que las auditorías eran, en el mejor de los casos, demasiado limitadas. Las irregularidades fueron tantas que el caso alcanzó mucha visibilidad en los medios que buscaron explicación en un gran número de expertos.

De esta manera me toco dar algunas entrevistas y participar en programas, una de ellas esta para Telefe Noticias (Córdoba). (¡Gracias Adriana Rivarosa por las sugerencias después de esta primera entrevista que me tocó dar respecto del asunto!)

Conceptos de Model Checking

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

La Escuela de Verano de Ciencias Informáticas se realiza anualmente desde 1994, organizada por el Departamento de Computación, de la Facultad de Ciencias Exactas Físico-Químicas y Naturales de la Universidad Nacional de Río Cuarto (UNRC). Los principales objetivos de la escuela son:

  • Brindar a los alumnos y docentes de las carreras de computación de la UNRC, de otras universidades nacionales y a toda la comunidad informática, cursos intensivos y breves de actualización y especialización dictados por docentes e investigadores de primer nivel.
  • Poner al alcance de los alumnos de las carreras de computación de la UNRC una visión amplia y diversa del campo de las Ciencias Informáticas y facilitar el intercambio académico con otras casas de estudio.
  • Promover la participación de los alumnos de las carreras de Computación de la UNRC en otros eventos similares en Universidades del país y del extranjero.

La Rio 2019, 26º Escuela de Verano de Ciencias Informáticas se realizó entre el 18 y el 23 de febrero de 2019 en el campus de la UNRC y tuve el placer de ser invitado a dictar uno de los cursos.

Mocos, Fallas y Fallutadas: Todo lo que no nos gusta ver en el software.

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Las Jornadas de Ciencias de la Computación (JCC) se presentan como una iniciativa del Departamento de Ciencias de la Computación de la Facultad de Ciencias Exactas, Ingeniería y Agrimensura (FCEIA) de la Universidad Nacional de Rosario (UNR), de carácter abierto y gratuito con el objetivo de promover el contacto de los alumnos de la Facultad con investigadores y profesionales en temas relacionados con el ámbito de las ciencias de la computación, al mismo tiempo que nos permite mantenernos actualizados sobre las tendencias en investigación y desarrollo que se realizan en la región.

Las XVI Jornadas de Ciencias de la Computación se realizaron entre el 24 y el 26 de Octubre de 2018 en el edificio de la FCEIA y tuve el gran placer de ser invitado (por segunda vez!!).

Proyectando (del lado de allá)

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Esta es una breve charla que di en FACAS 2018, el 6to Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software. Este taller reúne a diversos grupos de investigación nacionales con temáticas vinculadas a la verificación, validación y síntesis de artefactos vinculados a la ingeniería de software, incluyendo desde especificaciones de requerimientos y diseño a código fuente.

El taller convoca a numerosos alumnos de doctorados y postdocs. Precisamente por eso, se nos pidió a alguno de nosotros formar parte de una mesa donde explicábamos distintos tipos de actividades con as cuál nos enfrentamos en la vida académica. Unas de estas actividades corresponde a la elaboración de proyectos que deben ser sometidos a un proceso de evaluación y selección para su eventual financiamiento. Dada mi experiencia en la coordinación de procesos de evaluación de proyectos di una breve charla introductoria enfocándome particularmente en el proceso detrás de la selección de distintos tipos de PICT, los financiamientos más competitivos a nivel nacional. La charla sirvió como disparador de preguntas e interacciones con los participantes del evento.

Is your software on dope?: Formal analysis of surreptitiously “enhanced” programs

It appears your Web browser is not configured to display PDF files. Download adobe Acrobat or click here to download the PDF file.

Yes, I basically use the same talk in three (EDIT: five!) different places. Luckily the audience was pairwise disjoint 😊! I am really glad I was invited to give these talks. They have been very good opportunities to disseminate this great new work. Moreover, I have enjoyed all three (five!) presentations and had a great feedback. These are the places:

Pages