¿HAS OLVIDADO TU CONTRASEÑA?

Para enviarte una nueva contraseña, escribe la dirección de correo electrónico completa que registraste en el Directorio.

Regresar

REGISTRO

Estimado usuario(a):

El presente módulo está dirigido exclusivamente a nuevos usuarios que desean pertenecer al Directorio Nacional d e Investigadores, Tecnología e Innovación Tecnológica de CONCYTEC.
Ficha CTI Vitae
SIVERONI SALINAS IGOR ALEJANDRO

PhD en Ciencias de la Computacion de Northeastern University, USA, y BSc en Ingenieria Industrial de la PUCP. Sus intereses de investigacion se concentran en las areas de metodos formales, con enfasis en aspectos teoricos de lenguajes de programacion y analisis de programs, y computacion cientifica y aplicada. En el campo de computacion aplicada, se ha dedicado al desarrollo de metodos y herramientas de software para el analisis filogenetico y estudio de la dinamica de enfermedades infecciosas. Desarrollador principal de PhyDyn, una extension de BEAST2 que permite la estimacion simultanea de parametros epidemiologicos y filogenias de patogenos usando informacion genetica (sequencias de ADN). Antes de unirse a UTEC, se desempeño como investigador y desarrollador de software cientifico en el Departamento de epidemiologia de enfermedades infecciosas del Imperial College London donde ademas formo parte del COVID-19 Response Team. Previo a esto, trabajo como investigador en la Universidad de Reading (Evolution Laboratory), City University (Departamento de Ciencias de la Computacion) e Imperial College London (Departamento de Computacion).

Fecha de última actualización: 01-04-2025
 
Código de Registro:   P0333296
Ver:   Ficha Renacyt
Logo Concytec


Scopus Author Identifier: 6508217949

Datos Personales

    Fuente
Apellidos : SIVERONI SALINAS
Nombres: IGOR ALEJANDRO
Género: MASCULINO
Nacionalidad: PERÚ

Datos Actuales

Pagina web personal: https://cris.utec.edu.pe/en/persons/igor-siveroni-salinas
Pais de residencia: Perú

Experiencia Laboral

Institución Cargo Descripción del cargo Cargo en I+d+i Fecha Inicio Fecha Fin
PONTIFICIA UNIVERSIDAD CATOLICA DEL PERU PROFESOR INVESTIGADOR Profesor Investigador en las areas de Bioinformatica, Biologia Computacional y Ciencia de la Computacion Docente Investigador Marzo 2025 A la actualidad
UNIVERSIDAD DE INGENIERIA Y TECNOLOGIA DECANO DE COMPUTACION Decano de Computaron y Director del Centro de Investigación COMPSUST. Director/Jefe de Centro de Investigación Abril 2023 Agosto 2024
IMPERIAL COLLEGE LONDON RESEARCH FELLOW Modelamiento de la dinamica de infección de tuberculosis con el propósito de evaluar políticas de intervención. Implementación de un simulador basado en agentes para el análisis de la dinámica de TB y el efecto de las intervenciones. Otros cargos relacionados a (I+D+i) Diciembre 2021 A la actualidad
IMPERIAL COLLEGE LONDON SCIENTIFIC SOFTWARE DEVELOPER Desarrollo e implementación de métodos computacionales y estadísticos para el análisis de enfermedades infecciosas usando información genética. Otros cargos relacionados a (I+D+i) Noviembre 2015 Setiembre 2021
CITY UNIVERSITY LONDON RESEARCH ASSOCIATE Investigation en las areas de análisis de programas y model checking de modelos UML. Otros cargos relacionados a (I+D+i) Enero 2007 Octubre 2015
CITY UNIVERSITY LONDON RESEARCH ASSOCIATE Investigation en las areas de análisis de programas y model checking de modelos UML. Otros cargos relacionados a (I+D+i) Enero 2007 Octubre 2015
UNIVERSITY OF READING RESEARCH ASSOCIATE Implementacion de codigo de alto rendimiento para realizar análisis de métodos comparativos. Otros cargos relacionados a (I+D+i) Abril 2013 Octubre 2015
IMPERIAL COLLEGE LONDON RESEARCH ASSOCIATE Investigation en análisis de programas y aspectos cuantitativos de lenguajes de programación. Otros cargos relacionados a (I+D+i) Octubre 2000 Abril 2006

