Desarrollo tecnológico de complementos de enseñanza de la Estadística en las Ciencias Naturales

La enseñanza de la estadística se puede complementar con herramientas computacionales. Este proyecto posee como objetivos desarrollar un programa de computación (“Applet”) basado en interactividades como complemento tecnológico de la Enseñanza de la Estadística, crear la estructura de un programa “Complemento Tecnológico de la Enseñanza de la Estadística”, de modo tal que sea susceptible de incorporarse tantos módulos como lo requiera e incorporar un primer módulo referido a los Conceptos de Probabilidad y Variables Aleatorias. Para ello se realizará un relevamiento bibliográfico y se creará dicho soft.

La levadura de Cerveza (S. Cerevisiae) como aditivo en la alimentación de ponedoras comerciales

Se viene investigando incluir en las dietas de las aves algunos componentes naturales que mejoren, en estos animales, el crecimiento, la producción de carne y de huevos. Uno de esos componentes es la Levadura de Cerveza (S. Cerevisiae) utilizada como aditivo de tipo natural en las dietas de las aves. Es un producto que aporta niveles significativos de PB, con aminoácidos de alto valor biológico, además de vitaminas del grupo B y sin proveer elementos tóxicos que puedan afectar la salud humana y animal. Esto, produciría en las aves en general, y en las gallinas ponedoras en particular, un equilibrio en la flora intestinal, llevando a una mayor absorción de los nutrientes que se vería reflejado en una mejor performance productiva y en una mejor calidad de los huevos producidos. Con este trabajo de investigación se quiere verificar la acción de la Levadura de Cerveza, al adicionarla en la dieta, sobre la producción de huevos y mejoras sobre la calidad tanto interna como externa de los mismos. Esto se determinará a través de la medición de las variables productivas (Número de huevos producidos en el primer y segundo ciclo - huevo/gallina/día), Consumo de alimento diario (g) y Conversión Alimenticia (Kg de huevos/Kg de alimento), peso del huevo (g) y masa de huevos producidos (g) y en ensayos posteriores la calidad externa e interna de los huevos producidos.

Proyecto de Legislación Procesal del derecho del consumidor para la Provincia de Córdoba

Se trabajará sobre la redacción de normas procesales que permitan vehiculizar la aplicación de la ley nacional 24.240 de defensa del consumidor en la provincia de Córdoba. Se pretende investigar sobre el estado de la ciencia del derecho en la materia, realizar análisis teóricos y prácticos, buscar legislación comparada sobre la materia y, sobre esa base, confeccionar un proyecto de ley con su respectiva exposición de motivos. Los objetivos se centran en el desarrollo de normas procesales que vengan a paliar una situación de hecho en la cual la ausencia de una regulación procedimental adecuada conspira contra la efectividad y vigencia del sistema tutelar de los derechos de consumidores.

La comunicación política para la prevención del riesgo y la mitigación de desastres. Los casos de Santa Fe, Córdoba y San Juan

La presente investigación busca identificar los distintos estilos y estrategias comunicativas llevadas adelante por los gobiernos provinciales de Córdoba (en los casos de incendios), San Juan (en los casos de terremotos) y Santa Fe (en los casos de las inundaciones), con el objetivo de la prevención de los riesgos y la mitigación de los desastres naturales. Las características crisis-propensas de las instituciones gubernamentales, sumada a la fuerte presión de la opinión pública en los períodos de desastres, obliga a los gobiernos a tener una comunicación estratégica ante los medios de comunicación y ante la opinión pública con el objetivo de mostrarse activo en la solución de dichos problemas. Esto implica tener la capacidad de comunicar las políticas públicas de reducción de riesgos, pero también sortear con éxito los procesos comunicacionales de atribución de responsabilidad durante los momentos críticos de los desastres. Por medio del análisis de casos se pretende describir las distintas estrategias comunicativas de los gobiernos provinciales, tanto en su fase preventiva de los riesgos, como durante las crisis desatadas por la presencia de los desastres, y su articulación y cooperación con los actores privados y sociales que participan de dichas políticas públicas.

Espectrometría de emisiones en la interacción de radiaciones ionizantes con la materia

