Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

NICOLÁS KICILLOF Fecha de Nacimiento:

Octubre 29, 1968

Nacionalidad:

Argentino

DNI:

20.567.268

Estado civil:

Casado

Estudios cursados Cursando el Doctorado en Ciencias de la Computación (Universidad de Buenos Aires). Licenciado en Ciencias de la Computación – Diploma de Honor (UBA). Analista Universitario en Computación (UBA). Microsoft Certified Systems Engineer (NT). Compaq Accredited Systems Engineer (HP ASE). Microsoft Certified Application Developer (C#.NET).

Idiomas Español: lengua maternal Italiano: lectura fluida

Francés y Portugués: conversación y lectura fluidas Inglés: conversación y lectura fluidas • Certificate of Proficiency in English. University of Cambridge, GB (1987). • Certificate of Proficiency in English. University of Michigan, USA (1986).

Antecedentes Docentes • Profesor Adjunto Interino, Dedicación Simple y Semiexclusiva. DC, FCEyN, UBA. Materias: Algoritmos y Estructuras de Datos I (2001–2002, 2004–...); Paradigmas de Lenguajes de Programación (2002–2004), Nuevas Tendencias en Tecnologías de Desarrollo de Aplicaciones (2004). • Profesor. Especialización de Postgrado en Ingeniería de Software, Universidad Empresarial Siglo 21, Córdoba, Argentina. Materia Complementos Tecnológicos (2003). • Jefe de Trabajos Prácticos, Dedicación Semiexclusiva, DC, FCEyN, UBA. Materia Algoritmos y Estructuras de Datos I (1998–2000). • Ayudante de 1ª, Dedicación Semiexclusiva, DC, FCEyN, UBA. Materias: Algoritmos y Estructuras de Datos II (1994–1995); Enfoques Semánticos (1996); Aspectos Recientes de la Programación Funcional (1997). • Ayudante de 2ª. DC, FCEyN, UBA. Materias: Matemática Discreta (1991). Lógica (1991). Laboratorio IV de Programación (1992–1993).

Actuación en el Área Privada • Consultor para el Grupo de Herramientas y Pruebas de Protocolos, Microsoft Corporation, Redmond, Washington. Modelado de protocolos, desarrollo de herramientas de modelado y prueba (2007). • Socio (1994–…) y Gerente de Consultoría (1994–2006). Tree Consultoría y Capacitación Informática. Interacción con clientes, coordinación de consultores, liderazgo de proyectos de desarrollo de software, planeamiento estratégico en TICs. • Fundador y Gerente Técnico (CTO). Outdoor Computing. Liderazgo de un equipo de consultoría y desarrollo en plataformas móviles e inalámbricas (1999–2003). • Fundador y Director de Proyectos. Tone Computación. Liderazgo de equipos de desarrollo de software y de consultoría en redes para diversas empresas (1992–1994). • Instructor en cursos de capacitación informática, y asesor en el área de sistemas en diversas empresas. desarrollo de software, instalación y mantenimiento de redes de computadoras, comunicaciones (1990–1992). • Fundador e instructor de lenguajes de programación. Taller de Computación SIGMA (1987–1992). • Docente auxiliar en cursos de programación. Instituto de Computación Pollitzer (1986).

Actuación en el Área Institucional • Director Adjunto. Departamento de Computación, FCEyN, UBA (2005–…). • Representante electo del Claustro de Profesores. Consejo Departamental, DC, FCEyN, UBA (2006–…). • Faculty Sponsor para la UBA y miembro del Consejo Asesor Académico para América Latina y el Caribe. Microsoft Research External Research and Programs (2003–…). • Evaluador externo de proyectos FONTAR. ANPCyT (2005, 2006). • Asesor en Informática y Responsable Técnico. Programa Reporte, Secretaría de Educación, GCBA (1998–2005). • Integrante de Comité de Pares Evaluadores de proyectos de carreras de posgrado en el área de Ingeniería de Software. Comisión Nacional de Evaluación y Acreditación Universitaria, Ministerio de Educación (2004). • Especialista Técnico en Informática y Redes. Proyecto de Fortalecimiento de la Secretaría de Educación de la Ciudad de Buenos Aires, Banco Interamericano de Desarrollo (BID) (enero–abril de 2002). • Consultor Técnico. Naciones Unidas. Convenio con el INDEC para el cálculo del índice de precios al consumidor (2000–2001); Proyecto para la determinación del Producto Bruto Geográfico de la Ciudad de Buenos Aires (marzo de 2000); Proyecto PNUD ARG/97/007, Descentralización del Gobierno de Buenos Aires (1998). -1-

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

• Secretario Académico. Cámara Argentina de Centros de Capacitación Informática (1996). • Representante electo del Claustro de Graduados. Consejo Departamental, DC, FCEyN, UBA (1995–1996). • Dirección del área informática. Colegio Paideia (Buenos Aires, 1992).

Cursos Realizados • Universidades nacionales: Lógica y bases de datos (A. Mendelson), Lógica computacional (F. Naishtat), Derivación formal de programas (P. Elustondo), Programación funcional (A. Martínez), Construcción formal de programas (A. Haeberer), Álgebras de procesos (J. Blanco), Verificación formal de sistemas concurrentes distribuidos (D. Yankelevich), Programación funcional actual (S. Clérici), Bases de datos distribuidas (L. Gravano), Mantenimiento e instalación de redes (J. Dunayevich), Introducción a la teoría clásica de la recursión (P.Odifreddi), Introducción al procesamiento de lenguaje natural (J. Álvarez), Especificación y complejidad en el cálculo científico (J. Heintz), Sistemas de tipos para demostraciones asistidas por computadora (A. Miquel), Programación Orientada a Objetos (M. Prieto). • Área privada: lenguajes de programación varios; Instalación y Mantenimiento de NetWare; Workshop de Unix y TCP/IP; Instalación y Configuración de Windows 95; Soporte de Systems Management Server; Soporte de Windows NT 4; Instalación y Soporte de SNA Server, Creación y Configuración de Servidores Web; Instalación de Windows 2000; Ingeniería Web y de Software en Ambiente .NET; Workshop sobre Currículum .NET 2003 y 2004; Workshop sobre Windows Server 2003; Desarrollador 5 Estrellas .NET, Rational y WebSphere: Plataformas de Desarrollo de Software IBM; Microsoft Research Faculty Summit 2004, 2005 y 2006. • Estudiante en la Escuela Superior Latinoamericana de Informática (ESLAI) con beca completa (1990–1991). • Proyecto de diseño y construcción de CPU basadas en procesadores Intel, Bucknell University, Pennsylvania EEUU (1987).

Publicaciones Científicas • “Achieving Both Model and Code Coverage with Automated Gray-Box Testing”, N. Kicillof, W. Grieskamp, N. Tillmann, V. Braberman. Enviado a International Symposium on Software Testing and Analysis (ISSTA 2007). • “A Toolsuite for the Verification of Real-Time Systems in Eclipse”, L. Cavatorta, G. de Caso, A. Ferrari, V. Braberman, D. Garbervetsky, N. Kicillof, A. Olivero, F. Schapachnik. OOPSLA Workshop on Eclipse Technology eXchange (eTX 2006). • “Action Machines: a Framework for Encoding and Composing Partial Behaviors”, W. Grieskamp, N. Kicillof, N. Tillmann. International Journal on Software and Knowledge Engineering, 16(5): 705-726 (Oct. 2006). • “Improving AOP Systems’ Evolvability by Decoupling Advices from Base Code”, A. Cyment, N. Kicillof, R. Altman, rd F. Asteasuain. 3 ECOOP Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE 2006). nd • “Enhancing model-based AOP with behavior representation”, A. Cyment, N. Kicillof, F. Asteasuain. 2 Workshop on Models and Aspects – Handling Crosscutting Concerns in MSMD (MA 2006). • “A Schema Language for Coordinating Construction and Composition of Partial Behavior Descriptions”, W. th Grieskamp, N. Kicillof. 5 International Workshop on Scenarios and State Machines (SCESM 2006). • “A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties”, V. Braberman, N. Kicillof and A. Olivero. IEEE Transactions on Software Engineering, 31(12): 1028-1041 (Dic. 2005). • “Behavioural Composition in Symbolic Domains”, W. Grieskamp, N. Kicillof, C. Campbell, P. Roy, W. Schulte, N. Tillmann, M. Veanes, 7th International Workshop on Aspect-Oriented Modeling (Models 2005). • “On the Need for Setpoints”, R.Altman, A.Cyment, N.Kicillof, European Interactive Workshop on Aspects in Software (EIWAS 2005). • “VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems”, A. Alfonso, V. Braberman, D. Garbervetsky, N. Kicillof, A. Olivero and F. Schapachnik, First Conference on the Principles of Software Engineering (PRISE 2004). th • “Visual Timed Event Scenarios”, A. Alfonso, V. Braberman, N. Kicillof, A. Olivero, 26 International Conference on Software Engineering (ICSE 2004), ACM Press. • “Detecting and Solving Architectural Problems with JACAL”, N. Kicillof, D. Yankelevich, First Australian Workshop on Constructing Software Engineering Tools (AWCSET 1998). • Tesis de Licenciatura: “Running Software Architectures”. Director, Dr. Daniel Yankelevich. Incluyó la creación de JACAL (lenguaje de descripción de arquitecturas de software) y el desarrollo de un ambiente de diseño y ejecución de sistemas descriptos en JACAL (1997).

Participación en Proyectos y Programas de Investigación • Microsoft Research Fellow. Distinción otorgada anualmente a sólo 2 estudiantes latinoamericanos (2007–2008). • Investigador. Proyecto “Teoría y Herramientas para la Construcción de Software Crítico” (PICT 11-11738), Agencia Nacional de Promoción Científica y Tecnológica, Argentina (2003–2007). • Pasante Investigador. Grupo Foundations of Software Engineering, Microsoft Research, Redmond Lab. Mentor: Wolfgang Grieskamp. Redmond, WA, EEUU (junio–octubre 2005, junio–diciembre 2006).

-2-

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

• Investigador. Proyectos financiados por IBM mediante sus Premios a la Innovación: “Early Bug Detection by Inferring Semantic Properties” (2006); “Plugging the VinTiME Tool Suite for Verification and Validation of Real-Time and Embedded Systems into Eclipse” (2005); “Seamlessly migrating Java applications to Java RealTime with Eclipse in teaching, research and development environments” (2004). • Codirector. Proyectos financiados por Microsoft Research mediante sus Premios a la Excelencia en Innovación: “SetPoint: An Aspect Oriented Framework Based on Semantic Pointcuts” (2005–2006); “TraceIt!: Event Trace Generator for Distributed Embedded Real-Time Applications” (2003–2004). • Investigador. Proyectos UBACyT: “Métodos Formales en Ingeniería de Software” (UBACyT EX094) (2002–2003); “Verificación de Sistemas Concurrentes y Temporizados” (UBACyT X156) (2001); “Arquitectura y Testing de Sistemas de Software” (BID PICT 11-00000-01856, ANPCyT) (UBACyT TW72) (1998–2000); “Una Metodología Formal Práctica de Desarrollo de Software” (UBACyT EX186) (1995–1998). • Investigador. Proyecto “Tecnologías de Visualización en Seguridad Informática”. CoreLabs en el marco del DARPA's Cybersecurity Visualization Workshop (junio–julio de 2002).

Participación en Eventos Científicos y Formación de Recursos Humanos • Evaluador de artículos. 29 International Conference on Software Engineering (ICSE 2007); 4 International Workshop rd on Software Quality Assurance (SOQUA 2007); Journal of Automated Software Engineering (2006); 3 International th Conference on Graph Transformation (ICGT 2006, Brasil); 11 International Conference on Algebraic Methodology and Software Technology (AMAST 2006, Estonia); International Symposium on Software Testing and Analysis (ISSTA 2006, Maine); Fundamental Approaches to Software Engineering (FASE 2006, Austria); European Software Engineering Conference and ACM Sigsoft Symposium on the Foundations of Software Engineering (ESEC-FSE 2005, Portugal); International Conference on Software Engineering (ICSE 2005, Missouri); International Conference on Logic, Programming, Artificial Intelligence and Reasoning (LPAR 2005, Jamaica); VIII Congreso Argentino de Ciencias th de la Computación (CACIC 2002); 10 International Workshop on Software Specification and Design (IWSSD 2000, California); Symposium on Software Technology 98 (SoST 1998, Argentina); Jornadas Iberoamericanas de Ingeniería de Requisitos y Ambientes de Software (IDEAS 1998, Argentina). th • Organizador. 6 International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM 2007, Minneapolis). • Evaluador técnico de proyectos de investigación. Programa de Desarrollo Técnico, Uruguay (2006). • Presidente de la sesión de demostración de herramientas. 21th IEEE/ACM International Conference on Automated Software Engineering (ASE 2006, Tokio, Japón). • Miembro de comités de programa. Escuela de Ciencias Informáticas, UBA (2004, 2006); Primeras Jornadas Latinoamericanas de Ingeniería y Desarrollo de Software: Teoría y Aplicaciones (Buenos Aires, 2003). • Director de tesis de Licenciatura. “Acceso al contexto en un framework de AOP Semántico”, M. Rodríguez, J. Vaccari (2006); “Definición e implementación de un lenguaje de descripción de arquitecturas de software”, L. Mohnen, R. Galiana, R. Medrano (2006); “SetPoint: Un enfoque semántico para la resolución de pointcuts en AOP”, R. Altman, A. Cyment (2004). • Conferencista invitado. Jornada de Investigación y Desarrollo en Ingeniería de Software (2006, Buenos Aires); 9° Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes de Software (IDEAS 2006, La Plata). • Revisor y jurado de tesis de Maestría en Informática. PEDECIBA, Universidad de la República, Uruguay: “The Reflex Sandbox: An Experimentation Environment for an Aspect-Oriented Kernel”, L. Rodríguez (2006). • Jurado de tesis de Licenciatura en Ciencias de la Computación. “Análisis fonético en un proceso de calidad de datos”, E. Gershanik; “Una semántica branching para sistemas de transición modales”, D. Fischbein; “Descubrimiento automático de restricciones lineales entre variables de programas mediante análisis estático”, D. Piemonte (2006); “Definición y Composición Dinámica de Metacomportamiento en Ambientes de Objetos con Clasificación”, M. A. De Bonis (2005); “Secuencias maximizadoras de subsecuencias. ¿Cuán aleatorias son?”, A. Dau; “Clasificación automática de documentos basada en la métrica de similitud universal de Vitányi”, A. Capparelli, M. Urtasun (2004) ; “Una máquina universal de Chaitin en Prolog”, S. Bonaccio y R. Centrone; “Un lenguaje visual para la especificación y verificación automática de requerimientos de tiempo real complejos”, A. Alfonso; “Cambio de creencias en teorías modales”, G. Zabala; “Un método de análisis de confiabilidad de arquitecturas de software”, A. Camporeale, P. Turjanski (2003); “Estudio de relaciones de reducción en el λ-cálculo puro”, C. Lombardi y E. Vetere; “CXXML: Un lenguaje de consultas para documentos XML”, P. Ilyef y A. Prividiera; “Monitoreo de sistemas temporizados especificados con grafos de diagramas de secuencias (MSC-Graphs)”, S. Blaustein y F. Oliveto (2002). • Presidente del Comité de Programa. Escuela de Ciencias Informáticas, UBA (2005). • Jurado de concursos docentes. DC, FCEyN, UBA: regular de jefes de trabajos prácticos, área Programación, (2003); regular de jefes de trabajos prácticos, área Ingeniería de Software (2003); regulares e interinos de jefes de trabajos prácticos y ayudantes de primera, área Programación (2002); regulares de ayudantes de segunda, área Programación (1999, 2000 y 2001). th

