Yamilet Rosario Serrano Llerena

View Scopus Profile

Yamilet Rosario Serrano Llerena

 https://orcid.org/0000-0003-1059-2049

  • Jr. Medrano Silva 165, Barranco 15063

    Peru

Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
20142022

Research activity per year

Personal profile

Professional profile

Doctora en Ciencia de Computación otorgado por el departamento de Ciencia de la Computación de la Universidad Nacional de Singapur (NUS). Primera peruana en obtener el grado de doctor en NUS. Experta en verificación probabilística de softwares críticos, testeo y verificación de software. Actualmente sus proyectos están enfocados en la exploración y minería de datos utilizando técnicas de Inteligencia Artificial. Sus áreas de investigación son Ingeniería de Software, Computación Sostenible, Inteligencia Artificial, Ciencia de Datos y proyectos relacionados con las áreas de Ciencia de Computación. Ha sido parte del equipo de desarrollo académico de la herramienta de trazado de contacto del aplicativo Perú en tus manos junto a más de 40 investigadores del Perú y el extranjero. Actualmente, es la directora de la carrera de Ciencia de Datos y docente investigadora de la carrera de Ciencia de la Computación de Universidad de Ingeniería y Tecnología (UTEC). Además, es miembro activa del centro de Investigación de Computación Sostenible (COMPSUST) y de IEEE Women in Engineering.

Education/Academic qualification

PhD in Computer Science, National University of Singapore

Bachelor, Computer Engineer, Universidad Católica San Pablo

Bachelor of Computer Engineering, Universidad Católica San Pablo

Fingerprint

Dive into the research topics where Yamilet Rosario Serrano Llerena is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint
  • 3 Conference contribution

  • Verifying the long-run behavior of probabilistic system models in the presence of uncertainty

    Llerena, Y. R. S., Böhme, M., Brünink, M., Su, G. & Rosenblum, D. D., 26 Oct 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 587-597 11 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Probabilistic model checking of perturbed MDPs with applications to cloud computing

    Llerena, Y. R. S., Su, G. & Rosenblum, D. S., 21 Aug 2017, ESEC/FSE 2017 - Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. Zisman, A., Bodden, E., Schafer, W. & van Deursen, A. (eds.). Association for Computing Machinery, p. 454-464 11 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. Part F130154).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • Dealing with uncertainty in verification of nondeterministic systems

    Llerena, Y. R. S., 16 Nov 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. Association for Computing Machinery, p. 787-790 4 p. (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering; vol. 16-21-November-2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations