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.

Estudio fisicoquímico de superficies sólidas en medio acuoso: Aplicaciones electroanalíticas y electrocatalíticas

De acuerdo a los objetivos y al plan de trabajo presentados, las actividades a realizar en el período de tres años que comprende este proyecto pueden ser resumidas en dos líneas de trabajo principales. En primera medida, en lo que a estudios fisicoquímicos de sistemas coloidales se refiere, los trabajos se centralizarán en la caracterización de la estructura y propiedades reactivas de la interfaz óxido metálico-solución acuosa. Es de particular interés la caracterización de la superficie de estos materiales, la individualización de los sitios superficiales y el efecto que la reactividad posee en el desarrollo de cargas y potencial eléctrico a través de la interfaz, en la disolución y corrosión de los mismos, en la capacidad adsortiva de la superficie y en los fenómenos que controlan la estabilidad, floculación y agregación de partículas tanto en sistemas sintéticos como naturales (suelos). Así mismo, se realizarán estudios de mecanismos de precipitación, envejecimiento y disolución de diferentes óxidos metálicos con el objeto de predecir y controlar sus propiedades. Además de la utilización de diversas técnicas experimentales de caracterización de sólidos, interfaces y suspensiones, se plantea describir los fenómenos a través de modelos matemáticos con el objeto de lograr un mejor "manejo" de los diferentes sistemas. Por otra parte, se analizará el comportamiento de celdas para baterías con electrodos de Ni (OH)2 y plomo con el objeto de mejorar su rendimiento. Se estudiará además la influencia de los distintos parámetros experimentales, tales como electrolito, aditivos, etc. Finalmente, con respecto a los electrodos químicamente modificados, se continuará con el estudio de diversas condiciones experimentales para la obtención de sensores electroquímicos. Paralelamente se comenzará con el desarrollo de biosensores electroquímicos, así como con el estudio de las propiedades electroquímicas de los electrodos antes mencionados.

Evolución de la Estructura en el Universo. Evolution of structure in the universe.

Se analizará la evolución de la estructura en el Universo desde los puntos de vista numérico, estadístico y observacional dando una caracterización de las propiedades globales del Universo en Gran Escala. Para ello se analizarán los mayores catálogos de Galaxias existentes, nuevas observaciones y simulaciones numéricas Cosmológicas de alta resolución. Mediante la aplicación de diferentes métodos capaces de proporcionar información útil acerca de las propiedades del Universo, se pretende aportar significativamente a la comprensión de la dinámica y la características generales de Galaxias y sistemas de Galaxias.