En el área de los estudios básicos de la física de radiaciones, el Laboratorio de Espectrometría de Radiaciones (L.E.R.) de la U.N.C. desarrolla líneas de investigación cuyos resultados son de uso directo en física de radiaciones aplicadas. (...) Objetivos generales y específicos: * Estudios de Detectores de Radiaciones Ionizantes: se continúan los estudios en Argón, teniendo como objetivo específico completar y comprobar técnicas de simulación con el método Monte Carlo para detectores con simetría cilíndrica y gradiente de campo eléctrico. * Análisis por fluorescencia de Rayos X: los objetivos específicos están dedicados a la evaluación de diseños para aumentar la eficiencia de polarización de Rayos X. En cuanto al análisis de elementos, se considerarán las posibles mejoras experimentales mediante el aumento de la relación señal-ruido en la fluorescencia con Rayos X polarizados, disminuyendo los umbrales de detección de concentración de elementos, en muestras compuestas por muchos elementos. * Dosimetría de radiaciones ionizantes: En cuanto a la dosimetría mediante LiF se planea seguir estudiando la difusión de los positrones con bajos contenidos de centros de color y la linealidad de respuesta de la vida media en función de la dosis de radiación para diferentes clases de cristales termoluminiscentes. Para la dosimetría con centelladores plásticos, se pretende en el siguiente paso, la puesta a punto final del dosímetro y electrómetro desarrollado como así también su calibración para su posterior prueba en centros de radioterapia. * Análisis de composición de elementos químicos en el cuerpo humano: En un futuro mediato, se prevé la culminación de los estudios de una nueva técnica para determinación de concentración de elementos minoritarios y mayoritarios en órganos y en extremidades por dispersión incoherente de Rayos X. Esta técnica contempla la ulterior determinación in vivo de la composición del cuerpo humano.

Sistema de comunicación con alta escala de integración, tolerante a fallas, para su utilización en microsatélites

Nuestro grupo está utilizando dos nuevas técnicas en el desarrollo electrónico aplicado a la instrumentación científica. Una es la del diseño, simulación y generación de máscaras de circuitos integrados que serán fabricados en el exterior. Otra, la implementación de sistemas utilizando Procesadores Digitales de Señales (DSPs). Actualmente se pretende estudiar, desarrollar e implementar dispositivos tolerantes a fallas para comunicaciones en el medio ambiente espacial con tecnología y presupuesto disponibles en nuestro país. La importancia del proyecto radica en que nuestra incipiente actividad espacial, necesita de la solución a los problemas asociados para producir resultados a nivel internacional. (...) Objetivos generales y específicos * Los sistemas de comunicación con alta escala de integración, tolerante a fallas, para su utilización en microsatélites se perfilan actualmente como la alternativa más viable para la investigación y el desarrollo espacial. Esto abre un conjunto de interesantes líneas de trabajo, entre las cuales se encuentra el desarrollo de dispositivos electrónicos aptos para soportar las severas condiciones impuestas por el medio ambiente espacial. El uso de elementos de muy alta escala de integración permite optimizar el aprovechamiento del espacio y potencializar la flexibilidad y perfomance de los sistemas utilizados a bordo. Pero el principal problema que presentan estos sistemas es su vulnerabilidad frente a las radiaciones, que se manifiesta, principalmente, produciendo fallas como "Latch up", corrimientos de voltajes umbrales y S.E.UP S.("Single Event Up Sets"). * Luego, el objetivo específico consiste en investigar las distintas posibilidades que ofrece el estado actual del arte para mitigar los efectos negativos de estas fallas, estudiar la factibilidad de implementación de soluciones con la tecnología y presupuesto disponibles en Argentina, aplicar estos métodos al desarrollo de dispositivos para comunicaciones que utilizan elementos de alta escala de integración y planear estrategias generales para aplicarlas a otros tipos de dispositivos.

Estudio de prospección serológica de brucelosis y leptospirosis canina