th

-3-

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

Divulgación Científica • Artículos: “Desarrollo Guiado por Pruebas”, Revista .code (2006); “Refactorización”, Revista .code (2007); “Crónicas desde el TechEd”, serie de 6 artículos con observaciones de un evento de educación técnica desde una perspectiva académica, MTJ.NET online (6/2004); “Desarrollo Guiado por Pruebas y Refactorización”, MTJ.NET online (5/2004); “Métodos Heterodoxos en Desarrollo de Software”, con C. Reynoso, Centro de Arquitectura .NET, MSDN (2004); “Estilos de Arquitectura”, con C. Reynoso, Centro de Arquitectura .NET, MSDN (2004); “Lenguajes de Descripción Arquitectónica (ADLs)”, con C. Reynoso, Centro de Arquitectura .NET, MSDN (2004); “Diálogos Comunes fuera de Aplicaciones Office”, MTJ.NET online (4/2004); “Programación Orientada a Aspectos (AOP)”, en MTJ.NET online (3/2004). • Premio Sadosky a la Inteligencia Argentina, otorgado por la Cámara de Empresas de Tecnología de la Información de la Argentina. Categoría: Mejor Investigación en Tecnología Informática (2005). • Conferencias: “Modelado del Protocolo Server Message Block 2”, Microsoft PT3 Team, Redmond (2007); “Modelado y Testing de Comportamientos”, Microsoft Patterns & Practices Summit, Redmond (2006); “Especificaciones Formales”, DC, FCEyN, UBA (2005);“Programación Extrema y Otros Métodos Ágiles”, con C. Reynoso, en MSDN On Site Académico, Buenos Aires (2004); “Lenguajes de Descripción de Arquitecturas de Software (ADLs)”, C. Reynoso, N. Kicillof, en Microsoft TechNight Académico, Buenos Aires (2004); “El Futuro es Hoy”, con A. Piscitelli, en el Seminario sobre Inclusión de las TICs en la Escuela Media, Secretaría de Educación, GCBA (2003); “La Actividad Profesional en Informática en la Argentina”, N. Kicillof, en la Semana de la Computación, FCEyN, UBA (2002 y 2003). • Premio “Garra y Corazón” a la Innovación en Nuevas Tecnologías, Mar del Plata (2004).