Experiencia Laboral como Docente

Institución Tipo Institución Tipo Docente Descripción del cargo Fecha Inicio Fecha Fin
CITY UNIVERSITY LONDON Universidad Contratado Language Processors para el BSc de Computing. Enero 2007 Agosto 2011
IMPERIAL COLLEGE LONDON Universidad Contratado Profesor del cursos de Análisis de Programas. Curso de maestría y ultimo ciclo de carrera. Octubre 2000 Abril 2006

Experiencia como Asesor de Tesis

Universidad Tesis Tesista(s) Repositorio Fecha Aceptación de Tesis

Experiencia como evaluador y/o formulador de proyectos

Tipo de experiencia Ańo Tipo de proyecto Entidad financiadora Nombre del concurso Metodología de evaluación Monto proyecto (USD)

Formación Académica (Fuente: SUNEDU)

Grado Título Centro de Estudios País de Estudios Fuente
BACHILLER BACHILLER EN CIENCIAS CON MENCION EN INGENIERIA INDUSTRIAL Pontificia Universidad Católica del Perú PERÚ
DOCTORADO GRADO DE DOCTOR EN FILOSOFÍA (GRADO DE DOCTOR) NORTHEASTERN UNIVERSITY PERÚ

Formación Académica (Fuente: Manual)

Grado Título Centro de Estudios País de Estudios Fecha de inicio Fecha fin Fuente

Estudios Técnicos

Centro de estudios Carrera Fecha de Inicio Fecha de fin

Estudios académicos y/o técnicos superiores en curso

Centro de estudios Carrera Tipo de estudios Fecha de inicio

Formación Complementaria

Centro de estudios Capacitación complementaria Frecuencia Cantidad País de estudio Fecha de inicio Fecha fin

Idiomas

Idioma Lectura Conversación Escritura Forma de aprendizaje Lengua Materna
INGLES AVANZADO AVANZADO AVANZADO Otros NO

Línea de investigación

Área Sub área Disciplina Temática Ambiental Temática Médica y de la Salud
Ciencias Naturales Computación y ciencias de la información Ciencias de la computación

Producción científica

Tipo Producción Título Autor Año de Producción DOI Revista Fuente Cuartil de ScimagoJR o JCR*
Artículo en revista científica Evaluating the Effects of SARS-CoV-2 Spike Mutation D614G on Transmissibility and Pathogenicity Volz E. 2021 10.1016/J.CELL.2020.11.020 Cell Q1
Artículo en revista científica Recurrent emergence of SARS-CoV-2 spike deletion H69/V70 and its role in the Alpha variant B.1.1.7 Meng B. 2021 10.1016/J.CELREP.2021.109292 Cell Reports Q1
Artículo en revista científica Genetic evidence for the association between COVID-19 epidemic severity and timing of non-pharmaceutical interventions Ragonnet-Cronin M. 2021 10.1038/S41467-021-22366-Y Nature Communications Q1
Artículo en revista científica Additive Uncorrelated Relaxed Clock Models for the Dating of Genomic Epidemiology Phylogenies Didelot X. 2021 10.1093/MOLBEV/MSAA193 Molecular Biology and Evolution Q1
Artículo en revista científica Genomic epidemiology of a densely sampled COVID-19 outbreak in China Geidelberg L. 2021 10.1093/VE/VEAA102 Virus Evolution Q1
Artículo en revista científica Estimating the effects of non-pharmaceutical interventions on COVID-19 in Europe Flaxman S. 2020 10.1038/S41586-020-2405-7 Nature Q1
Other COVID-19 epidemic severity is associated with timing of non-pharmaceutical interventions 2020 10.1101/2020.09.15.20194258 Scopus - Elsevier a través de ORCID
Artículo en revista científica BEAST 2.5: An advanced software platform for Bayesian evolutionary analysis Bouckaert R. 2019 10.1371/JOURNAL.PCBI.1006650 PLoS Computational Biology Q1
Artículo en revista científica Bayesian phylodynamic inference with complex models Volz E.M. 2018 10.1371/JOURNAL.PCBI.1006546 PLoS Computational Biology Q1
Artículo en revista científica Proactive and reactive runtime service discovery: A framework and its evaluation Zisman A. 2013 10.1109/TSE.2012.84 IEEE Transactions on Software Engineering Q1
Artículo en revista científica A UML-based static verification framework for security Siveroni I. 2010 10.1007/S00766-009-0091-Y Requirements Engineering Q2
Conference Paper Property specification and Static Verification of UML models Siveroni I. 2008 10.1109/ARES.2008.194 ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings No Aplica
Journal-article Tempus fugit: How to plug it 2007 10.1016/J.JLAP.2007.02.007 Scopus - Elsevier a través de ORCID
Artículo en revista científica Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks Siveroni I. 2006 10.1016/J.ENTCS.2005.10.041 Electronic Notes in Theoretical Computer Science Q2
Artículo en revista científica Towards verification of well-formed transactions in java card bytecode Hansen R. 2005 10.1016/J.ENTCS.2005.02.032 Electronic Notes in Theoretical Computer Science Q2
Journal-article Operational semantics of the Java Card Virtual Machine 2004 10.1016/J.JLAP.2003.07.003 Scopus - Elsevier a través de ORCID
Artículo en revista científica Constraint systems for useless variable elimination Wand M. 1999 Conference Record of the Annual ACM Symposium on Principles of Programming Languages S/C***

