PARTICIPACIÓN DEL RECONOCIMIENTO INMUNE INNATO EN LA RESPUESTA DE CARDIOMIOCITOS DURANTE LA INFECCIÓN EXPERIMENTAL CON TRYPANOSOMA CRUZI. Characterization of the cardiac innate immune response during Trypanosoma cruzi experimental infection.

La enfermedad de Chagas, causada por Trypanosoma cruzi, constituye la principal miocarditis infecciosa a nivel mundial. Crecientes evidencias revelan que la respuesta inmune innata tendría un rol determinante en la fisiopatología de las enfermedades cardiovasculares. La inmunidad innata es la primera línea de defensa, no específica, preprogramada para combatir agentes infecciosos. Este sistema censa la presencia de antígenos extraños a través de los receptores tipo toll (TLR) produciendo citoquinas y activando mecanismos microbicidas. Sin embargo, los TLRs también se hayan distribuidos en las células parenquimales no inmunes, jugando un importante rol tanto en la defensa como en la homeostasis de cada tejido. Durante la etapa aguda de la infección, el T. cruzi invade y se replica dentro de una amplia variedad de células y tejidos. Pero posteriormente, los parásitos son efectivamente eliminados de la mayoría de los tejidos persistiendo durante toda la vida en las células del músculo cardíaco y esquelético de los pacientes infectados. Debido a que el mantenimiento de la célula cardíaca infectada es crítica para la patogénesis de la enfermedad, los mecanismos que participan en la sobrevida de los cardiomiocitos están siendo foco de nuestro estudio. Hemos demostrado, que la infección ejerce efectos antiapoptóticos sobre células cardíacas aisladas. Nuestra hipótesis es que la inmunidad innata cardíaca estaría involucrada en el mantenimiento de la sobrevida de los miocitos así como en la defensa contra el parásito. Objetivo general: determinar la participación de la respuesta inmune innata cardíaca en el desarrollo de la enfermedad de Chagas experimental murina. Objetivos específicos: 1) Analizar el compromiso de TLRs en la respuesta anti-apoptótica y de autofagia de cardiomiocitos aislados de ratones salvajes y de ratones deficientes en TLR4, TLR2 y en MyD88, molécula adaptadora de la señalización por TLRs, sometidos a la infección con el parásito. 2) Determinar la importancia de la actividad cisteín proteasa parasitaria en el grado de infectividad y la sobrevida de cultivos primarios de ratones salvajes infectados con parásitos transgénicos que poseen disminuída o nula actividad cisteín proteasa. 3) Establecer la cinética de expresión de TLR2/TLR6, TLR4 y TLR9, factores antiapoptóticos (Bcl-2, Bcl-xL, etc.), daño cardíaco y la carga parasitaria en el tejido cardíaco de ratones infectados salvajes y/o deficientes antes mencionados. Materiales y Métodos: Los animales serán infectados i.p. con 5x103 parásitos y se determinará la cinética de expresión de los mediadores mencionados por western blot e inmunofluorescencia, la carga parasitaria será determinada por qRT-PCR. Como controles se procesarán animales inyectados con solución salina. En cultivos primarios de cardiomiocitos de ratones neonatos salvajes y deficientes infectados se estudiará la carga parasitaria, la activación de los mecanismos microbicidas (producción de óxido nítrico, metabolitos reactivos del oxígeno y del nitrógeno, ciclooxigenasa, etc.), producción de citoquinas y expresión de moléculas anti-apoptóticas (Bcl-2, Bcl-xL, Bax, etc.). Se explorará la tasa de apoptosis en cultivos deprivados de suero. La autofagia se analizará por microscopia electrónica. Cultivos controles serán mantenidos en medio o tratados con ligandos de los diferentes TLRs. Resultados preliminares sugieren que tanto TLR2 como Bcl-2 se incrementan en tejido cardíaco infectado. Esto nos lleva a profundizar en los mecanismos observados en cultivos y estudiarlos en un modelo in vivo, analizando la posible importancia que tiene la inmunidad innata cardíaca en el control del establecimiento de la infección. La comprensión de los mecanismos que mantienen la sobrevida de los cardiomiocitos y su respuesta a la infección es importante ya que el conocimiento de las bases moleculares es fundamental para el desarrollo de nuevos agentes quimioterapéuticos. Chagas disease is endemic in Central and South America and causes the most common myocarditis worldwide. We have previously reported that the cardiotrophic parasite Trypanosoma cruzi, its etiological agent, protects cardiomyocytes against apoptosis induced by growth factor deprivation activating the PI3K/Akt and MEK1/ERK signaling pathways. Recent studies have shown that local innate immunity plays a key role in initiating and coordinating homeostatic as well as defense responses in the heart. One of the mechanisms by which the innate immune system senses the presence of foreign antigens is through TLRs. The stimulation of these receptors leads to the activation and nuclear translocation of NF-kB transcription factor and the production of cytokines. Proinflammatory cytokines, in turn, appear to play a central role in the orchestration and timing of the intrinsic cardiac stress response providing, under different situations, instantaneous anti-apoptotic cytoprotective signals, which allow tissue repair and/or remodeling. The aim of the present project is to study the cardiomyocyte innate immune responses to T. cruzi infection and its role in target cell protection from apoptosis. Specific objectives: 1) Study the mechanism triggered by TLR in the anti-apoptotic response and parasite load of infected cardiomyocyte primary cultures from wild type and mice deficient in TLR2, TLR4 or MyD88. 2) Determine the effect of parasite cisteín protease activity on primary cultures from wild type mice. 3) Determine the TLR signaling-involvement in parasite load and survival indicators in deficient mice. Preliminary results showed us that cardiac-TLR2 may be involved in the anti-apoptotic effect elicited by the parasite and prompted us to establish the mechanisms triggered by the innate immunity that mediate parasite persistence within the host cell.

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.