Las enfermedades infecciosas bacterianas del perro de mayor importancia en salud pública son la Brucelosis y la Leptospirosis canina. Ambas enfermedades se encuentran mundialmente difundidas. En nuestro país no se conocen datos concretos de prevalencia. Si bien las pérdidas que generan en criaderos comerciales son cuantiosas, no se comparan con el riesgo zoonótico que estas patologías representan para la comunidad. El agente etiológico de la Brucelosis en el perro, es principalmente B. canis , aunque también se describen infecciones con cepas de B. abortus, melitensis y suis.El diagnóstico de esta enfermedad es diferente según el tipo de cepa actuante. (...) El agente etiológico de la Leptospirosis en el perro es principalmente Leptospira canicola, pero también se afecta con otros serovares del género L. interrogans. Este animal juega un rol muy importante como diseminador del microorganismo en el medio ambiente y de allí la posibilidad de contagio al hombre, ya que la enfermedad se transmite por contacto directo con material contaminado como agua, tierra, vegetales contaminados con orina de animales infectados. (...) Objetivo general: Se plantea como objetivo del presente proyecto, determinar la tasa de infección a B. spp, y Leptospira interrogans en los perros ingresados al hospital de Clínica Animal de la Facultad de Agronomía y Veterinaria de la Universidad Nacional de Río Cuarto. Objetivos específicos: 1. Elaborar el antígeno para realizar la técnica de Inmunodifusión utilizada en el diagnóstico de Brucella canis. 2. Realizar la técnica de ID y compararla con los resultados obtenidos mediante técnicas de aglutinación capaces de detectar la infección por B. abortus. (BPA, Rosa de Bengala, 2ME, Lenta en tubo Wright). 3. Hemocultivo de animales serológicamente positivos a Brucella sp. 4. Determinar mediante la técnica de microaglutinación, las tasa de infección frente a distintos serovares de Letospira interrogans.

PREVALENCIA DE INFECCION POR VIRUS HEPATITIS C, B Y VIH EN PACIENTES ALCOHOLISTAS DE LA CIUDAD DE CORDOBA

La Hepatitis C y B, junto al alcoholismo, continúan siendo un verdadero problema de Salud Pública. Sin embargo, actualmente no existen datos locales que nos permitan estimar la prevalencia de infección por virus hepatotropos en pacientes alcoholistas, sus genotipos, distrubución geográfica, ni su asociación con determinado tipo de alcoholismo. Además, la co-infección del virus de la inmunodeficiencia humana (VIH) con los virus de hepatitis supone un impacto muy importante desde el punto de vista sanitario y estadístico en nuestro país, ya que alrededor del 50 por ciento de los pacientes VIH positivos presentan dicha coinfección. Es así que, por ser de interés sanitario y por compartir vías de transmisión con el virus de hepatitis B y C, nos parece adecuado estudiar también la presencia de VIH-1 en esta población. Nuestro centro de atención pública (IPAD), atiende a pacientes con trastornos por el consumo de sustancias; deshabitúa y rehabilita alcoholistas y a otros trastornos por consumo. Dichos pacientes, que viven en la ciudad capital, serán evaluados serológicamente para la detección de virus hepatotropos C-B y el VIH. Considerando que en nuestra institución se atiende a un 70 % de Alcoholistas Puros (con un promedio de 7 pacientes nuevos por día), nos resulta importante pesquisar la prevalencia de Virus C, B y VIH en nuestra población de alcoholistas. Toda esta problemática, es la propuesta de mi tesis doctoral. Hipótesis: estimamos encontrar en nuestra población de estudio cifras superiores a la prevalencia de estos virus publicada en bancos de sangre, lo cual se toma como referencia. Objetivos: -Conocer la prevalencia de infección por Virus de Hepatitis C, B y VIH-1 en pacientes alcoholistas de la ciudad de Córdoba, determinar si existe asociación de estos virus con algún tipo de alcoholismo, e identificar genotipos prevalentes y su distribución geográfica en Córdoba. Se incluirán en forma prospectiva y aleatorea, pacientes que concurren por primera vez, de ambos sexos, mayores de 21 años, alcoholistas puros (Gama-Delta-Epsilon de Jellinek). Se confeccionará una ficha, previo consentimiento informado, que permitirá categorizar al "tipo de bebedor". Se les realizará Serología para HCV, Ag HBs (en caso de reactividad se adicionará el Anti HBcore) y VIH. En caso de la positividad serológica, se procederá al frisado de los mismos, para la Genotipificación correspondiente. La recolección, captura y procesamiento de los datos se realizarán en una planilla o ficha. Luego se reubicarán en una base electrónica de datos y se harán los análisis estadísticos de los mismos. Resultados esperados: estimamos encontrar, coincidiendo con la bibliografía, un aumento en la prevalencia de estos virus. Creemos que pueden existir diferencias en los distintos tipos de alcoholismo debido a las diversas situaciones de riesgo a las que se exponen (más exposición en el Gama de Jellineck). Por esto esperamos encontrar un aumento en la prevalencia del Virus C, especialmente en el tipo consuetudinario (delta de Jellineck) por los trastornos nutritivos derivados del modo de consumo. Posiblemente esto pueda ser la llave de otros estudios que puedan esclarecer una vía de transmisión desconocida para este virus. De la misma manera, identificar los distintos genotipos existentes en nuestra ciudad y su distribución, y que como sabemos tiene implicancia en la evolución, y en los costos por el tiempo de tratamiento. Esta información será un aporte para programar medidas de vigilancia epidemiológica adecuada, elaborar estrategias preventivas además de aplicar el tratamiento correspondiente a los pacientes infectados que se detecten como tal durante el desarrollo del proyecto.

