Aplicación de Lean al proceso de evaluación final de asignaturas del Grado en Ingeniería Informática de la UR

Ponente: Arturo Jaime Elizondo (Grupo PSYCOTRIP, Universidad de La Rioja) 

Lugar: Seminario Mirian Andrés (Edificio CCT).

Hora: jueves 13 de febrero de 2025, 09:10.

Resumen: En esta charla-reunión se hablará de los avances obtenidos en el proyecto de innovación docente «Aplicación de métodos lean a procesos enseñanza-aprendizaje en el Grado de Ingeniería Informática: gestión de requisitos y revisión de exámenes», presentado en la actual convocatoria.

En particular, introducirán las ideas básicas de Lean aplicado a oficinas y servicios y se explicará cómo se ha utilizado hasta el momento para mejorar procesos educativos. Se expondrá el trabajo realizado hasta el momento sobre la evaluación final de las asignaturas, donde se han estudiado cuatro asignaturas (paseo por el «gemba»). Se ha creado un diagrama SIPOC (Suministrador-Entradas-Procesos-Salidas-Clientes), un diagrama de flujo de valor (VSM, Value Stream Mapping) de estado actual y se ha organizado un evento Kaizen para mejorar el paso de revisión de exámenes, tratando de reducir desperdicios (Muda) y de evitar sobrecargas o cuellos de botella (Muri).

El objetivo final de la charla será escuchar nuevas ideas y solicitar algunos datos para terminar de confeccionar un diagrama de estado futuro que intente diseñar un posible proceso estándar.

Recent development in Lean and its analysis

 

Ponente: Johannes Hölzl (Vrije Universiteit Amsterdam)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: jueves 16 de noviembre, 09:00

Resumen: I will present the current state of analysis in Lean 3. The formalization of the reals is based on the completion of uniform spaces, requiring a more extensive filter library. While the analysis in Lean is developed up to the Lebesgue measure, I mostly want to focus on topological spaces and measurable spaces, and compare their formalization with the one in Isabelle.

The slides of the talk are available from the following link.