“La computación cuántica se trata de ver a la física cuántica desde el punto de vista de la computación: cada proceso tiene un estado inicial, un estado final y un algoritmo que describe la evolución entre un estado y otro. Para describir esos algoritmos se pueden utilizar diferentes lenguajes. En ciencias de la computación se utiliza el Lambda Cálculo como formalismo matemático para estudiar las características de los diferentes lenguajes, y para entender las estructuras lógicas detrás de la computación. En esta área investigamos las características de los lenguajes de programación para computación cuántica, extendiendo el lambda cálculo y estudiando los modelos lógicos que resultan. De esta manera, estamos utilizando las herramientas de las ciencias de la computación para estudiar la lógica de la física cuántica.”
“Cómo podemos crear software que construya automáticamente tests que prueban aplicaciones Android, REST APIs, clases Java; usando algoritmos genéticos. ”
“Mi doctorado es en el área de Optimización Combinatoria. Lo que hacemos es usar modelos matemáticos para resolver problemas que podrían surgir en las operaciones de cualquier empresa o institución, por ejemplo. En particular, nos enfocamos en algunas variantes del Problema del Ruteo de Vehículos (un problema difícil) con restricciones operacionales de la vida real (más difícil). Para abordar esto, utilizamos técnicas algorítmicas vistas en la carrera (programación dinámica, backtracking) y otras que se ven en materias optativas (investigación operativa)”
“Estoy estudiando unas técnicas de Inteligencia Artificial que (a diferencia de aprendizaje automático) dan garantías totales sobre su respuesta. Podés pensarlo como algoritmos que leen leen las instrucciones de un juego y te contestan cual es la forma de ganar ese juego sin importar cuán bueno es tu contrincante (siempre que sea posible, para el tateti por ejemplo no lo es). Mi investigación en este área es de algoritmos (sobre grafos) y lógica.
Estas técnicas de IA las estoy usando para poder dotar a drones y sistemas adaptativos de mayor autonomía. Esto significa pensar tanto modificaciones específicas del lenguaje de descripción de reglas de juego como así también construir la arquitectura completa del sistema. ”
“Mi trabajo tiene que ver con diagnosticar especificaciones formales de sistemas, ya sea de software o hardware, en particular para el caso en el que no hay forma de conseguir que un comportamiento descripto satisfaga garantías duras (no realizabilidad). Los modelos que utilizamos están expresados como una conjunción de máquinas de estado (LTS) y fórmulas de logica temporal lineal (LTL). Antes trabajé con modelado, síntesis y verificación de sistemas reactivos (mismos modelos, distintos enfoques).”
“Trabajo en el área de lenguajes de programación, teoría de la concurrencia. Mi doctorado se basa en las construcción de modelos de programación y técnicas de análisis que le permitan al programador lidiar con anomalías o inconsistencias de datos sobre sistemas geo-replicados. Es particular, intento contribuir en el diseño, la validación y la verificación de programas que corren sobre este tipo de infraestructura, desarrollando de manera formal abstracciones que permitan razonar sobre las garantías y las propiedades que este tipo de aplicaciones ofrecen.”
“Construcción automatizada de modelos formales de comportamiento para la verificación, ingeniería reversa y debugging de software complejo”
“Trabajos con distintos problemas asociados a la Robótica Móvil, como ser la navegación autónoma, la construcción de mapas del entorno y la localización del robot en el mismo. Para esto aplicamos métodos de optimización no-lineal, inteligencia artificial, visión por computadora y teoría de control. Utilizamos distintos tipos de sensores como cámaras estéreo, láser, unidades inerciales, encoders y GPS. Experimentamos en diversas plataformas no convencionales como vehículos omnidireccionales, hexápodos y drones. Nos interesa tanto la investigación sobre nuevos métodos y algoritmos como el desarrollo de proyectos donde se lleven a la práctica estos conocimientos.”
“Llamamos requerimientos no funcionales (o atributos de calidad) a aquellos que no prescriben el comportamiento funcional de un sistema sino que caracterizan de qué manera el sistema desarrolla su comportamiento. En particular podemos entender ciertos atributos de calidad como requerimientos cuantitativos expresados como restricciones sobre los números reales y esto nos permite desarrollar lenguajes formales para estos atributos y herramientas de análisis asociadas. Mi tema de doctorado es el desarrollo de este tipo de herramientas motivado inicialmente como un método de elección automática de servicios en el paradigma de Service-oriented Computing (en el que nos interesan atributos como el costo del servicio, tiempo de ejecución, disponibilidad, entre otros), sin embargo el problema de analizar de manera automática atributos cuantitativos aparece en distintas disciplinas. En particular, actualmente estamos trabajando en la aplicación de estas herramientas para resolver un problema de Motion Planning: dado un espacio con distintos obstáculos, un punto inicial y un punto final se desea construir un plan de navegación que evite los obstáculos y sea compatible con la dinámica continua de movimiento del robot. Lo interesante de intentar resolver este tipo de problemas es que nos lleva a aprender y usar herramientas de otras áreas como la geometría computacional, la optimización convexa, la verificación en sistemas híbridos, entre otras.”
“Parte de mi investigación se enfoca en lógicas y bases de datos: en ciertos contextos, una base de datos puede ser vista como un grafo o árbol con datos, donde las consultas son interpretadas apropiadamente como fórmulas. De esta manera, diversos problemas pueden estudiarse del lado de la lógica, como ser grados de similaridad entre distintos nodos, métodos para acelerar consultas, búsqueda de expresiones referenciales, etc. En muchos casos, el estudio de estas lógicas toma un interés independiente con temas como axiomatización, complejidad computacional de distintos problemas, relación con autómatas, etc.”
“Mi doctorado es en el área de semántica de lenguajes de programación. Usando formalismos de la familia del cálculo-lambda, estudiamos preguntas teóricas que tienen relevancia práctica. Ejemplos: