8 de noviembre de 2012

Quick Report

Esta entrada es un status report. Terminé de escribir un paper y lo envié para una conferencia. Actualmente estoy escribiendo mi tesis y al mismo tiempo trabajando en un proyecto de teoría de automatas y sistema de pruebas interactivos con un colaborador. También estoy buscando otro problema interesante sobre el cual trabajar. Pienso seguir en computación nondeterminística y tengo dos opciones allí: Exponential Time Algorithms y Fixed Parameter Complexity o sigo con quantum/classical proofs. Hasta ahora he comprobado que puedo hacer dos proyectos al mismo tiempo, o inclusive tres si tengo más colaboradores.

La elección de un problema o tema de investigación es por supuesto muy importante, y al mismo tiempo, tan difícil como la solución. En palabras de Emil Artin:

"Our difficulty is not in the proofs, but in learning what to prove".