Biorremediación de cromo y fenol mediante la aplicación de microorganismos nativos de la Provincia de Córdoba Bioremediation of chromium and phenol by the application of native microorganisms from Córdoba Province

La contaminación ambiental por metales pesados como el cromo y por compuestos orgánicos como los fenoles es un grave problema a nivel mundial debido a su toxicidad y a sus efectos adversos sobre los seres humanos, la flora y la fauna, tanto por su acumulación en la cadena alimentaria como por su continua persistencia en el medio ambiente. En un estudio preliminar, efectuado por nuestro laboratorio, se han detectado elevados niveles de estos contaminantes en sedimentos y efluentes en zonas industriales del sur de la provincia de Córdoba, lo cual plantea la necesidad de removerlos. Entre las tecnologías disponibles, la biorremediación, que se basa en el uso de sistemas biológicos, como los microorganismos, para la detoxificación y la degradación de contaminantes, se presenta como una alternativa probablemente más efectiva y de menor costo que las técnicas convencionales. Sin embargo, la aplicación de esta tecnología depende en gran parte de la influencia de las características particulares y específicas de la zona a remediar. En consecuencia, en primer lugar se caracterizará la zona de muestreo y se aislarán e identificarán microorganismos nativos de la región, tolerantes a cromo y fenol, a partir de muestras de suelo, agua y sedimentos, ya que podrían constituir una adecuada herramienta biotecnológica, mejor adaptada al sitio a tratar. Posteriormente se estudiará la biorremediación de Cr y fenol utilizando dichos microorganismos, analizando su capacidad para biotransformar, bioacumular o bioadsorber a estos contaminantes, y se determinarán las condiciones óptimas para el tratamiento. Se analizarán los posibles mecanismos fisiológicos, bioquímicos y moleculares involucrados en la remediación, que constituye una etapa crucial para el diseño de una estrategia adecuada y eficiente. Finalmente, se aplicará esta tecnología a escala reactor, como una primera aproximación al tratamiento a mayor escala. De esta manera se espera reducir los niveles de estos contaminantes y así minimizar el impacto ambiental que ellos producen en suelos y acuíferos. A futuro, la utilización de los microorganismos seleccionados, de manera individual o formando consorcios, para el tratamiento de efluentes industriales previa liberación al medio ambiente, o su uso en bioaumento, constituirían posibles alternativas de aplicación. Los principales impactos científico-tecnológicos del proyecto serán: (a) la generación de una nueva tecnología biológica de decontaminación de cromo y fenol, intentando presentar soluciones frente a una problemática ambiental que afecta a nuestra región, pero que además es común a la mayoría de los países, (b) la formación de nuevos recursos humanos en el área y (c) el trabajo en colaboración con otros grupos de investigación que se destacan en el área de biotecnología ambiental. Environmental pollution produced by heavy metals, such as chromium and organic compounds like phenolics is a serious global problem due to their toxicity, their adverse effects on human life, plants and animals, their accumulation in the food chains and also by their persistance in the environment. In a previous study performed in our laboratory, high levels of these pollutants were detected in sediments and effluents from industrial zones of the south of Cordoba Province, which determine the need to remove them. Among various technologies, bioremediation which is based on the use of biological systems, such as microorganisms, to detoxify and to degrade contaminants, is probably the most effective alternative, and it is less expensive than other conventional technologies. However, the application of this technology depends on the influence of the particular and specific characteristics of the zone to be remediate. As a consecuence, at the first time, the zone of sampling will be characterized and then, native microorganisms, tolerant to chromium and phenol, will be isolated from soils, water and sediments and identificated. These microorganisms would be an adequate biotechnological tool, more adapted to the conditions of the site to be remediate than other ones. Then, the ability of these selected microorganisms to biotransform, bioaccumulate or biosorbe chromium and phenol will be studied and the optimal conditions for the treatment will be determined. The possible physiological, biochemical and molecular mechanisms involved in bioremediation will be also analized, because this is a crucial step in the design of an adequate and efficient remediation strategy. Finally, this technology will be applied in a reactor, as an approximation to the treatment at a major scale. A reduction in the levels of these pollutants will be expected, to minimize their environmental impact on soils and aquifers.

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.