Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

EICAR, Electrónica, Informática, Comunicaciones, Automática y Robótica para la producción de bienes y servicios (Programa de ModernizaciónTecnológica III I-P - PAE 2006)

El presente proyecto denominado “EICAR, Electrónica, Informática, Comunicaciones, Automática y Robótica para la Producción de Bienes y Servicios” asocia estratégicamente a un importante grupo de instituciones del sector científico-tecnológico, privado y gobierno con el objetivo de formar recursos humanos altamente capacitados, desarrollar conocimiento y tecnología de punta, en el campo convergente de la electrónica, informática y computación industrial, comunicaciones y automática, y su transferencia para el desarrollo activo de sectores estratégicos del país, a través de la ejecución de seis Programas: 1) Desarrollo de sistemas inteligentes para eficientizar el uso racional de la energía; 2) I+D para el desarrollo de sistemas complejos de aeronáutica y aeroespacio; 3) Desarrollos para la plataforma de TV Digital y su integración a Internet; 4) Trazabilidad de productos agropecuarios y agroindustriales; 5) Elaboración de un plan estratégico para el desarrollo de infraestructura en TICs del Corredor Bioceánico del Centro basado en sistemas GPS y Proyecto Galileo; 6) Monitoreo de las tendencias tecnológicas de los Programas propuestos.

Plataforma informática aplicada como ayuda al proceso de enseñanza-aprendizaje de la educación primaria y secundaria de la Provincia de Córdoba: La integración de las Nuevas Tecnologías (NTICs) para el proceso de enseñanza-aprendizaje en entornos virtuales y colaborativos como complemento a la enseñanza tradicional

A partir del proyecto de Responsabilidad Social Universitaria del año 2008: “Aplicaciones del Análisis Matemático para el proceso de enseñanza aprendizaje de la Matemática: Escuelas de nivel medio de población económica comprometida de la ciudad de Córdoba”, de Gustavo A. Chiodi y Aldo Chami, realizado en la Facultad de Ingeniería de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo las dificultades que presentaban los alumnos para realizar sus tareas extra-áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Una mirada actual y objetiva sobre esta realidad y en base a estos antecedentes permitió determinar que esta situación persiste en un gran número de familias social y económicamente comprometidas. Así la interacción efectiva entre los docentes, desde las propuestas de actividades curriculares por un lado, y los alumnos desde sus actividades extra-áulicas (deberes o tareas) por el otro, se ve afectada fuertemente. El presente proyecto, como plataforma educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de los alumnos intentará dar tratamiento a este problema ya no en forma particular para cada alumno sino en forma general y a varias disciplinas. El desafío de este proyecto multidisciplinario, en el que confluyen la Informática y la Educación, es desarrollar un espacio para que los alumnos de nivel primario y nivel medio puedan encontrar en él trayectorias formativas extra-áulicas mediadas por el conocimiento curricular y construyendo un lugar de encuentro e intercambio productivo, en este caso, en la red, en una aula virtual y en una experiencia extensionista mediada por la tecnología informática. La plataforma informática educativa permitirá al alumno poder recurrir a un acompañamiento virtual en la realización de sus tareas en el marco curricular del proceso educativo y abandonar el concepto de mero consumidor de tecnologías a utilizarlas para generar nuevas alternativas y vínculos, donde de un modo creativo pueda generar conocimiento

Filososofía y Ciencia Computacional: Aspectos epistemológicos, ontológicos y metodológicos. Philosophy and Computing Sciencs: Epistemological, Ontological and Methodological Aspects.

Uno de los temas centrales del proyecto concierne la naturaleza de la ciencia de la computación. La reciente aparición de esta disciplina sumada a su origen híbrido como ciencia formal y disciplina tecnológica hace que su caracterización aún no esté completa y menos aún acordada entre los científicos del área. En el trabajo Three paradigms of Computer Science de A. Eden, se presentan tres posiciones admitidamente exageradas acerca de como entender tanto el objeto de estudio (ontología) como los métodos de trabajo (metodología) y la estructura de la teoría y las justificaciones del conocimiento informático (epistemología): La llamada racionalista, la cual se basa en la idea de que los programas son fórmulas lógicas y que la forma de trabajo es deductiva, la tecnocrática que presenta a la ciencia computacional como una disciplina ingenieril y la ahi llamada científica, la cual asimilaría a la computación a las ciencias empíricas. Algunos de los problemas de ciencia de la computación están relacionados con cuestiones de filosofía de la matemática, en particular la relación entre las entidades abstractas y el mundo. Sin embargo, el carácter prescriptivo de los axiomas y teoremas de las teorías de la programación puede permitir interpretaciones alternativas y cuestionaría fuertemente la posibilidad de pensar a la ciencia de la computación como una ciencia empírica, al menos en el sentido tradicional. Por otro lado, es posible que el tipo de análisis aplicado a las ciencias de la computación propuesto en este proyecto aporte nuevas ideas para pensar problemas de filosofía de la matemática. Un ejemplo de estos posibles aportes puede verse en el trabajo de Arkoudas Computers, Justi?cation, and Mathematical Knowledge el cual echa nueva luz al problema del significado de las demostraciones matemáticas.Los objetivos del proyecto son: Caracterizar el campo de las ciencias de la computación.Evaluar los fundamentos ontológicos, epistemológicos y metodológicos de la ciencia de la computación actual.Analizar las relaciones entre las diferentes perspectivas heurísticas y epistémicas y las practicas de la programación.

