Curriculum Vitae - cs@famaf - Universidad Nacional de Córdoba

Curriculum Vitae
Datos Personales
Nombre Completo: Fervari, Ra´
ul Alberto
Tipo y N´
umero de Documento: D.N.I. 32705462
Fecha de Nacimiento: 18/05/1987
Lugar de Nacimiento: Adelia Mar´ıa, C´
ordoba, Argentina
Estado Civil: Soltero
Domicilio:
Facultad de Matem´
atica, Astronom´ıa y F´ısica (FaMAF)
Universidad Nacional de C´
ordoba (UNC)
Oficina 400
Medina Allende s/n, Ciudad Universitaria
(X5000HUA). C´
ordoba, Argentina.
P´
agina Web Personal: http://cs.famaf.unc.edu.ar/~rfervari
Tel´
efono: (0358) 154904169
E-Mail: [email protected]
1. T´ıtulos obtenidos
´ n, Facultad de Matem´
2010-2014 Doctor en Ciencias de la Computacio
atica, Astronom´ıa y
F´ısica, Universidad Nacional de C´
ordoba. T´ıtulo de la tesis: “L´
ogicas Modales con Operadores de
Cambio de Accesibilidad”. Director: Dr. Carlos Areces.
´ n, Universidad Nacional de R´ıo Cuarto.
2005-2010 Licenciado en Ciencias de la Computacio
Promedio: Sin aplazos: 8.63 (ocho c/ sesenta y tres). Con aplazos: 8.42 (ocho c/ cuarenta y dos).
Proyecto Final: “Optimizaci´
on de T´
ecnicas de Abstracci´
on para Especificaciones DynAlloy”.
Director: Dr. Nazareno M. Aguirre. Co-Director: Lic. Pablo D. Ponzio.
´ n, Universidad Nacional de R´ıo Cuarto.
2005-2009 Analista en Computacio
Promedio: Sin aplazos: 8.56 (ocho c/ cincuenta y seis). Con aplazos: 8.21 (ocho c/ veintiuno).
Proyecto Final: “Implementaci´
on de T´
ecnicas de Abstracci´
on para Especificaciones DynAlloy”.
Director: Dr. Nazareno M. Aguirre. Co-Director: Lic. Pablo D. Ponzio.
´ n de las Organizaciones,
1999-2004 Nivel Medio (Bachiller Orientado en Econom´ıa y Gestio
´ n Administrativa), Instituto Adelia Mar´ıa, Adelia Mar´ıa, C´
Especializado en Gestio
ordoba.
2. Antecedentes de Investigaci´on
1. 2014-actualidad Postdoc en Consejo Nacional de Investigaciones Cient´ıficas y T´
ecnicas (CONICET), Argentina.
2. 2012-actualidad Miembro del Grupo Logics, Interaction and Intelligent Systems (LIIS), Facultad
de Matem´
atica, Astronom´ıa y F´ısica (FaMAF), Universidad Nacional de C´
ordoba, Argentina.
3. 2010-2012 Miembro del Grupo de Procesamiento de Lenguaje Natural (PLN), Facultad de Matem´
atica, Astronom´ıa y F´ısica (FaMAF), Universidad Nacional de C´
ordoba, Argentina.
3. Antecedentes de Docencia
1
3.1.
Cargos en instituciones
1. 2013-actualidad Profesor Ayudante A (por selecci´
on interna), en la Facultad de Matem´
atica,
Astronom´ıa y F´ısica (FaMAF), Universidad Nacional de C´
ordoba.
Materias:
Algoritmos y Estructuras de Datos I (Te´
orico-pr´
acticos, laboratorios).
Introducci´
on a la L´
ogica y la Computaci´
on (Te´
oricos, pr´
acticos.).
Introduci´
on a los Algoritmos (Te´
oricos, pr´
acticos).
2. 2008-2010 Ayudante de Segunda Rentado (por concurso), en el Departamento de Computaci´
on
de la Facultad de Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio
Cuarto. Materias:
Estructuras de Datos y Algoritmos - Algoritmos I (Dictadas en Conjunto).
Programaci´
on Avanzada.
3. 2007 Ayudante Voluntario, en el Departamento de Computaci´
on de la Facultad de Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio Cuarto. Materias:
Programaci´
on Avanzada.
3.2.
Invitaci´
on para el dictado de cursos en otras entidades o eventos
1. European Summer School in Logic, Language and Information (ESSLLI) 2015, Barcelona, Espa˜
na.
Curso: “Logics: A Dynamic Perspective”, en conjunto con el Dr. Carlos Areces1 .
4. Publicaciones
4.1.
En revistas especializadas
[J3] Areces, C., van Ditmarsch, H., Fervari, R., Schwarzentruber, F.. The Modal Logic of Copy
and Remove.
Aceptado para su publicaci´
on en special issue of “Information and Computation” (selected journal
versions of papers presented at WoLLIC 2014).
[J2] Areces, C., Fervari R., Hoffmann G.. Relation-Changing Modal Operators.
Aceptado para su publicaci´
on en Logic Journal of IGPL, 2015.
[J1] Areces, C., Fervari R., Hoffmann G.. Swap Logic.
In Logic Journal of IGPL, volume 22 number 2, pages 309–332, 2014.
4.2.
En proceedings de conferencias y otros eventos cient´ıficos
[C5] Areces, C., van Ditmarsch, H., Fervari, R., Schwarzentruber, F.. Logics with Copy and Remove.
In U. Kohlenbach, P. Barcel´
o and R. Queiroz, editors, Logic, Language, Information and Computation, volume 8652 of Lecture Notes in Computer Science, pages 51–65. Springer Berlin Heidelberg,
2014.
[C4] Fervari, R.. The Impact of Including Model Update Operators in Modal Logics.
In M. Colinet, S. Katrenko and R. Rendsvig, editors, Pristine Perspectives on Logic, Language, and
Computation - ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers, volume 8607 of
Lecture Notes in Computer Science, pages 91–108. Springer Berlin Heidelberg, 2014.
[C3] Areces, C., Fervari R., Hoffmann G.. Tableaux for Relation-Changing Modal Logics.
In P. Fontaine, C. Ringeissen, and R. Schmidt, editors, Frontiers of Combining Systems, volume 8152
of Lecture Notes in Computer Science, pages 263–278. Springer, 2013.
[C2] Areces, C., Fervari R., Hoffmann G.. Moving Arrows and Four Model Checking Results.
In L. Ong and R. Queiroz, editors, Logic, Language, Information and Computation, volume 7456 of
Lecture Notes in Computer Science, pages 142–153. Springer Berlin Heidelberg, 2012.
1 Curso
evaluado y aceptado para ser dictado en ESSLLI 2015.
2
[C1] Fervari R.. The Expressive Power of Swap Logic.
In ESSLLI StuS 2012, Opole, Poland, 2012.
4.3.
Tesis
[T1] Fervari, R.. Relation-Changing Modal Logics.
Tesis Doctoral, Facultad de Matem´
atica, Astronom´ıa y F´ısica, Universidad Nacional de C´
ordoba,
Argentina, 2014.
4.4.
Art´ıculos de divulgaci´
on
˜ o R., Degiovanni R., Fervari R., Ponzio P., Aguirre N.. Mejorando la Aplicaci´
[D2] Arin
on de Abstracci´
on por Predicados a Especificaciones DynAlloy.
I Workshop de Aspectos Te´
oricos de Ciencias de la Computaci´
on, XVI Congreso Argentino de Ciencias
de la Computaci´
on (CACIC 2010), Mor´
on, Provincia de Buenos Aires, 2010.
˜ o R., Degiovanni R., Fervari R., Ponzio P., Aguirre N.. Towards Scaling Up DynAlloy
[D1] Arin
Analysis using Predicate Abstraction.
VI Workshop de Ingenier´ıa de Software, XV Congreso Argentino de Ciencias de la Computaci´
on
(CACIC 2009), San Salvador de Jujuy, 2009.
4.5.
Otros reportes
˜ o R., Degiovanni R., Fervari R.. Optimizaci´
[R2] Arin
on de T´
ecnicas de Abstracci´
on por Predicados
para Especificaciones DynAlloy.
Trabajo Final de la Licenciatura en Ciencias de la Computaci´
on, Departamento de Computaci´
on
de la Facultad de Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio
Cuarto, Argentina, 2010.
˜ o R., Degiovanni R., Fervari R.. Implementaci´
[R1] Arin
on de T´
ecnicas de Abstracci´
on por Predicados
para Especificaciones DynAlloy.
Trabajo Final de Analista en Computaci´
on, Departamento de Computaci´
on de la Facultad de Ciencias
Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio Cuarto, Argentina, 2009.
5. Becas y Premios Obtenidos
2012 Premio Best Poster Award (mejor poster) en European Summer School in Logic, Language
and Information (ESSLLI) 2012, Opole, Polonia.
2012 Beca de Asistencia a European Summer School in Logic, Language and Information (ESSLLI)
2012, Opole, Polonia.
´
2010-2014 Beca de Doctorado PFDT (Proyecto de Formaci´
on de Doctores en Areas
Tecnol´
ogicas
Prioritarias), SECyT, Universidad Nacional de C´
ordoba, y FONCyT, Agencia Nacional de Promoci´
on
Cient´ıfica y Tecnol´
ogica. Director: Dr. Carlos Areces.
2009 Beca TICs 2009, otorgada por la Secretar´ıa de Pol´ıticas Universitarias del Ministerio de Edu´
caci´
on de la Naci´
on, a trav´
es del Programa Nacional de Becas para Carreras de Grado en Areas
TICs
(PNBTICS).
2008 Beca de Ayudant´ıa de Investigaci´
on, financiada por la Secretar´ıa de Ciencia y T´
ecnica de la
Universidad Nacional de R´ıo Cuarto. Nombre del Proyecto: “Implementaci´
on de una Herramienta
para la Abstracci´
on de Especificaciones DynAlloy”. Director: Dr. Nazareno M. Aguirre. Co-Director:
Lic. Pablo D. Ponzio. Resoluci´
on Rectoral Nro. 507/08.
6. Participaci´on en proyectos de investigaci´on
[P8] 2014-2017 Miembro del Proyecto “Expresividad en XPath”. PICT-Raices, ANPCyT, Argentina.
Director: Dr. Carlos Areces.
[P7] 2014-2015 Miembro del Proyecto “MISMT - Modally Inspired SMT”. STIC-AmSud, Colaboraci´
on
entre Argentina, Brasil y Francia. Coordinadores: Dr. Carlos Areces, Dr. David D´
eharbe y Dr. Pascal
Fontaine.
3
[P6] 2014-2015 Miembro del Proyecto “Expresividad de Dominios de Planning y su Optimizaci´
on”.
SeCyT, Universidad Nacional de C´
ordoba, Argentina. Director: Dr. Carlos Areces.
[P5] 2011-2015 Participante del Proyecto MEALS: Mobility between Europe and Argentina applying
Logics to Systems, PEOPLE, Marie Curie Actions, International Research Staff Exchange Scheme,
FP7-PEOPLE-2011-IRSES.
[P4] 2012-2013 Miembro del Proyecto “Inferencia Din´
amica y Aplicaciones”, SeCyT, Universidad Nacional de C´
ordoba, Argentina. Director: Dr. Carlos Areces.
[P3] 2011-2014 Miembro del Proyecto “Simulaciones. Caracterizaci´
on, Complejidad y Algoritmos Optimizados”, PICT-Bicentenario, ANPCyT, Argentina. Director: Dr. Carlos Areces.
[P2] 2010-2011 Miembro del Proyecto “Planning sobre Estructuras Relacionales”, SeCyT, Universidad
Nacional de C´
ordoba, Argentina. Director: Dr. Carlos Areces.
[P1] 2008-2010 Colaborador Alumno del Proyecto “Motivando la Curiosidad Cient´ıfica en la Licenciatura
en Ciencias de la Computaci´
on”, PIIMEG (Proyectos de Innovaci´
on e Investigaci´
on para el Mejoramiento de la Ense˜
nanza de Grado), Universidad Nacional de R´ıo Cuarto. Director: Mg. Francisco
Bavera. Resoluci´
on Rectoral Nro. 1331/08.
7. Colaboraci´on en Reuniones Cient´ıficas
7.1.
Internacionales
Revisor de The Review of Symbolic Logic.
Revisor en Symposium on Applied Computing (SAC) 2015. Salamanca, Espa˜
na.
Miembro del Comit´
e de Programa del Simposio Latinoamericano de Teor´ıa Computacional, en Conferencia Latinoamericana en Inform´
atica (CLEI) 2014. Montevideo, Uruguay.
Revisor en Advances in Modal Logic (AiML) 2014. Groningen, Holanda.
Revisor en Conferencia Latinoamericana en Inform´
atica (CLEI) 2014. Montevideo, Uruguay.
Revisor en Methods for Modalities (M4M) 2013. Nueva York, Estados Unidos.
Revisor en Advances in Modal Logic (AiML) 2012. Copenhague, Dinamarca.
Colaborador del Comit´
e de Organizaci´
on en The Symposium on Automatic Program Verification
(APV 2009) y 16 Escuela de Verano de Ciencias Inform´
aticas Rio 2009. Departamento de Computaci´
on, Universidad Nacional de Rio Cuarto y ETH Z¨
urich, Suiza. 15 - 21 de Febrero de 2009.
7.2.
Nacionales
Revisor en EST 2013 (sesi´
on de estudiantes de JAIIO). C´
ordoba, Argentina.
8. Asistencia a Congresos y Jornadas
8.1.
Internacionales
Workshop on Logic, Language, Information and Computation (WoLLIC) 2014. Valpara´ıso, Chile.
Workshop on Logic, Language, Information and Computation (WoLLIC) 2012. Buenos Aires, Argentina.
Advances in Modal Logic (AiML) 2012, Copenhague, Dinamarca.
European Summer School in Logic, Language and Information (ESSLLI) 2012, Opole, Polonia.
The Symposium on Automatic Program Verification (APV 2009).
Departamento de Computaci´
on, Universidad Nacional de Rio Cuarto y ETH Z¨
urich, Suiza. 15 de
Febrero de 2009.
4
8.2.
Nacionales
14, 15, 16, 17, 18 y 19 Escuela de Verano de Ciencias Inform´
aticas Rio.
Departamento de Computaci´
on. Universidad Nacional de Rio Cuarto. De 2007 a 2011.
Escuela de Ciencias Inform´
aticas (ECI), ediciones 2009 y 2010.
Departamento de Computaci´
on, Universidad de Buenos Aires.
XII, XIII y XV Congreso Argentino de Ciencias de la Computaci´
on (CACIC).
2006, 2007 y 2009.
III Escuela de Postgrado (Escuela PAV), Red ProTIC (Red para la Promoci´
on de las Tecnolog´ıas de
la Informaci´
on y la Comunicaci´
on).
Universidad Nacional de Cuyo (Mendoza). 2 - 6 de Junio de 2008.
9. Visitas de Investigaci´on
1. Visita al equipo CELLO, Laboratoire Lorrain de Recherche en Informatique et ses Applications
(Loria), Nancy, France. A trabajar con el Dr. Hans van Ditmarsch, financiado por Proyecto MEALS.
Febrero de 2013, Julio de 2014.
2. Visita al equipo VeriDiS, Laboratoire Lorrain de Recherche en Informatique et ses Applications
(Loria), Nancy, France. A trabajar con los Drs. Pascal Fontaine y Stephan Merz, financiado por
Proyecto MEALS. Agosto de 2012.
3. Visita a la Universidade Federal do Rio de Janeiro (UFRJ) y Universidade de S˜
ao Paulo. Octubre de
2011.
10. Presentaciones
2014 Presentaci´
on en WoLLIC’14, Valpara´ıso, Chile. Tesis Doctoral, FaMAF, UNC, C´
ordoba, Argentina.
2013 Seminario para Alumnos de Matem´
atica, FaMAF, UNC, C´
ordoba, Argentina.
2012 Presentaci´
on en WoLLIC’12, Buenos Aires, Argentina. Seminario Equipo VeriDiS, Loria, Nancy,
Francia. Presentaci´
on de poster en ESSLLI’12 Student Session, Opole, Polonia.
2011 Seminario “Logic in Rio” y Seminario para Alumnos, UFRJ, Rio de Janeiro, Brasil y Seminario
en USP, S˜
ao Paulo, Brasil.
2009 Presentaci´
on en CACIC’09.
11. Formaci´on de Recursos Humanos
11.1.
Docente Gu´ıa en Pasant´ıas
[G1] Facundo Ramallo, Intel Argentina Software Development Center, C´
ordoba, Argentina.
11.2.
Jurado de Tesis de Grado
[M1] Gisela Rossi. L´
ogicas Modales con Datos Infinitos. FaMAF, UNC, 2015.
12. Cursos de Post-grado
Sem´
anticas de Procesos y Aplicaciones. Dr. Mat´ıas Lee, Universidad Nacional de C´
ordoba.
Introducci´
on a la Teor´ıa de Complejidad Computacional. Dr. Guillaume Hoffmann, Universidad Nacional de C´
ordoba.
L´
ogicas Modales. Dr. Carlos Areces, Universidad Nacional de C´
ordoba.
5
Automated Test Generation and Repair.
Dr. Darko Marinov, University of Illinois at Urbana-Champaign, Estados Unidos.
18 Escuela de Verano de Ciencias Inform´
aticas, Universidad Nacional de R´ıo Cuarto, Argentina. 14
- 19 de febrero de 2011.
An´
alisis Autom´
atico de Programas: de la Teor´ıa a la Pr´
actica.
Dr. Diego Garbervetsky y Lic. Guido de Caso, University of Buenos Aires, Argentina.
18 Escuela de Verano de Ciencias Inform´
aticas, Universidad Nacional de R´ıo Cuarto, Argentina. 14
- 19 de febrero de 2011.
Synthesis from Temporal Specifications with Applications in Robotics and Model-driven Development.
Dr. Nir Piterman, Imperial College London, UK.
Escuela de Ciencias Inform´
aticas ECI 2010. Departamento de Computaci´
on, Universidad de Buenos
Aires. 26 - 30 de Julio de 2010.
Generaci´
on de Lenguaje Natural / Generaci´
on de Instrucciones en un Entorno Virtual.
Dr. Carlos Areces y Dra. Luciana Benotti, INRIA Grand Est, Francia y Universidad Nacional de
C´
ordoba.
Escuela de Ciencias Inform´
aticas ECI 2010. Departamento de Computaci´
on, Universidad de Buenos
Aires. 26 - 30 de Julio de 2010.
Introducci´
on a la Teor´ıa de Categor´ıas.
Dr. Javier Blanco, Universidad Nacional de C´
ordoba y Universidad Nacional de R´ıo Cuarto.
13. Cursos Aprobados
Fundamentos Formales de Especificaciones Algebraicas Heterog´
eneas.
Dr. Carlos G. L´
opez Pombo, Departamento de Computaci´
on, FCEyN, Universidad de Buenos Aires
- CONICET.
17 Escuela de Verano de Ciencias Inform´
aticas Rio 2010. Universidad Nacional de R´ıo Cuarto. 15 20 de Febrero de 2010.
MaRTE OS: POSIX Operating System for Real-Time Embedded Applications.
Dr. Mario Aldea, Universidad de Cantabria, Espa˜
na.
Escuela de Ciencias Inform´
aticas ECI 2009. Departamento de Computaci´
on, Universidad de Buenos
Aires. 3 - 8 de Agosto de 2009.
Contract-Based Development in Eiffel.
Dr. Bertrand Meyer, ETH Z¨
urich, Suiza.
16 Escuela de Verano de Ciencias Inform´
aticas Rio 2009.
Universidad Nacional de Rio Cuarto. 16 - 21 de Febrero de 2009.
Stringology.
Dr. Yo´
an Pinz´
on, Universidad Nacional de Colombia.
16 Escuela de Verano de Ciencias Inform´
aticas Rio 2009.
Universidad Nacional de Rio Cuarto. 16 - 21 de Febrero de 2009.
L´
ogica Computacional y Demostraci´
on Autom´
atica.
Dr. Carlos Areces, INRIA Lorraine, Francia.
15 Escuela de Verano de Ciencias Inform´
aticas Rio 2008.
Universidad Nacional de Rio Cuarto. 18 - 23 de Febrero de 2008.
Transformaci´
on de Grafos y sus Aplicaciones al Modelado de Software.
Dr. Fernando Orejas, Universidad Polit´
ecnica de Catalunya.
15 Escuela de Verano de Ciencias Inform´
aticas Rio 2008.
Universidad Nacional de Rio Cuarto. 18 - 23 de Febrero de 2008.
L´
ogica en Ciencias de la Computaci´
on. Un enfoque multidisciplinario.
Dra. Ver´
onica Dahl, Universidad Simon Fraser, Canad´
a.
14 Escuela de Verano de Ciencias Inform´
aticas Rio 2007.
Universidad Nacional de Rio Cuarto. 19 - 24 de Febrero de 2007.
Computaci´
on en Clusters y Multiclusters2 : Ejecuci´
on Eficiente de Aplicaciones y Tolerancia a Fallos.
Dr. Emilio Luque, Dra. Dolores Rexachs, UAB, Espa˜
na.
X Escuela Internacional de Inform´
atica CACIC 2006.
Universidad Nacional de San Luis. 17 de Octubre de 2006.
2 Certificado
de aprobaci´
on en tr´
amite (no fue enviado por la universidad correspondiente).
6
14. Cursos Asistidos
Programaci´
on en Sistemas Distribuidos.
Dr. Remo Suppi, UAB, Espa˜
na.
XV Congreso Argentino de Ciencias de la Computaci´
on CACIC 2009. Facultad de Ingenier´ıa. Universidad Nacional de Jujuy.
5 - 9 de Octubre de 2009.
Approximation Algorithms.
Dr. Juli´
an Mestre, Max Planck Institute f¨
ur Informatik, Alemania.
Escuela de Ciencias Inform´
aticas ECI 2009. Departamento de Computaci´
on, Universidad de Buenos
Aires.
3 - 8 de Agosto de 2009.
Modelado y Simulaci´
on de Sistemas Din´
amicos: M´
etodos, Algoritmos y Herramientas.
Dr. Ernesto Kofman. Laboratory for System Dynamics and Signal Processing. School of Electronic
Engineering - FCEIA. Universidad Nacional de Rosario.
Escuela de Ciencias Inform´
aticas ECI 2009. Departamento de Computaci´
on, Universidad de Buenos
Aires.
3 - 8 de Agosto de 2009.
Argumentaci´
on en Agentes Inteligentes: Teor´ıa y Aplicaciones.
Dr. Carlos Ches˜
nevar, Universidad Nacional del Sur, Bah´ıa Blanca, Argentina.
III Escuela de Postgrado (Escuela PAV), Red ProTIC (Red para la Promoci´
on de las Tecnolog´ıas de
la Informaci´
on y la Comunicaci´
on). Universidad Nacional de Cuyo.
2 - 6 de Junio de 2008.
Taller de Computaci´
on Distribuida.
Dr. Alejandro Zunino, Universidad Nacional del Centro de la Provincia de Buenos Aires. Dr. Carlos
Garc´ıa Garino, Universidad Nacional de Cuyo.
III Escuela de Postgrado (Escuela PAV), Red ProTIC (Red para la Promoci´
on de las Tecnolog´ıas de
la Informaci´
on y la Comunicaci´
on). Universidad Nacional de Cuyo.
2 - 6 de Junio de 2008.
Procesamiento Digital de Im´
agenes.
Ing. Guillermo Sampallo.
XI Escuela Internacional de Inform´
atica CACIC 2007. Facultad Regional Resistencia. Universidad
Tecnol´
ogica Nacional. 1 - 5 de Octubre de 2007.
Seminario de Programaci´
on en C.
Lic. Marcelo Arroyo.
Centro de estudiantes de Ingenier´ıa, Universidad Nacional de Rio Cuarto. 9, 13 y 23 de Noviembre
de 2005.
15. Tareas Acad´emicas-Administrativas
Delegado de la Facultad de Matem´
atica, Astronom´ıa y F´ısica, en el Gremio de los Docentes e Investigadores Universitarios de C´
ordoba (ADIUC). 2014 a 2016.
Miembro Titular de la Comisi´
on Asesora de Computaci´
on (CAC), Facultad de Matem´
atica, Astronom´ıa y F´ısica, Universidad Nacional de C´
ordoba. 2012 a 2014.
Veedor en Concursos Docentes en la Facultad de Matem´
atica, Astronom´ıa y F´ısica, Universidad
Nacional de C´
ordoba.
Consejero Titular del Claustro Alumno en el Departamento de Computaci´
on de la Facultad de Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio Cuarto. Per´ıodo 2009/10.
Seg´
un Resoluci´
on Consejo Directivo Nro. 242/09.
Consejero Titular del Claustro Alumno en el Departamento de Computaci´
on de la Facultad de Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio Cuarto. Per´ıodo 2008/09.
Seg´
un Resoluci´
on Consejo Directivo Nro. 270/08.
Miembro Suplente de la Comisi´
on Curricular Permanente del Claustro Alumno en el Departamento
de Computaci´
on de la Facultad de Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio Cuarto. Per´ıodo 2008/09. Seg´
un Resoluci´
on Consejo Directivo Nro. 150/08 Providencia Resolutiva Nro. 020/08.
7
Consejero Suplente del Claustro Alumno en el Departamento de Computaci´
on de la Facultad de
Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio Cuarto. Per´ıodo
2007/08. Seg´
un Resoluci´
on Consejo Directivo Nro. 218/07.
Consejero Suplente del Claustro Alumno en el Departamento de Computaci´
on de la Facultad de
Ciencias Exactas, F´ısico-Qu´ımicas y Naturales de la Universidad Nacional de Rio Cuarto. Per´ıodo
2006/07. Seg´
un Resoluci´
on Consejo Directivo Nro. 261/06.
16. Conocimientos de Idioma
Espa˜
nol∗
Ingl´
es
Franc´
es
Lectura
Avanzada
Avanzada
Principiante
Conversaci´
on
Avanzada
Avanzada
Principiante
∗ Lenguaje nativo.
´
Ultima
vez actualizado 29 de abril de 2015.
8
Escritura
Avanzada
Avanzada
Principiante