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