Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Micro-empresa y capacidad empresarial en Córdoba: situación actual y perspectivas. Microenterprise and entrepreneurship in Córdoba: present situation and perpectives.

Las transformaciones del mercado laboral, tanto de los países desarrollados como en vías de desarrollo, han sido importantes en las últimas décadas. Una de sus manifestaciones es la creciente expansión del trabajo organizado en torno a los micro-emprendimientos. Las investigaciones existentes a nivel internacional indican que la capacidad empresarial que debe poseer el emprendedor es un factor que resulta crucial para el desarrollo y sostenimiento de estas formas de producción. Por tal razón, el estudio de este aspecto y de su relación con los micro-emprendimientos es un tema que está concitando creciente atención y sobre el que existe un cuerpo teórico de literatura específica que ha comenzado a transferirse a los países en vías de desarrollo, donde la discusión es aún incipiente. Los estudios han observado que los micro-emprendimientos están normalmente muy ligados a la familia, esto hace que su desenvolvimiento y evolución resulten afectados por las características particulares de cada hogar. Se trata de un complejo conjunto de situaciones sociales que se generan a partir de estas nuevas formas de organización del trabajo, donde resulta dificultoso distinguir entre el micro-emprendimiento y la figura del emprendedor, lo cual ha llevado a que muchas veces las políticas públicas, sensibles a la necesidad de apoyar a los grupos poblacionales vulnerables, adquirieran un sesgo pro-pobre, en detrimento de su objetivo principal de incentivar el desarrollo sustentable de pequeñas unidades productivas. El equipo de investigación autor del presente proyecto concluyó recientemente, en el marco de un proyecto PICTOR II, un primer estudio sobre la temática de los micro-emprendimientos en Córdoba, analizando los factores que ayudan a comprender mejor las razones por las que algunos emprendedores alcanzan un mayor éxito que otros, a partir del cual surgieron nuevos interrogantes sobre el rol de la política pública en esta materia, a los que se intentará dar respuesta en esta oportunidad. Más concretamente, en esta investigación se abordarán, ahora con profundidad, diversas cuestiones importantes que analizan el vínculo entre la figura del emprendedor con el micro-emprendimiento que posee y con el efecto general de las políticas públicas en el sector. Uno de los temas es determinar hasta qué punto el comentado sesgo "pro-pobre" estuvo presente en el caso de las políticas públicas aplicadas en Córdoba y qué consecuencias tuvo sobre los micro-emprendimientos y su sustentabilidad. Este aspecto está directamente ligado a la necesidad de discernir acerca de si el fundamento teórico de las políticas públicas diferencia adecuadamente entre el micro-emprendedor y la micro-empresa. Otra importante cuestión a abordar es la de indagar sobre la relación entre capacidad empresarial, capital humano y nivel socio-económico del emprendedor. Resultará de sumo interés identificar los factores que estimulan e inhiben las manifestaciones de capacidad empresarial individual, y establecer su relación con las posibilidades de sustentabilidad del micro-emprendimiento, lo cual debería ser tomado en cuenta por las políticas públicas. El caso de los individuos que se convirtieron en micro-emprendedores como una estrategia para superar la situación de desempleo en que se encontraban, es un tema que será examinado en especial y a la luz de la performance observada del emprendimiento. Serán fuentes primarias de información la Encuesta llevada a cabo en el proyecto PICTOR II arriba mencionado y una re-encuesta a los micro-emprendedores que fueron oportunamente entrevistados. A ello se agregará un estudio de casos de emprendimientos muy exitosos. Los datos de fuentes secundarias surgirán del INDEC, de organismos oficiales y de instituciones no gubernamentales. Los principales métodos y herramientas de análisis a utilizar son los que proporcionan la Estadística, la Econometría y la Micro-economía.