EVALUACIÓN FUNCIONAL DEL CEREBRO: EL VALOR PREDICTIVO DE LA HABITUACIÓN COMO INDICADOR TEMPRANO DE LA INTEGRIDAD DEL SNC EN RECIÉN NACIDOS DE ALTO RIESGO NEUROLÓGICO POR HIPOXIA PERINATAL

La hipoxia perinatal se considera hoy una de las causas de mayor morbimortalidad en el recién nacido estando altamente asociada con déficits de orden neuro-psico-sensorial. Un adecuado tratamiento y rehabilitación implica la detección temprana de los déficits apuntando a la prevención. La neonatología actual se está orientando hacia técnicas no invasivas que valoran la respuesta hacia estímulos de diferentes cualidades sensoriales y permiten indagar capacidades tempranas de aprendizaje y memoria. La precoz madurez del sistema olfativo facilita el trabajo con estas claves brindando asímismo un panorama de la integración cortical. Hipótesis: Las capacidades de habituación-deshabituación olfativa reflejan el estado del SNC neonatal y se convierten en un indicador temprano de la funcionalidad cerebral en niños con alto riesgo neurológico. Objetivos: Evaluar la integridad funcional del cerebro de recién nacidos con riesgo neurológico mediante técnicas no invasivas de habituación-deshabituación. Estas téncicas se tomarán como indicadores del estado del SNC neonatal comparando sus resultados con los arrojados por el test de Bayley durante el primer año de vida. Asímismo, se relacionarán los resultados con las valoraciones clínicas y de imágenes (ecografía y RMN) obtendias. El objetivo último implica determinar la sensibilidad, especificidad y valor predictivo del test de Habituación-Deshabituación para el daño cerebral . Materiales y Métodos: Se evaluarán pacientes con antecedentes perinatales de hipoxia pertenecientes al Servicio del Neonatología del HUMN y al Hospital Materno Neonatal (Pcia de Córdoba) caracterizados por apgar < 3 a los 5 minutos ó < 5 a los 5 minutos, Ph de cordón < 7 ó entre 7 y 7,10 ó >7,10 con alguno de los criterios anteriores presentes y niños con manifestaciones sistémicas de asfixia o déficit de base en gas arterial superior a -15 Meq/L. De manera posterior a la firma del consentimiento informado se aplicará un esquema olfativo de habituación-deshabituación antes y después de las 6 horas de vida consistente en 10 presentaciones consecutivas de olor a limón o vainilla seguidos de 5 presentaciones consecutivas de olor a vainilla o limón que actúan como estímulos deshabituatorios. Se filmará la conducta motriz que será considerada como variable dependiente. Asímismo se evaluarán parámetros fisiológicos como presión areterial, saturación de oxígeno, frecuencia cardíaca y ritmo respiratorio. La evaluación de la habituación se complementará con estudios clínicos y ecografía cerebral antes de las 48 hs y 1 vez por semana. Todos estos bebés serán seguidos por el equipo de Seguimiento del Recién Nacido de Alto Riesgo. A los 6 meses y al año de vida se evaluará el desarrollo integral con el Test de Bayley . Resultados Esperados: Se espera encontrar diferencias en los patrones habituacionales en función del estado cerebral del bebé. Aquellos bebés con riesgo leve tenderán a mostrar patrones habituatorios que se acercan a los normales mientras que los que presenten riesgo moderado o grave exhibiran patrones habituacionales defectuosos. Estos resultados se correlacionarán con los estudios de seguimiento realizados y con los indices de desarrollo mental y motor arrojados por el test de Bayley durante el año de vida. Importancia del Proyecto: Definir precozmente al niño con riesgo neurológico permite intervenir a tiempo con la estimulación y rehabilitación adecuada. Teniendo en cuenta la valoración del examen clínico, los antecedentes perinatales y los estudios de imágenes que se realizan en el bebé junto a los resultados obtenidos en las pruebas habituacionales, el proyecto brinda la posibilidad de la construcción de un score de riesgo neurológico sencillo y de fácil utilización.