-4-

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

Apéndice I Participación en Proyectos de Tecnología Informática A manera de muestra de la trayectoria en la industria de tecnología de la información y en instituciones nacionales e internacionales, se enumeran ejemplos de proyectos realizados, de distinta naturaleza. Se trata, aproximadamente, de un 30% de los proyectos llevados a cabo en los últimos años. • Empresa: Microsoft Corporation (Software) Proyecto: Herramientas y Puebas de Potocolos. Especificación de protocolos utilizados por Windows para el Departamento de Justicia de EEUU, el Comisionado de la Unión Europea y licenciatarios interesados en conectar sus productos a servidores Windows. Desarrollo de herramientas y casos de prueba para garantizar la corrección de las especificaciones y la adecuación de las implementaciones. Rol: Consultor externo Año: 2007 • Organización: Secretaría de Educación (Gobierno de la Ciudad de Buenos Aires) Proyecto: Reporte (Red Porteña Telemática de Educación). Provisión de acceso a Internet para la totalidad de los establecimientos educativos dependientes de esa cartera (superan el millar), capacitación de los encargados de laboratorios y de los docentes, selección de contenidos a circular por la red, mantenimiento del Portal de Educación de la Ciudad de Buenos Aires. Rol: Responsable técnico Año: 1999–2005. • Empresa: Monsanto Argentina (Productos y servicios agrícolas) Proyecto: Servicios de Venta Directa. Sistema distribuido de facturación por cuenta y orden de Monsanto en cientos de establecimientos agropecuarios distribuidos por todo el país. Rol: Consultor en Infraestructura Año: 1997–2005 • Empresa: Grupo Pilkington (Manufactura de vidrios) Proyecto: Segurización y mantenimiento de la infraestructura informática para las empresas del Grupo en la Argentina (VASA y Pilkington Automotive Argentina). Rol: Coordinación de Consultores Año: 2004 • Organismo: AFIP (Administración Federal de Ingresos Públicos) Proyecto: Servicio prestado por la FCEyN (UBA) consistente en la elaboración, toma y corrección de una prueba de conocimientos en el marco de un proceso de selección de personal para el área informática. Rol: Colaboración en la coordinación Año: 2004 • Empresa: Conexia (Salud) Proyecto: Desarrollo de un componente de software para validar mensajes y traducir entre distintos formatos contemplados por el estándar HL7 para intercambio de datos del sistema de salud. Rol: Líder de Proyecto Año: 2004 • Empresa: Disco (Cadena de supermercados) Proyecto: Actualización continua en tecnologías de desarrollo de software: organización de reuniones periódicas de información y debate entre los integrantes de la Gerencia de Planeamiento Estratégico de Disco y consultores de Tree o expertos externos. Entre los temas tratados se incluyen conceptos teóricos y soluciones tecnológicas específicas: desarrollo basado en componentes, CORBA, Microsoft .NET, J2EE y Enterprise Java Beans, conceptos de middleware, tecnologías Web, panorama de Ingeniería de Software, aseguramiento de la calidad, transacciones, excepciones, integración de aplicaciones (EAI, ENS), Integration Brokers, Application Servers, Business Process Management, BizTalk, Knowledge Management, etc. Rol: Coordinador / Disertante Año: 2001–2004 • Empresa: Wanako Games (Juegos de computadora) Proyecto: Desarrollo del sistema de Inteligencia artificial para un juego de fútbol. Rol: Líder de Proyecto AI Año: 2002–2003 • Empresa: OutdoorComputing (Telecomunicaciones) Proyectos: Desarrollo de software para plataformas móviles (teléfonos celulares, agendas electrónicas, etc.), incluyendo el acceso a través de dispositivos móviles a unos 10 sitios Web de alto tráfico (XSalir.com, RealDelivery.com, YaOnline.com, etc.), el sistema de correo electrónico inalámbrico del carrier de telefonía celular CTI, etc. Rol: CTO (Gerente de Tecnología) Año: 1999–2003 • Empresa: Movicom (Telefonía celular) Proyecto: Conferencias sobre tecnología de software: ciclo dirigido a un numeroso auditorio compuesto por recursos del área de sistemas de Movicom. Su contenido se centra en tecnologías actuales de desarrollo de software: lenguaje JAVA, plataformas de middleware, protocolos, lenguajes y plataformas Web, Microsoft .NET, tecnologías XML, etc. Rol: Coordinador / Conferencista Año: 2001–2002 • Empresa: Grupo Socma (Alimentos, infraestructura y servicios de limpieza pública) -5-

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