Diseño de sistemas de comunicaciones de alta velocidad. Design of high-speed communication systems.

El crecimiento exponencial del tráfico de datos es uno de los mayores desafíos que enfrentan actualmente los sistemas de comunicaciones, debiendo los mismos ser capaces de soportar velocidades de procesamiento de datos cada vez mas altas. En particular, el consumo de potencia se ha transformado en uno de los parámetros de diseño más críticos, generando la necesidad de investigar el uso de nuevas arquitecturas y algoritmos para el procesamiento digital de la información. Por otro lado, el análisis y evaluación de nuevas técnicas de procesamiento presenta dificultades dadas las altas velocidades a las que deben operar, resultando frecuentemente ineficiente el uso de la simulación basada en software como método. En este contexto, el uso de electrónica programable ofrece una oportunidad a bajo costo donde no solo se evaluan nuevas técnicas de diseño de alta velocidad sino también se valida su implementación en desarrollos tecnológicos. El presente proyecto tiene como objetivo principal el estudio y desarrollo de nuevas arquitecturas y algoritmos en electrónica programable para el procesamiento de datos a alta velocidad. El método a utilizar será la programación en dispositivos FPGA (Field-Programmable Gate Array) que ofrecen una buena relación costo-beneficio y gran flexibilidad para integrarse con otros dispositivos de comunicaciones. Para la etapas de diseño, simulación y programación se utilizaran herramientas CAD (Computer-Aided Design) orientadas a sistemas electrónicos digitales. El proyecto beneficiara a estudiantes de grado y postgrado de carreras afines a la informática y las telecomunicaciones, contribuyendo al desarrollo de proyectos finales y tesis doctorales. Los resultados del proyecto serán publicados en conferencias y/o revistas nacionales e internacionales y divulgados a través de charlas de difusión y/o encuentros. El proyecto se enmarca dentro de un área de gran importancia para la Provincia de Córdoba, como lo es la informática y las telecomunicaciones, y promete generar conocimiento de gran valor agregado que pueda ser transferido a empresas tecnológicas de la Provincia de Córdoba a través de consultorias o desarrollos de productos.

Plataforma informática aplicada como ayuda al proceso de enseñanza-aprendizaje de la educación primaria y secundaria de la provincia de Córdoba: la integración de las nuevas tecnologías (ntics) para el proceso de enseñanza-aprendizaje en entornos virtuales y colaborativos como complemento a la enseñanza tradicional.

Desde la Facultad de Ingenierí­a de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo las dificultades que presentaban los alumnos de nivel primario y medio para realizar sus tareas extra-Áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del Ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Actualmente, esta situación persiste en un gran número de familias económicamente comprometidas, impidiendo que se logre una interacción efectiva entre los docentes, desde las propuestas de actividades curriculares, y los alumnos desde sus actividades extra- Áulicas (deberes o tareas). El presente proyecto, como plataforma educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de los alumnos intentará dar tratamiento a este problema ya no en forma particular sino en forma general y a varias disciplinas. El desafío de este proyecto multidisciplinario, en el que confluyen la Informática y Educación, es desarrollar un espacio para que los alumnos de nivel primario y nivel medio puedan encontrar trayectorias formativas extra-Áulicas mediadas por el conocimiento curricular y construyendo un lugar de encuentro e intercambio productivo, en este caso, en la red, en una aula virtual y en una experiencia extensionista mediada por la tecnología informática.

Plataforma informática aplicada como complemento a la enseñanza tradicional de la educación primaria y secundaria de la provincia de Córdoba. Integración de las ntics en los procesos de enseñanza-aprendizaje en entornos de sistemas móviles.

Desde la Facultad de Ingeniería de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo y de Responsabilidad Social Universitaria, las dificultades que presentaban los alumnos de nivel medio para realizar sus tareas extra-áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Actualmente, esta situación fundamentalmente persiste en familias que están en la línea de pobreza o por debajo de ella. Esta problemática impide que se logre una interacción productiva entre los docentes, desde las propuestas de actividades curriculares, y los alumnos desde sus actividades extra-áulicas (deberes o tareas). El resultado es la deserción y la repitencia de los alumnos. El presente proyecto, como plataforma informática-educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de alumnos que pueden quedar excluidos socialmente. El desafío de este proyecto, multidisciplinario, en el que confluyen la Informática, el diseño de software y la pedagogía, es continuar el desarrollo, de complejidad creciente, de un espacio virtual en el que los alumnos de nivel primario y nivel medio puedan encontrar en él trayectorias formativas extra-aúlicas mediadas por el conocimiento curricular utilizando las posibilidades de las NTICs. En una continuidad con proyectos anteriores, las aplicaciones desarrolladas se implementarán para las plataformas de Sistemas Móviles.