GESTIÓN INTEGRAL DE RESIDUOS Y SU VALORIZACIÓN COMO ESTRATEGIA DE DESARROLLO PARA REGIONES DE CÓRDOBA.

La gestión de los residuos sólidos urbanos presenta recurrentes problemas ambientales y sociosanitarios, con especial crudeza en el ámbito de municipios de pequeña escala. Esta problemática requiere del desarrollo de nuevas tecnologías y rediseño de la gestión de residuos. En la Provincia de Córdoba, la mayoría de las localidades, disponen sus residuos sólidos en sitios abiertos y en forma incontrolada. Estos basurales, son frecuentados por cirujas, trabajo no formal, quienes conjuntamente con otros integrantes de la familia, incluyendo niños, realizan las actividades de recupero de residuos en forma precaria, poniendo en riesgo la salud de dicha población. A su vez, estos lugares son muy propensos a incendios espontáneos ó provocados, lo que conduce a la generación de humos altamente tóxicos que alcanzan a las zonas urbanas. Esta problemática es compartida por todas las regiones con baja densidad poblacional (10 a 40 hab/Km2). A pesar de los incesantes esfuerzos, no se ha logrado aún alcanzar aproximaciones válidas para dar soluciones a esta problemática.La implementación de sistemas de gestión integral con la aportación de tecnologías de bajo costo y provistas por el mercado local, es la única manera que se pueda llegar a buen término con la gestión de residuos y lograr así un desarrollo sustentable de toda la provincia. Los objetivos que se proponen son lograr una solución al grave problema de contaminación para regiones de la provincia de Córdoba debido a la incorrecta disposición y manejo de los residuos sólidos mediante la implementación de un sistema de gestión integral de residuos acorde a las características particulares de cada región, utilizando nuevos indicadores de gestión. Dentro de los objetivos particulares, podemos citar la implementación de sistemas tecnológicos innovadores en el tratamiento de residuos para una correcta disposición final de tecnología sencilla y bajo costo, la implementación de microemprendimientos productivos de clasificación y recupero de materiales, la valoración de los residuos recuperados en función de Bonos de Carbono, disponer de justificativos técnicos y nuevos indicadores económicos para la gestión de subsidios, valorizar el trabajo del ciruja y su familia, capacitación y toma de conciencia a los sectores involucrados. Para el desarrollo del presente trabajo se plantea implementar un sistema de gestión y recupero de residuos regional e integral, que incluya microemprendimientos productivos para lograr la sustentabilidad y a las familias que actualmente trabajan en el recupero de residuos, diseñar y ensayar equipos con características innovadoras para la disposición final de residuos e implementar un proyecto de educación integral que aúne el conocimiento, capacitación y toma de conciencia. Para lograr los objetivos citados se proponen realizar actividades de relevamiento de indicadores facilitadores de vinculación para las localidades de la provincia, generar una logística de funcionamiento para los municipios, relevar las actividades económicas y sanitarias relacionadas a residuos y de las personas involucradas, desarrollar emprendimientos productivos locales, realizar y ensayar tecnologías para el recupero y disposición de residuos, implementar prototipos a escala piloto, implementar talleres de capacitación y material didáctico en las temáticas medio ambiente, desarrollo sustentable, gestión integral de residuos sólidos, reutilización de residuos, salud pública. El presente proyecto estará llevado a cabo por profesionales docentes y alumnos universitarios de distintas especialidades, como así también docentes y técnicos pertenecientes a un establecimiento de educación superior no universitaria, Itec Río Cuarto. Esto, motivado por el convencimiento y necesidad que los problemas ambientales deben ser abordados en forma interdisciplinaria, y las estrategias de intervención que se proponen deben estar integradas con los aportes de cada una de las disciplinas intervinientes.