* Sólo se presentan los cuartiles para la producción tipo artículos y review.

** Cuartil no disponible para el año de la publicación.

*** La revista no tiene cuartil en el año de la publicación.


Otras Producciones

Tipo de Producción Título Año de Producción Título de la fuente

Proyectos de Investigación

Tipo Proyecto Título Descripción Institución Fecha de Inicio Fecha Fin Inv. Principal Área OCDE
Proyectos de investigación Secure and Safe Systems based on Static Analysis Determinar la escalabilidad de la tecnología de análisis estático de programas (static analysis) para la validación de aspectos relacionados a la seguridad de lenguajes de programación y aplicaciones realistas. IMPERIAL COLLEGE LONDON Octubre 2000 Setiembre 2003 CHRIS HANKIN
Proyectos de investigación Quantitative Analysis of Computational Resources Investigacion de metodos para la verificacion probabilistica de propiedades relacionadas al acceso, disponibilidad y consumo de recursos computacionales. IMPERIAL COLLEGE LONDON Abril 2004 Abril 2006 CHRIS HANKIN
Proyectos de investigación VIP: Verification with Integer Polyhedra Analysis de programas para verification y detection de ´bugs´ utilizando el dominio abstracto de polyhedros enteros. UNIVERSITY OF KENT Abril 2009 Setiembre 2010 ANDREW KING
Proyectos de investigación Modelling Epidemic Infectious Disease using Sequence Analysis Desarrollo de métodos computacionales y estadísticos que incorporan y analizan información genética y data epidemiológica, para el análisis y modelamiento de enfermedades infecciosas. (. ) UNIVERSIDAD CALIFORNIA SAN DIEGO Setiembre 2014 Mayo 2019 SERGEI POND

Proyectos importados de ORCID

Tipo de financiamiento Título Descripción Institución Fecha de Inicio Fecha de Fin

Derechos de Propiedad Intelectual

Título de la Propiedad Intelectual (PI) Tipo de PI Entidad donde se tramitó la PI País Nombre del propietario de la PI Trámite vía PCT Estado de la patente Número de registrode la PI Rol de participación Participación en los derechos de la PI

Productos de Desarrollo Industrial

Denominación Tipo de desarrollo Tipo de participación Estado del desarrollo Alcance del desarrollo Estado del uso del desarrollo Propietario del desarrollo

Distinciones y Premios

Institución Distinción Descripción País Web Referencia
Contactar investigador Aquí

Los investigadores son responsables por los datos que consignen en la ficha personal del Directorio Nacional de Investigadores en CTeI, la cual podrá ser verificada en cualquier oportunidad por el CONCYTEC.

De comprobarse fraude o falsedad de la información y/o los documentos adjuntados, el CONCYTEC, podrá dar de baja el registro, sin perjuicio de iniciar las acciones, correspondientes.