Curriculum Vitæ Daniel Esteban Severin - FCEIA

Curriculum Vitæ
Daniel Esteban Severin
1
Posición actual
• Facultad de Ciencias Exactas, Ingenierı́a y Agrimensura de la Universidad Nacional de Rosario
– Jefe de Trabajos Prácticos con dedicación exclusiva en la Escuela de Formación Básica.
Inicio: 13/06/2011
– Investigador Categorı́a V en el Programa de Incentivos.
• CONICET
– Investigador Asistente
Inicio: 01/05/2015
2
Estudios universitarios
• Licenciado en Ciencias de la Computación, Facultad de Ciencias Exactas, Ingenierı́a y Agrimensura,
Universidad Nacional de Rosario.
Calificación promedio: 9.6/10
Tesina de Grado: Reducción de los Esquemas de Recursión.
• Doctor en Ciencias de la Computación, Facultad de Ciencias Exactas y Naturales de la Universidad
de Buenos Aires (Categorı́a A, Res. CONEAU Nro. 746/11).
Directores de Tesis: Isabel Méndez-Diaz y Graciela Nasini.
Admisión: 4 de abril de 2008 (Res. CD Nro. 893/08).
Presentación de Tesis: 28 de marzo de 2012.
Tesis de Doctorado: Estudio Poliedral y Algoritmo B&C para el Problema de Coloreo Equitativo en
Grafos.
Calificación: 10
3
Antecedentes cientı́ficos
3.1
Publicaciones en revistas internacionales con referato
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. A DSATUR-based algorithm for the Equitable
Coloring Problem. Computers & Operations Research. Volume 57 (2015), págs. 41–50.
doi:10.1016/j.cor.2014.11.014
• Javier Marenco, Marcelo Mydlarz, Daniel Severin. Topological Additive Numbering of Directed Acyclic
Graphs. Information Processing Letters. Volume 115, Issue 2 (2015), págs. 199–202.
doi:10.1016/j.ipl.2014.09.011
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. A polyhedral approach for the Equitable Coloring
Problem. Discrete Applied Mathematics. Volume 164, Part 2 (2014), págs. 413–426.
doi:10.1016/j.dam.2012.11.018
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. A tabu search heuristic for the Equitable Coloring
Problem. Lecture Notes in Computer Science. Volume 8596 (2014), págs. 347–358.
doi:10.1007/978-3-319-09174-7 30
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. An exact DSatur-based algorithm for the Equitable
Coloring Problem. Electronic Notes in Discrete Mathematics. Volume 44 (2013), págs. 281–286.
doi:10.1016/j.endm.2013.10.044
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. Polyhedral results for the Equitable Coloring
Problem. Electronic Notes in Discrete Mathematics. Volume 37 (2011), págs. 159–164.
doi:10.1016/j.endm.2011.05.028
• Daniel Severin. Unary Primitive Recursive Functions. Journal of Symbolic Logic. Volume 73, Issue 4
(2008), págs. 1122–1138.
doi:10.2178/jsl/1230396909
3.2
Publicaciones en actas de congreso
• Graciela Nasini, Daniel Severin. Particionamiento de Nodos de un Digrafo en Circuitos: Modelos
y Aplicación a la Asignación Conductores-Viajes en una Empresa de Transporte. XLVII Simpósio
Brasileiro de Pesquisa Operacional (SBPO). Porto de Galinhas, Brasil. Agosto de 2015.
• Marı́a Eugenia Alvarado, Graciela Nasini, Daniel Severin. Algoritmos de mejora para el Problema de
Asignación Conductores-Viajes en una empresa de transporte. X Congreso del Instituto Chileno de
Investigación Operativa ICHIO (OPTIMA). Concepción, Chile. Octubre de 2013.
http://www.optima2013.cl/articulos/optima2013 submission 114.pdf
• Javier Marenco, Marcelo Mydlarz, Daniel Severin. A Combinatorial Benders’ Approach for the Lucky
Labeling Problem. IV Congreso de Matemática Aplicada, Computacional e Industrial. Volumen 4,
págs. 251–254. Buenos Aires, Argentina. Mayo de 2013.
http://asamaci.org.ar/wp-content/uploads/2013/06/MACI-Vol42013-web.pdf
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. An exact DSatur-based algorithm for the Equitable
Coloring Problem. VII Latin-American Algorithms, Graphs and Optimization Symposium. Playa del
Cármen, México. Abril del 2013.
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. Polyhedral results for the Equitable Coloring
Problem. VI Latin-American Algorithms, Graphs and Optimization Symposium. Bariloche, Argentina.
Marzo del 2011.
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. A Linear Integer Programming approach for Equitable Coloring Problem. II Congreso de Matemática Aplicada, Computacional e Industrial. Volumen
2, págs. 149–152. Rosario, Argentina. Diciembre del 2009.
http://asamaci.org.ar/wp-content/uploads/2012/03/MACI-Vol-2-2009.pdf
• Isabel Méndez-Dı́az, Graciela Nasini, Daniel Severin. A polyhedral approach for the graph equitable
coloring problem. VI ALIO/EURO Workshop on Applied Combinatorial Optimization. Buenos Aires,
Argentina. Diciembre del 2008.
• Claudia Frydman, Daniel Severin, Lucile Torres. Utilización de UML y DEVS para especificar sistemas
y validarlos a través de simulación. 34a Jornadas Argentinas de Informática e Investigación Operativa
(JAIIO-ASSE), Rosario, Argentina. Septiembre del 2005.
• Claudia Frydman, Daniel Severin, Lucile Torres. Extending UML with DEVS for Validating Systems
by Simulation. Summer Computer Simulation Conference, New Jersey, USA. Julio del 2005.
3.3
Participación en congresos, simposios y seminarios
• Nombre de Reunión Cientı́fica: XLVII Simpósio Brasileiro de Pesquisa Operacional
Tipo Reunión Cientı́fica: Simposio (Internacional)
Lugar de la Reunión: Hotel Armaçao, Porto de Galinhas, Brasil
Año de la Reunión: 2015
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: 43a Jornadas Argentinas de Informática e Investigación Operativa
Tipo Reunión Cientı́fica: Simposio (Regional)
Lugar de la Reunión: Universidad de Palermo, Buenos Aires, Argentina
Año de la Reunión: 2014
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: LXII Reunión anual de Comunicaciones Cientı́ficas
Tipo Reunión Cientı́fica: Comunicaciones (Regional)
Lugar de la Reunión: Universidad Nacional de Rosario, Argentina
Año de la Reunión: 2013
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: IV Congreso de Matemática Aplicada, Computacional e Industrial
Tipo Reunión Cientı́fica: Congreso (Regional)
Lugar de la Reunión: Universidad Tecnológica Nacional, Buenos Aires, Argentina
Año de la Reunión: 2013
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: VII Latin-American Algorithms, Graphs and Optimization Symposium
Tipo Reunión Cientı́fica: Simposio (Internacional)
Lugar de la Reunión: Hotel BlueBay Grand Esmerald, Playa del Cármen, México
Año de la Reunión: 2013
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: IV Congreso Latinoamericano de Matemáticos
Tipo Reunión Cientı́fica: Congreso (Regional)
Lugar de la Reunión: Universidad de Córdoba, Argentina
Año de la Reunión: 2012
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: IV Seminario de la Red Latinoamericana Prosul - Opt. discreta y
grafos: Teorı́a, Algoritmos y Aplicaciones
Tipo Reunión Cientı́fica: Seminario (Regional)
Lugar de la Reunión: Universidad Nacional de Rosario, Argentina
Año de la Reunión: 2011
Tipo de participación: Asistente
• Nombre de Reunión Cientı́fica: XIII Workshop de Investigadores en Ciencias de la Computación
Tipo Reunión Cientı́fica: Workshop (Regional)
Lugar de la Reunión: Universidad Nacional de Rosario, Argentina
Año de la Reunión: 2011
Tipo de participación: Colaborador
• Nombre de Reunión Cientı́fica: VI Latin-American Algorithms, Graphs and Optimization Symposium
Tipo Reunión Cientı́fica: Simposio (Internacional)
Lugar de la Reunión: Hotel Edelweiss, Bariloche, Argentina
Año de la Reunión: 2011
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: ALIO-INFORMS Joint International Meeting
Tipo Reunión Cientı́fica: Congreso (Internacional)
Lugar de la Reunión: Facultad de Derecho de la UBA, Argentina
Año de la Reunión: 2010
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: II Congreso de Matemática Aplicada, Computacional e Industrial
Tipo Reunión Cientı́fica: Congreso (Regional)
Lugar de la Reunión: Universidad Austral, Rosario, Argentina
Año de la Reunión: 2009
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: LIX Reunión Anual de Comunicaciones Cientı́ficas
Tipo Reunión Cientı́fica: Comunicaciones (Regional)
Lugar de la Reunión: Universidad Nacional de Mar del Plata, Argentina
Año de la Reunión: 2009
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: Seminario Red Latinoamericana Prosul - Opt. discreta y grafos
Tipo Reunión Cientı́fica: Seminario (Regional)
Lugar de la Reunión: Univ. Nacional General Sarmiento, Buenos Aires, Argentina
Año de la Reunión: 2009
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: VI ALIO/EURO Workshop on Applied Combinatorial Optimization
Tipo Reunión Cientı́fica: Workshop (Internacional)
Lugar de la Reunión: Facultad de Ciencias Exactas y Naturales de la UBA, Argentina
Año de la Reunión: 2008
Tipo de participación: Expositor
• Nombre de Reunión Cientı́fica: 34a Jornadas Argentinas de Informática e Investigación Operativa
Tipo Reunión Cientı́fica: Simposio (Regional)
Lugar de la Reunión: Hotel Ariston, Rosario, Argentina
Año de la Reunión: 2005
Tipo de participación: Expositor
3.4
Tareas de evaluación
• Jurado del tribunal evaluador de la tesina de Federico Bertero, titulada “Optimización de recorridos
en ciudades. Una aplicación al sistema de recolección de residuos sólidos urbanos en el Municipio de
Concordia.” (Septiembre 2015)
• Revisor de 1 trabajo de CLAIO 2014 (congreso internacional) (Mayo de 2014)
• Revisor de 1 trabajo de SSI 2013 de la 42a JAIIO (Junio de 2013)
• Revisor de 1 trabajo de EST 2013 (16o Concurso de Trabajos Estudiantiles) (Junio de 2013)
• Participación como miembro de la Comisión Evaluadora de Profesores Titulares, Asociados y Adjuntos
de la UNR - Carrera Docente Ord. C.S. 651 (Noviembre de 2011)
• Revisor de 1 trabajo de Computational Complexity ISSN: 1016-3328 (revista internacional) (Abril de
2011)
3.5
Participación en proyectos de investigación y desarrollo acreditados
• Nombre del proyecto: PICT-2013-0586 - Complejidad Computacional y Algoritmos de resolución de
Problemas de Optimización Combinatoria
Participación: Becario
Institución otorgante: ANPCyT, SECYT
Perı́odo: 2014/2016
• Nombre del proyecto: PIP 11220120100277 - Combinatoria poliedral, optimización en grafos y aplicaciones
Participación: Becario
Institución otorgante: CONICET
Perı́odo: 2014/2016
• Nombre del proyecto: PID-UNR ING416 - Optimización Combinatoria: Teorı́a y Algoritmos
Participación: Co-director
Institución otorgante: Universidad Nacional de Rosario
Perı́odo: 2013/2016
• Nombre del proyecto: 2010-005-12 (Innovación Produtiva con Institución Adoptante) - Algoritmos de
optimización para la asignación de viajes a conductores en empresas de transporte de pasajeros
Participación: Integrante
Institución otorgante: Secretaria de Estado de Ciencia, Tecnologı́a e Innovación de Santa Fe
Perı́odo: 2013/2015
• Nombre del proyecto: PIP 241 - Combinatoria Poliedral y Aplicaciones
Participación: Becario
Institución otorgante: CONICET
Perı́odo: 2010/2012
• Nombre del proyecto: PID-UNR ING254 - Poliedros y Grafos en Optimización Combinatoria
Participación: Becario (y Responsable Financiero en 2012)
Institución otorgante: Universidad Nacional de Rosario
Perı́odo: 2009/2012
• Nombre del proyecto: PICT 38036 - Optimización Combinatoria y Modelos Económicos
Participación: Becario
Institución otorgante: ANPCyT, SECYT
Perı́odo: 2007/2009
• Nombre del proyecto: PID-UNR ING147 - Optimización Combinatoria, Modelos y Aplicaciones Económicas
Participación: Becario
Institución otorgante: Universidad Nacional de Rosario
Perı́odo: 2006/2008
3.6
Estadı́a de investigación en el exterior financiada
• Institución: Laboratoire des Sciences de l’Information et des Systèmes
Lugar: Université Saint Jérôme, Marsella, Francia
Tipo de actividad: Investigación en Ingenierı́a de Software (Validación de sistemas utilizando el lenguaje
UML y el formalismo DEVS)
Dirección: M.S. Claudia Frydman y Prof. Lucile Torres
Inicio: 01/11/2004
Duración: 6 meses
3.7
Becas recibidas en el pasado
• Beca Posdoctoral otorgada por el Consejo Nacional de Investigaciones Cientı́ficas y Técnicas.
Inicio: 01/04/2012
Fin: 30/04/2015
• Beca Tipo II otorgada por el Consejo Nacional de Investigaciones Cientı́ficas y Técnicas.
Inicio: 01/04/2010
Fin: 30/03/2012
• Beca de Iniciación otorgada por la Agencia Nacional de Promoción Cientı́fica y Tecnológica.
Inicio: 01/10/2007
Fin: 30/10/2010
3.8
Convocatorias
• Beneficiario del Programa A.V.E. Docente 2012 2do. cuatrimestre de la U.N.R.
Seleccionados/Participantes: 2/10
Monto: $4463
Destino: México
4
Formación de Recursos Humanos
4.1
Dirección de trabajos
• Co-director de la tesina de Licenciatura en Matemática de la alumna Ma. Eugenia Alvarado.
Inicio: 09/2012
Fin: 09/2013
4.2
Dirección de pasantı́as
• Director de la práctica profesional supervisada de Licenciatura en Cs. de la Computación del alumno
Federico Bertero.
Inicio: 10/2013
Duración: 6 meses
5
Antecedentes docentes
5.1
Posgrado/Doctorado
• Docente auxiliar y miembro del tribunal examinador de la materia DM-4 Tópicos Avanzados en Optimización Combinatoria y Teorı́a de Grafos de la Escuela de Posgrado y Educación Continua - UNR.
Inicio: 01/08/2013
Duración: Cuatrimestral (40 horas)
5.2
Grado
• Jefe de Trabajos Prácticos, EFB - FCEIA - UNR.
Dedicación: Exclusiva
Materia: Métodos Computacionales e Informática Aplicada
Inicio: 13/06/2011
• Ayudante de Primera, DCC - FCEIA - UNR.
Dedicación: Simple
Materias: Introducción a la Informática e Investigación Operativa.
Inicio: 01/04/2007
Fin: 12/06/2011
• Ayudante de Segunda, DCC - FCEIA - UNR.
Dedicación: Simple
Materia: Probabilidad y Estadı́stica
Inicio: 01/04/2004
Fin: 31/09/2004
5.3
Participación en reuniones de educación matemática
• Expositor del trabajo Un caso de aplicación de Métodos Numéricos mediante el uso de Splines como motivación para la enseñanza y aprendizaje en Ingenierı́a en la XXXVI Reunión de Educación Matemática.
Universidad Nacional de Rosario - Argentina (Septiembre de 2013).
• Disertante en el Ciclo de Conferencias y Coloquios del Depto. de Matemática de la Esc. de F. Básica.
Universidad Nacional de Rosario - Argentina (Agosto de 2012).
6
Realización de Cursos
6.1
Materias aprobadas para el Doctorado
Cada crédito corresponde a 24 horas de cursado.
• Nombre de la materia: Tópicos Avanzados en Teorı́a de Grafos
Lugar: Universidad de La Plata
Créditos: 2
• Nombre de la materia: Programación Lineal Entera Mixta
Lugar: Universidad Nacional de Rosario
Créditos: 3
• Nombre de la materia: Introducción a la Computación Gráfica I
Lugar: Universidad de Buenos Aires
Créditos: 3
• Nombre de la materia: Metaheurı́sticas
Lugar: Universidad de Buenos Aires
Créditos: 2
• Nombre de la materia: Introducción a la Optimización no lineal
Lugar: Universidad de Buenos Aires
Créditos: 3
• Nombre de la materia: Seminario de Matemática Aplicada
Lugar: Universidad Nacional de Rosario
Créditos: 3
• Nombre de la materia: Sistemas Complejos y Máquinas Paralelas
Lugar: Universidad de Buenos Aires
Créditos: 4
6.2
Otros cursos
• Nombre del Curso: Teorı́a de Categorı́as
Institución Organizadora: 14a Escuela de Verano de Ciencias Informáticas
Lugar: Universidad Nacional de Rı́o Cuarto
Fecha: Febrero de 2007
Calificación: 8/10
Cantidad de horas del curso: 12.5
• Nombre del Curso: Especificación y Verificación de Sistemas Reactivos
Institución Organizadora: 14a Escuela de Verano de Ciencias Informáticas
Lugar: Universidad Nacional de Rı́o Cuarto
Fecha: Febrero de 2007
Calificación: 10/10
Cantidad de horas del curso: 12.5
• Nombre del Curso: Procesamiento de Imágenes
Institución Organizadora: 14a Escuela de Verano de Ciencias Informáticas
Lugar: Universidad Nacional de Rı́o Cuarto
Fecha: Febrero de 2007
Calificación: 8/10
Cantidad de horas del curso: 12.5
• Nombre del Curso: Información y Computación Cuántica
Institución Organizadora: Escuela de posgrado, UNR
Lugar: Universidad Nacional de Rosario
Fecha: Segundo cuatrimetre de 2004
Calificación: 8/10
Cantidad de horas del curso: 30
7
Conocimiento de Idiomas
• Idioma: Inglés
Nivel: 6
Posee tı́tulo: SI
Denominación del Tı́tulo: Six years Adults
Institución Otorgante: Academia de Cultura Inglesa de Santa Fe
• Idioma: Francés (6 meses en Francia).
8
Experiencia Laboral
• Pasantı́a realizada en la Municipalidad de Rosario, Argentina.
Descripción: Diversas tareas en el departamento de Seguridad Informática, a cargo del Lic. Martı́n
Degrati.
Inicio: 01/07/2006
Duración: 1 año