Proyecto: Instalación y configuración de servidores para el sitio de Socma-EIS. Rol: Responsable Técnico Año: 2001 • Organización: Sociedad de Medicina Interna de Buenos Aires Proyecto: Sistema de presentación de conferencias. Software para crear CD-ROMs multimedia conteniendo las conferencias dictadas en jornadas y cursos organizados por la Sociedad. Rol: Líder de Proyecto Año: 2001 • Empresa: TotalFinaElf Argentina (Petróleo y gas) Proyecto: Interconexión de las filiales argentina y chilena con la red corporativa, manteniendo los estándares de seguridad y confiabilidad del grupo. Rol: Consultor en Comunicaciones Año: 2001 • Empresa: Disco (Cadena de supermercados) Proyecto: Web Kiosk. Prototipo de Kiosco para el programa de fidelización Discoplus y consulta de precios de productos mediante touch screen, lectora de códigos de barras y lectora magnética. Rol: Líder de Proyecto Año: 2000–2001 • Empresa: Grupo Socma (Alimentos, infraestructura y servicios de limpieza pública) Proyecto: Desarrollo del sistema de extranet para el mantenimiento de versiones del sistema de indicadores de gestión de las empresas del grupo. Rol: Control de Proyecto Año: 2000 • Empresa: Petrolera Santa Fe (Petróleo y gas) Proyecto: Conexión con la casa matriz en Houston e interconexión de la oficina central en Buenos Aires con las dependencias en varios puntos de la Argentina. Rol: Consultor en Comunicaciones Año: 1999–2001 • Empresa: Grupo Techint (Ingeniería, suministros y construcción) Proyecto: Desarrollo del sistema de intranet para el almacenamiento de normas ambientales (leyes, decretos y otras regulaciones relacionadas con el medio ambiente en varios países, para su consulta en el transcurso de toda obra encarada por empresas del grupo). Rol: Líder de Proyecto Año: 2000 • Empresa: Grupo Techint (Ingeniería, suministros y construcción) Proyecto: Desarrollo del sistema de intranet para unificar operaciones financieras con derivados por parte de las empresas del grupo. Rol: Líder de Proyecto Año: 1998–2000 • Empresa: Grupo Techint (Ingeniería, suministros y construcción) Proyecto: Desarrollo del sistema de intranet para unificar contratos de proveedores de las empresas del grupo. Rol: Líder de Proyecto Año: 1998 • Empresa: Nosis (Información financiera) Proyecto: Desarrollo del sistema de Noticias y Mercados (conexión con distintas bolsas de comercio y mercados electrónicos, almacenamiento y envío por aire de los datos recolectados a clientes individuales y corporativos, recepción y presentación en el cliente). Rol: Líder de Proyecto Año: 1996–1998.