ESTUDIOS E INVESTIGACIONES APLICADAS A LA GESTIÓN INTEGRAL DE LOS RESIDUOS SOLIDOS URBANOS EN PEQUEÑAS POBLACIONES DE LA REGIÓN CENTRAL DE LA PROVINCIA DE CÓRDOBA.

El presente proyecto se propone investigar de modo integral el problema de los residuos sólidos en varios municipios de la zona centro de la Provincia de Córdoba, elaborar y colaborar con la ejecución de soluciones concurrentes al manejo, atenuación o resolución del problema. La filosofía tecnológica que se asume frente al problema de los residuos sólidos urbanos (RSU) es la de investigar formas y procesos tendientes a aplicar en sitios concretos políticas propuestas a nivel nacional (Estrategia Nacional para la Gestión Integral de Resíduos Sólidos Urbanos, ENGIRSU), consistentes en promover la separación de los resíduos en su lugar de origen, en diferentes categorías que permitan su manejo; su clasificación en aquellas que permitan su reciclado o utilización; y la disposición final del resto mediante técnicas ambientalmente adecuadas. Este tipo de procesos está bastante estudiado en el caso de ciudades grandes (n>200.000 habitantes), pero sus propuestas no son facilmente adaptables a pequeñas poblaciones, principalmente por una cuestión de escalas. Sin embargo, éstas últimas pueden tener a su favor una respuesta social más fácil de construir, sobre todo a partir de la comprensión del problema que representan los RSU y el costo que involucra su gestión, teniendo además como fortaleza adicional la disponibilidad de terrenos libres en sus cercanias. El desarrollo del proyecto incluye tareas de relevamiento y estudio de las situaciones existentes en las diferentes poblaciones y el establecimiento de una linea de base para cada una de ellas. Como aplicaciones surgidas de lo anterior, se llevarán a cabo actividades de tipo socio cultural para promover la conciencia de la separación de los resíduos en los hogares; el diseño y desarrollo de manuales e instructivos para facilitar la tarea; la capacitación de jóvenes estudiantes secundarios en las diferentes localidades, para sumarlos como gestores culturales en el tema; el diseño de sistemas asociativos para las tareas de clasificación y reciclaje; la asistencia técnica para integrar sistemas de manejo y/o comercialización conducentes a la sustentabilidad del proceso (al menor costo posible para los municipios); el diseño y desarrollo de tecnologías simples para las operaciones que requiera el manejo de cada categoría; el estudio -en cada caso- del mejor proceso de disposición final de los residuos remanentes; el estudio de la posible presencia de contaminantes o tóxicos; la elaboración de documentos que posibiliten extender los resultados alcanzados a otras localidades. Se trata de un proyecto de investigación aplicada a la búsqueda de soluciones adaptadas para cada uno de los municipios seleccionados. Entre ellos podemos encontrar algunos que ya han iniciado con relativo éxito la etapa de separación en origen y requieren apoyo tecnológico y organizacional para las etapas siguientes y otros que aún no tienen nada iniciado. Hay municipios de diferente tamaño y naturaleza, unos con presencia industrial, otros principalmente agropecuarios. El proyecto se propone dos grandes objetivos generales: por un lado, operar sobre la conciencia social para sumar voluntades y conductas tendientes a simplificar el problema; reducir la generación de resíduos, clasificarlos y separarlos en origen según diferentes categorías y facilitar la gestión de recolección. Por otro lado se plantean desarrollos tecnológicos (ingenieriles) conducentes a simplificar y disminuir los costos de las operaciones de clasificación, recuperación o reciclado, o resolviendo aspectos que faciliten su transporte a los centros de recepción de cada categoría. Paralelamente se estudiarán temas particulares como son el manejo de residuos peligrosos y/o tóxicos; los residuos electrónicos; las sustancias químicas; los agroquímicos (abundantes en la región), etc.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.