Tesis enviada

Hoy en la mañana llegué a la universidad y, en cuanto me senté frente a mi escritorio, sonó el celular. Mi asesor. “Estoy leyendo tu tesis, hay varias correcciones que hacer. ¿Cuando la tienes que entregar? ¿Hasta qué hora tengo para leerla? ¿Hasta la una? Bien.”

Después de otras llamadas, e idas a su oficina en que intercambiábamos hojas y notas con correcciones eventualmente dieron como las 11:30am. “Tengo que ir ahora a una entrevista. Has los cambios e imprime una nueva versión. La llevas a mi oficina quince minutos después de las doce cuando salgo de la entrevista.”

Hice los cambios y a la hora indicada estaba yo con la nueva versión impresa del capítulo que estábamos revisando. Él comenzó a leerla y notar más cambios, yo asentía mientras decía que sí los iba a hacer. “¿Los vas a hacer? ¿Cuando? Vamos a tu oficina y vas editando mientras yo sigo leyendo.”

Los siguientes minutos pasaron mientras él seguía indicando cambios y yo buscaba dentro de las fuentes del documento donde hacerlos. Reescribir alguna oración, explicar mejor una notación. Finalmente faltando poco para la una mi asesor dijo: “Bueno, ya no podemos arreglar mucho más en 7 minutos, ¿Verdad?”. Yo asentí de nuevo y me dijo que todo se veía bien. “Si la prueba es correcta, me gusta mucho. La construcción que haces se ve muy elegante.”

“Voy a proponer tu tesis para el premio de la mejor disertación en el Reino Unido en ciencias computacionales. Creo que las probabilidades de ganar el premio no son muy altas, pero sí son no-cero.”

Después de eso mi asesor me dejó y yo terminaba de hacer los últimos cambios, quitar las marcas de ‘borrador’, actualizar el contador de palabras y, finalmente, a imprimir tres copias de la tesis. Impresas las tesis, me lanzé entonces rápido a hacer un soft binding para entregar las dos copias reglamentarias a la facultad. Poco después de las dos de la tarde estaba yo en la oficina indicada.

“Está bien. Sólo tengo que hacerte un recibo de que ya entregaste la tesis.”

¿Qué sigue? Ahora las copias que entregué serán enviadas a mis examinadores quienes ahora leerán y revisarán mi tesis. Finalmente, muy posiblemente a inicios de Noviembre, será mi Viva. La versión británica del examen profesional donde los examinadores me harán preguntas y me pedirán que defienda el trabajo presentado en mi tesis.

Entonces, y dependiendo de mi desempeño en la Viva, los examinadores pueden decidir aprobar mi tesis, aprobarla con correcciones menores (ambas opciones son normalmente ‘buenas’), no aprobarla a menos que se hagan correcciones mayores, hasta que se haga investigación adicional o, en el peor de los casos, simplemente tirarla a la basura y decirte ‘Gracias por participar. Por favor intente de nuevo.’

Así que tendremos que esperar hasta Noviembre para saber cuál es mi caso.

Y luego, ¿qué sigue? Aún no lo sé. Hay varias opciones ahí en el aire pero aún no tengo confirmación de nada. En cuanto sepa algo más concreto espero hacérselos saber también aquí por el blog.

Thesis Acknowledgements

Foremost, I would like to thank my supervisor, Prof. Andrei Voronkov, who shared with me a lot of his expertise and research insight. He quickly became for me the role model of a successful researcher in the field. I also like to express my gratitude to Dr.-Ing. Renate A. Schmidt, whose thoughtful advise often served to give me a sense of direction during my PhD studies. And I am deeply grateful to the National Council of Science and Technology in México (CONACYT) for the trust and support that they gave me in order to study in the UK.

It is difficult to overstate my appreciation to Prof. Mauricio Osorio, who first brought me into the world of research and with whom I began to learn about mathematical logic and theoretical computer science. Not only a great mentor and colleague, he has also been a cornerstone in my professional development.