-6-

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

Apéndice II Asistencia a cursos y eventos Universitarios • Institución: Departamento de Computación (UBA) Curso: Programación Orientada a Objetos Profesor: Lic. Máximo Prieto (UBA – UNLP) Año: 2006 Duración: 102 horas

Calificación: 9

• Institución: Departamento de Computación (UBA) Curso: Sistemas de tipos para demostraciones asistidas por computadora Profesor: Dr. Alexandre Miquel (PPS – Paris 7) Año: 2005 Duración: 12 horas Calificación: 8 • Institución: Departamento de Computación (UBA) Curso: Especificación y complejidad en el cálculo científico: la ciencia Profesor: Dr. Joos Heintz (UBA) Año: 2004 Duración: 50 horas

Calificación: 10

• Institución: Departamento de Computación (UBA) Curso: Especificación y complejidad en el cálculo científico: el arte Profesor: Dr. Joos Heintz (UBA) Año: 2004 Duración: 50 horas

Calificación: 10

• Institución: Departamento de Computación (UBA) Curso: Introducción al procesamiento de lenguaje natural Profesor: Lic. José Álvarez (UBA) Año: 2004 Duración: 68 horas

Calificación: 8

• Institución: Departamento de Computación (UBA) Curso: Introducción a la teórica clásica de la recursión Profesor: Dr. Piergiorgio Odifreddi (Università Degli Studi Di Torino) Año: 2001 Duración: 20 horas

Calificación: 8

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Mantenimiento e instalación de redes Profesor: Lic. Julián Dunayevich (UBA) Año: 1995 Duración: 20 horas

Calificación: 10

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Bases de datos distribuidas Profesor: Dr. Luis Gravano (Stanford University) Año: 1994 Duración: 20 horas

Calificación: 10

• Institución: Universidad Nacional de Río Cuarto Curso: Programación funcional actual Profesor: Dra. Silvia Clérici (Universidad Politécnica de Cataluña) Año: 1994 Duración: 20 horas

Calificación: Aprobado

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Verificación formal de sistemas concurrentes distribuidos Profesor: Dr. Daniel Yankelevich (Università di Pisa) Año: 1992 Duración: 20 horas

Calificación: 10

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Álgebras de procesos Profesor: Dr. Javier Blanco (Technische Universiteit Eindhoven) Año: 1992 Duración: 20 horas

Calificación: 9

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Construcción formal de programas Profesor: Dr. Armando Haeberer (Pontifícia Universidade Católica do Rio de Janeiro) Año: 1991 Duración: 20 horas Calificación: 9.5 • Institución: Escuela Superior Latinoamericana de Informática (ESLAI) Curso: Lógica Profesor: Dr. Roberto Cignoli (UBA) Año: 1990 Duración: 128 horas -7-

Calificación: 10

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

• Institución: Escuela Superior Latinoamericana de Informática (ESLAI) Curso: Álgebra de estructuras Profesor: Dra. Lía Oubiña (UNLP) Año: 1990 Duración: 128 horas

Calificación: 8

• Institución: Escuela Superior Latinoamericana de Informática (ESLAI) Curso: Introducción a la algorítmica Profesor: Lic. Rosa Wachenchauzer (UBA) Año: 1990 Duración: 128 horas

Calificación: 9

