| Tipo Proyecto |
Título |
Descripción |
Institución |
Área OCDE |
Sub área OCDE |
Fecha de Inicio |
Fecha Fin |
Inv. Principal |
| Proyectos de investigación |
Specification and Verification for Future Programmers |
Proyecto de Investigación subvencionado por el Ministerio de Educación de Singapur con el fondo R-252-000-411-112. En este proyecto se investigo el uso de herramientas de software para la especificación de condiciones y verificación formal de requerimientos en programas de software. |
NATIONAL UNIVERSITY OF SINGAPORE |
Ingeniería y Tecnología |
Ingenierías Eléctrica, Electrónica e Informática |
Febrero 2010 |
Julio 2010 |
DR. WEI NGAN-CHIN |
| Proyectos de investigación |
Advances in Probabilistic Modeling and Analysis |
Proyecto de Investigación subvencionado por el Ministerio de Educación de Singapur con el fondo R-252-000-458-133. En este proyecto se estudio los diferentes escenarios satisfactorios y la exploración de problemáticas de la técnica de verificación Probabilistic Model Checking. Como resultado de este proyecto se logró la publicación de artículos (que se adjunta) donde se evidencia en la sección de Acknowledgments la referencia al fondo y mi participación como primer autor. |
NATIONAL UNIVERSITY OF SINGAPORE |
Ingeniería y Tecnología |
Ingenierías Eléctrica, Electrónica e Informática |
Febrero 2012 |
Julio 2018 |
DR DAVID S. ROSENBLUM |
| Proyectos de investigación |
Modeling and Analysis of Stochastic Systems with Perturbed Parameters |
Proyecto de Investigación subvencionado por el Ministerio de Educación de Singapur con el fondo MOE2015-T2-137-1. Este proyecto investiga la presencia de incertidumbre en los parámetros de sistemas estocásticos y su influencia en la verificación formal de ellos. Como resultado de este proyecto se logró la publicación de artículos (que se adjunta) donde se evidencia en la sección de Acknowledgments la referencia al fondo y mi participación como primer autor. |
NATIONAL UNIVERSITY OF SINGAPORE |
Ingeniería y Tecnología |
Ingenierías Eléctrica, Electrónica e Informática |
Febrero 2017 |
Julio 2018 |
DR. DAVID S. ROSENBLUM |
| Proyectos de investigación |
Efficient Probabilistic Verification of Reconfigurable Software Systems |
Proyecto de Investigación conjunta entre Humbolt-Universität zu Berlin y Universidad Nacional de Singapur. En este proyecto se propuso un enfoque automatizado para la auto-adaptabilidad que tiene como objetivo reutilizar la información tanto del sistema actual y sus adaptaciones anteriores. En este proyecto participe como investigador colaborador y realize una visita acádemica (adjunto la carta de invitación). |
NATIONAL UNIVERSITY OF SINGAPORE |
Ingeniería y Tecnología |
Ingenierías Eléctrica, Electrónica e Informática |
Julio 2016 |
Junio 2017 |
DR DAVID S. ROSENBLUM Y DR. LARS GRUNSKE |
| Proyectos de investigación |
Trazado de Contactos Digital. Una herramienta inteligente para el control de la pandemia en el Perú a través del Aplicativo Perú En Tus Manos |
El rastreo de contactos se ha utilizado para ralentizar la transmisión de muchas enfermedades infecciosas en el pasado. Cada esfuerzo de búsqueda de contactos es único en algunos aspectos, ya que manejan los desafíos específicos de las enfermedades infecciosas individuales. Este proyecto tiene como objetivo implementar el trazado de contactos digital en la lucha contra el COVID-19 alertando posibles contagios a los usuarios de la aplicación oficial del estado peruano "Perú en tus manos" |
GRUPO HOCHSCHILD |
Ingeniería y Tecnología |
Ingenierías Eléctrica, Electrónica e Informática |
Abril 2020 |
Octubre 2020 |
DR JESÚS BELLIDO |
| Proyectos de investigación |
Applying Computer Science Techniques to Build a Sustainable City |
Es un proyecto dentro del área de Computación Sostenible. Su objetivo es usar técnicas de Ciencia de Computación como Inteligencia de Datos, Ciencia de Datos para construir una ciudad sostenible. |
UNIVERSIDAD DE INGENIERIA Y TECNOLOGIA |
Ingeniería y Tecnología |
Ingenierías Eléctrica, Electrónica e Informática |
Enero 2020 |
Julio 2020 |
YAMILET ROSARIO SERRANO LLERENA |
| Proyectos de investigación |
Nature Positive Solutions, Workpackage 1 |
Primera etapa de un proyecto multidisciplinario de Investigación Aplicada en conjunto con el Centro Internacional de la Papa (CIP) con el objetivo de preservar la agrobiodiversidad de la papa nativa peruana. |
UNIVERSIDAD DE INGENIERIA Y TECNOLOGIA |
Ingeniería y Tecnología |
Otras Ingenierías y Tecnologías |
Octubre 2022 |
Diciembre 2022 |
YAMILET ROSARIO SERRANO LLERENA |
| Proyectos de investigación |
Agricultural Policy Advisory Fund: Integrated Biodiversity Monitoring and Farm-to-Fork E- commerce to Conserve Ancestral Landraces |
Segunda etapa de un proyecto multidisciplinario en conjunto con CIP con el objetivo de preservar la agrobiodiversidad de la papa nativa peruana. Los entregables fueron: el diseño de una metodología empírica para identificar cuáles son los factores críticos que fomentarían el uso del aplicativo Varscout en forma sostenida por los diferentes tipos de usuarios. y un prototipo funcional de clasificación de diferentes variedades de papas a través de imagenes digitales utilizando deep learning. |
UNIVERSIDAD DE INGENIERIA Y TECNOLOGIA |
Ingeniería y Tecnología |
Otras Ingenierías y Tecnologías |
Enero 2023 |
Marzo 2023 |
YAMILET ROSARIO SERRANO LLERENA |