I wish to thank everybody with whom I have shared experiences in life. From the people who first persuaded and got me interested into the study of mathematics, specially those who also played a significant role in my life, to those which with the gift of their company made my days more enjoyable and worth living.

I am tempted to individually thank all of my friends which, from my childhood until graduate school, have joined me in the discovery of what is life about and how to make the best of it. However, because the list might be too long and by fear of leaving someone out, I will simply say thank you very much to you all.
Some of you are, anyway, quite lucky: thank you Luis and Enrique (los Novatos), Ariadna, Joachim, Gaby and Héctor for being some of my very best friends.

I cannot finish without saying how grateful I am with my family: grandparents, uncles, aunts, cousins and nephews all have given me a loving environment where to develop. Particular thanks, of course, to Daniel and Rodrigo my brothers and best mates. Lastly, and most importantly, I wish to thank my parents, Maria Eugenia and Juan Antonio. They have always supported and encouraged me to do my best in all matters of life. To them I dedicate this thesis.

Matente actualizado

¿Quieres mantenerte actualizado y enterarte de cuando escriba cosas nuevas en este blog? Está bien, no tienes que responder :-P.

Para mis nuevos y antiguos lectores les comento que acabo de actualizar las ligas de los feeds de este blog utlizando los servicios de FeedBurner. A partir de hoy en la nueva feed recibirán ya los artículos completos, y algunas monerias como ligas para compartir mis posts en Facebook, StubleUpon y del.icio.us. (Ja, como si alguien quisiera hacerlo). De cualquier modo, antiguos lectores, actualizen por favor sus feeds para que usen ahora la nueva dirección.

Algunos de los métodos que pueden elegir para recibir actualizaciones de mi blog son los siguientes.

Google Homepage. Lo más sencillo es dar click en Add to Google. Si usas la página personalizada de Google como homepage, entonces cada que inicies tu navegador podrás ver una lista con las últimas cosas que yo haya escrito.

R-Mail. Si lo prefieres, puedes utilizar R-Mail para recibir un mensaje de e-mail con un aviso cada que publique yo algo nuevo. Para eso basta con que escribas tu dirección de correo electrónico aquí:

Email:

Google Reader. Si de pronto empiezas con la mania de leer muchos blogs, y ya tienes la Google Homepage llena de cuadritos o tu mail con mil mensajes de blogs, una solución genial es utilizar el Google Reader. En el puedes mezclar varios feeds de diferentes blogs y, además, puedes agregar un módulo del reader para tu página principal.

Tu propio agregador de feeds. Finalmente si te sientes más pro y quieres leer el feed de este blog a tu agregador favorito, puedes usar la siguiente que es la dirección de mi feed:
http://feeds.feedburner.com/navarroj

Presentaciones en Google!

Hoy me acabo de enterar que hace dos días (maldita tesis!), Google finalmente lanzó su editor para hacer presentaciones en linea, completando así su office suite que ya incluía documentos y hojas de cálculo. Y, aunque seguramente hay muchas opciones de productos más maduros y tradicionales como MS Office que no están incluidas aún en la versión de Google, la idea de poder editar documentos en linea tiene definitivamente también sus muchas ventajas. Como nos lo explica el siguiente videito.

Talk like a Pirate!

Hoy es el día internacional de hablar como un pirata y, aunque yo le voy más a los ninjas, me pareció genial el hecho de que hoy flickr le entró al juego y está también hablando como pirata!

Busca el lenguaje Arrrr! en la parte de abajo al final de la página.

Una disculpa también por el decline en calidad de los posts en mi blog últimamente :-P . He andado apurado trabajando en mi tesis, pero prometo pronto escribir algo más substancial (y contentas algunos comentarios que tengo pendientes!).

Dating pools

Somewhere at the edge of the bell curve is the girl for me.

Esa frase es genial :-D, y los datos son reales.

I need a real job

Self-sufficient

I've just figured out I don't need a supervisor.. I've just proof read a chapter, trashed and red penned it enough.. even asked myself to remove/rewrite some complete sections!