• Institución: Escuela Superior Latinoamericana de Informática (ESLAI) Curso: Taller de programación Profesor: Lic. Rosa Wachenchauzer (UBA) Año: 1990 Duración: 128 horas

Calificación: 8

• Institución: Escuela Superior Latinoamericana de Informática (ESLAI) Curso: Probabilidades y estadística Profesor: Lic. Ricardo Marona (UNLP) Año: 1990 Duración: 128 horas

Calificación: 9

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Programación funcional Profesor: Lic. Alejandro Martínez (UNLP) Año: 1990 Duración: 20 horas

Calificación: 10

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Derivación formal de programas Profesor: Lic. Pablo Elustondo (ESLAI) Año: 1990 Duración: 20 horas

Calificación: 9

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Lógica computacional Profesor: Lic. Francisco Naischtat (CONICET) Año: 1989 Duración: 40 horas

Calificación: 9

• Institución: Escuela de Ciencias Informáticas (UBA) Curso: Lógica y bases de datos Profesor: Dr. Alberto Mendelson (University of Toronto) Año: 1989 Duración: 40 horas

Calificación: 9.2

• Institución: Bucknell University, Pennsylvania Curso: Proyecto de diseño y construcción de CPU basadas en Intel 8088 Profesor: Dr. Alan Wilcox (Bucknell University) Año: 1987 Duración: 160 horas

Calificación: Aprobado

-8-

Nicolás Kicillof [nicok @ dc.uba.ar]

www.dc.uba.ar/people/profesores/nicok

Ámbito privado • Empresa: Microsoft Research Evento: Faculty Summit (Redmond, Washington) Año: 2004, 2005 y 2006

Duración: 27 horas

• Empresa: Microsoft Corporation (MSDN Latinoamérica) Curso: Desarrollador 5 estrellas .NET Año: 2003-2005

Grado alcanzado: 4 estrellas

• Empresa: Microsoft Research Curso: Conference XP – Aulas Inalámbricas – Colaboración – Aprendizaje a Distancia Año: 2004 Duración: 3 horas • Empresa: Microsoft Research Curso: Workshop sobre currículum .NET 2004 (San Diego, California) Año: 2004

Duración: 8 horas

• Empresa: IBM Corporation Curso: Seminario Rational y WebSphere: Plataformas de desarrollo de software IBM Año: 2004 Duración: 4 horas • Empresa: Microsoft Research Curso: Workshop esencial sobre desarrollo de software .NET (Buenos Aires) Año: 2003 Duración: 16 horas • Empresa: Microsoft Research Curso: Workshop sobre currículum .NET 2003 (Dallas, Texas) Año: 2003

Duración: 8 horas

• Empresa: Microsoft de Argentina Curso: Windows Server 2003 – Workshop para Faculty MVP Año: 2003

Duración: 16 horas

• Empresa: Microsoft Research Curso: Cuarto curso intensivo para profesores: Ingeniería Web y de software en el ambiente Microsoft .NET (Cambridge – Gran Bretaña) Año: 2003 Duración: 24 horas • Empresa: Microsoft Corporation Curso: Especialización en instalación de Windows 2000 Año: 1999

Duración: 40 horas

• Empresa: Microsoft de Argentina – EXO Curso: Creación y configuración de servidores Web Año: 1997

Duración: 40 horas

• Empresa: Microsoft Corporation Curso: Instalación y soporte de SNA Server Año: 1996

Duración: 40 horas

• Empresa: BKO Curso: Soporte de Microsoft Windows NT 4 – core technologies Año: 1996

Duración: 40 horas

• Empresa: Microsoft de Argentina - DATCO Curso: Soporte de Systems Management Server Año: 1995

Duración: 40 horas

• Empresa: SCO - Unisel Curso: Workshop de SCO Unix y TCP/IP Año: 1995

Duración: 16 horas

• Empresa: Unisel Curso: Instalación y mantenimiento, para soporte técnico de Novell NetWare 3.12 y 4.01 Año: 1994 Duración: 20 horas • Institución: Instituto Pollitzer de Computación Cursos: Lenguajes BASIC, LISP, Assembler 8086/8, APL, Prolog Año: 1982 a 1986

-9-

Duración: 128 horas por curso