Semana CoNCISa

Finalmente llegó el momento de colgar el distintivo y disfrutar de un merecido día de descanso. ¡Ha concluido la 2da Escuela Venezolana de Informática y Conferencia Nacional de Computación, Informática y Sistemas!

¡COnferencia Nacional de Computación, Informática y SistemAs!

Fue una semana de trabajo duro, pero que valió muchísimo la pena. Ambos eventos (EVI y CoNCISa) salieron super bien y creo que los asistentes salieron bastante satisfechos. Tuve el gusto y el privilegio de ser parte del equipo organizador del evento (aunque la invitación fue tardía, y no pude ayudar en el previo tanto como hubiera querido, pero igual pude dar mi todo para que el evento saliera bien, jeje). Tuve la oportunidad de compartir con queridos colegas ya conocidos y la dicha de conocer a otros más. Además, tuvimos la invaluable ayuda de un equipo de logística formado por estudiantes voluntarios de varias universidades. A la mayoría ya los conocía y son personas geniales. Los que no, pronto descubrí que también eran excelentes personas y pasamos una genial semana entre todos haciendo posible estos eventos (y haciendo Origami, jajaja).

Ambos eventos fueron con sede en la UCAB (Universidad Católica Andrés Bello). Como otras veces que esta universidad ha sido casa para eventos académicos, el lugar fue excelente y todas las cosas funcionaron muy bien. Además, para mi, la UCAB tiene un "no se qué" que me hace sentir muy a gusto. Siempre me ha parecido que tiene un ambiente muy relajante y unos jardines sumamente estéticos y bien cuidados. Después de mi adorada USB, creo que es uno de los sitios en donde me siento más a gusto. Además, estaba lleno de gente genial de muchas diferentes universidades, lo cual lo hizo aún mejor. :)

No pude entrar a muchas de las charlas, ya que estuve ocupado en la organización. Sin embargo, tuve el gusto de poder asistir a tres muy buenos subeventos:

• En primer lugar, fui el moderador del tutorial "Herramientas para la Gestión de Eventos Académicos en Línea", dictado virtualmente por el prof. Raymond Marquina de la ULA (excelente persona y profesional, al menos en lo poco que tuve el gusto de compartir con él). A pesar de un inconveniente con la luz, que se fue en casa del presentador y tuvimos que sobrevivir con puro audio vía plan de datos (ese si es un plan de datos vale, jajaja), la charla estuvo buenísima y aprendí bastante.
• En segundo lugar, pude asistir y ser chair de la 4ta (y última) tanda de ponencias del segundo día de CoNCISa. Hubo muchas buenas charlas de diferentes temas, en realidad muy interesantes. Además, aquí presenté yo mismo una charla llamada "Hacia la Verificación de Programas que Manipulan Estructuras Recursivas Generales Mediante Apuntadores", correspondiente al trabajo enviado en conjunto con Jesús Ravelo. Volví a leer el artículo preparando la presentación y sigo enormemente orgulloso del resultado y agradecido por toda la ayuda, guía y amistad de Jesús. ¡Es en verdad invaluable! Y la presentación creo que salió bastante bien, aunque quedaría de la audiencia constatarlo, jajaja.
• En tercer lugar, pude asistir a la presentación del premio a la destacada trayectoria para mi amigo y profesor, Jorge Baralt. Además de emotivo, todo el acto fue en realidad super gracioso, por diversas razones. Nada más la exposición del curriculum fueron casi 10 minutos, jajaja. Y el discurso de aceptación fue lo máximo: "Me dijeron que tengo solo dos minutos... El primero y el último me imagino." y "Seré breve entonces: Gracias... ¿Ahh? ¿Un poco menos breve? Muy bien... Muchas gracias", jajaja. Después de ahí si se enserió un poco el discurso y dijo algunas excelentes e inspiradoras palabras. ¡Qué gusto y qué privilegio conocer a una persona tan valiosa en verdad! :)

Fue una semana interesante y entretenida, aunque fuerte. Una cosa divertida es que los últimos dos días y medio estuve encargado de las ventas de souvenirs del evento. He descubierto mi don y gusto de venta, jajaja. La apodaron "La tiendita de Ricardo" y se pudo vender unas cuantas franelas, chemisses y hasta libros con las memorias de CoNCISa del año pasado. Además, vendimos tantas membresías a la Sociedad Venezolana de Computación que nos quedamos sin facturas. Fue divertido eso, jajaja. Cuando no estuve en la tiendita, estuve más que todo en la mesa de registro. ¡Ese trabajo me encanta! Tengo la oportunidad de tratar y conocer a mucha gente nueva, y ayudarlos a tener la mejor experiencia posible. Recibí a cada uno con una sonrisa, no sólo por que es lo indicado, sino por que estaba genuinamente feliz de estar ahí ayudando y conociendo nueva gente.

El acto de clausura también estuvo buenísimo, con una agrupación tributo de Les Luthiers llamada "Los Experimentados" (o algo así). ¡EXCELENTE! Hicieron dos obras originales que estuvieron realmente buenas. Es una lástima que sean prácticamente invisibles en la web. No he podido encontrar nada sobre ellos posterior al evento, pero fue realmente genial. ¡Ojala logren surgir y triunfar como grupo!

En fin, excelente semana. Tuve el gusto de conocer a mucha gente nueva y compartir con viejos y nuevos amigos. Me encantó la hermandad que vi entre las diferentes universidades. Sin las competencias, ni los delirios de superioridad, ni discriminaciones. Tan sólo un grupo de gente unida por su pasión por la computación y las ganas de ayudar a realizar un gran evento. ¡Qué orgullo haber formado parte de este gran equipo! Espero poder colaborar nuevamente el año que viene y en cualquier otro evento de este estilo. Fue una gran experiencia en verdad. ¡Gracias a todos! :D

Y esto era lo que quería compartir por ahora. Tenía bastante tiempo sin escribir, jeje. He estado realmente ocupado, con mil cosas que hacer. Estas semanas venideras ya deberían ser un poco más ligeras, pero ya veremos, jajaja. ¡Hasta una próxima entrada!

Magíster en Ciencias de la Computación

¡Hoy fue el gran día! Finalmente, hoy a partir de las 10:00am. se celebró el acto de graduación en donde obtuve el tan anhelado título de Magíster en Ciencias de la Computación. ¡Que emoción! Me sentí igual de nervioso que en el acto cuando me dieron el título de Ingeniero (quizá hasta un poco más, jajaja). Mas ahora no cabe en mi la felicidad, el orgullo y la motivación para seguir aprendiendo y creciendo.

¡El título mesmoooh! :D

Fue un día repleto de emociones. Todo comenzó alrededor de las 4:30am., hora a la que nos tuvimos que levantar para llegar a tiempo al acto (a eso de las 7.30am.), y resulta que los de protocolo llegaron casi a las 9:00am., jajaja. En el acto me conseguí a muchísima gente que se graduaba también y que ahora puedo llamar colegas con orgullo y alegría. ¡Un privilegio compartir acto con tantos amigos y gente tan genial!

El acto estuvo muy bueno. El discurso de la graduando (Diosángeles) estuvo bastante bien, aunque quizá un poco lento y centrado en la experiencia IQ más que todo. Sin embargo, el mensaje se transmitió y realmente mereció dar ese discurso después todo lo que hizo por hacer posible esta graduación extraordinaria. El discurso del vicerrector lamentablemente dejó mucho que desear, ya que no tuvo casi nada que ver con el acto y además pintaba una escena muy negativa, incongruente con el ambiente de júbilo y celebración que debería ser propia de una acto de grado. Pero bueno, no todo puede ser perfecto, jajaja.

¡Que emoción cuando llamaron mi nombre! Y que orgullo escuchar tantas expresiones de apoyo de mi familia, amigos y colegas. ¡Un momento incomparable sin duda, fugaz pero eterno! Con orgullo aplaudí a todos los que vinieron después de mi (aunque debo confesar, que mucho más a los computistas, jajaja). Las canciones del orfeón estuvieron excelentes. El corte hacia el final de Barlovento y el arreglo armónico de la segunda canción quedaron buenísimos. Algo que me sorprendió era la poca cantidad de gente que cantaba el himno de la USB con el orfeón, aunque bueno, no siempre se oye ese himno, jeje. ¡Yo lo canté con orgullo! :D

Saliendo del acto, estuve un rato con mi familia y algunos amigos geniales hablando un rato y tomando fotos. Ahí fue que me dijeron que el porta-título tenía otra cosa (yo no la había visto). ¡Resulta que había una constancia de Mención Sobresaliente por el Trabajo de Grado! Que genial ver eso ahí, jajaja.

De ahí, a comer en Mokambo Caffe (en las Mercedes). Lo gracioso, es que habían otros graduandos ahí también. Pedimos ceviche y carpaccio de lomito como entrada, seguido de un risotto de cebollas gratinadas para mi (el resto de mi familia pidieron risottos de otros sabores, jajaja). ¡Que excelente estuvo! Y de poste una torta de queso, que estuvo simplemente mundial. Luego, fue tiempo de ir a visitar a la familia extendida (abuelos y tíos). Hicimos un brindis por el nuevo logro y pasamos un rato chévere (por supuesto, no podía faltar el "regaño disfrazado de felicitación" de todos los días con la familia indirecta de uno, pero la intención es buena que es lo que cuenta, jajaja).

Y bueno, después de un día fuerte pero genial (seguido de varios días de diligencias heavy metal), heme aquí escribiendo este post. ¡Estoy sumamente orgulloso y feliz! Y necesitaba compartirlo nuevamente por esta vía. ¡Gracias a todos los que me han acompañado, apoyado y alentado! Es un privilegio y un honor contar con su amistad y cariño. ¡Un abrazo gigante a todos! Será hasta una próxima entrada. :D

Finalmente... Magister.

Después de ya un poco más de 4 años y de tantas experiencias y aprendizajes, el día de hoy finalmente puedo decir que terminé mi Maestría en Ciencias de la Computación. Estoy sumamente agradecido y aún incrédulo. Los nervios que tenía para defender aún no terminan de desaparecer, pero se ha ido reemplazando por una felicidad y una realización, intensa y profunda.

¡La presentación mesmaaa!

Hoy, a las 11:00am., en la Sala de Videoconferencias del Edificio de Comunicaciones, finalmente defendí la tesis de maestría que muchos (incluyéndome) ya consideraban una parte constante de mi vida, jajaja. Tenía practicada la presentación de tal forma que durara 35 minutos, pero al hacerla resulta que duró casi 2 horas. :O Claro, esto incluyendo las preguntas que se hicieron durante la presentación (las cuales agradezco, pues siento que hicieron entenderse mejor lo que explicaba).

Durante la presentación conté con la compañía de muchos amigos y colegas del Departamento de Computación. Agradezco muchísimo tanto apoyo e interés genuino, aunque era gracioso pues tenía como 10 jurados en realidad, jajaja. Sin embargo, las preguntas hechas me hacen sentir que hice un buen trabajo, al menos interesando a la audiencia y lo cual me pone sumamente orgulloso y agradecido.

Eventualmente, la presentación terminó y nos pidieron salirnos un rato para que los jurados pudieran deliberar. Estuvieron un raaaato ahí (proporcional a lo que me tardé en la presentación, jeje). Pero finalmente nos dejaron pasar y me dieron la gran noticia: ¡Aprobado! Aún no puedo creerlo. ¡Que felicidad tan grande! Y más aún, algo que nunca me hubiera esperado... Los jurados decidieron que la tesis merece mención. Wow! Es mucho más de lo que esperaba y no puedo dejar de sentirme agradecido y orgulloso. La realización no cabe en mi en este momento. :')

Después de la defensa tuvimos un brindis en el departamento y mucha gordura para acompañarlo. Tuve el gusto y el honor de contar con buenos amigos y excelentes profesores colegas en la defensa y en el brindis. Sé que hubo muchas personas que querían llegar y no pudieron por la cola que había a esa hora. Intentaré repetir la defensa como un coloquio para que más personas que estén interesadas puedan verla (aunque confieso que me da un poco de miedo que se arrepientan de la decisión de hoy, jajajaja).

Y bueno, esto era lo que quería compartir por ahora. La felicidad que siento es realmente indescriptible. ¡Gracias a todos los que compartieron conmigo este momento y los que me ayudaron en todo el transcurso, aunque sea con su amistad y compañía! A mi tutor, mis jurados, mi familia, mis profesores, mis amigos, todos. ¡Gracias! Lo que siga ahora, no lo sé. Pero es un paso super importante y del cual no podría estar más orgulloso y por supuesto, infinitamente agradecido.

Hasta una próxima entrada. :)

AI Planning for Program Synthesis

Nota: Este post está en inglés, ya que es mi intención compartirlo en un curso sobre Planificación que estuve realizando, como parte de su evaluación.

Since January 13th, I had the opportunity to refresh and deepen my knowledge of Artificial Intelligence Planning, with an awesome course from The University of Edinburgh, through Coursera, by professors Austin Tate and Gerhard Wickler.

Edinburgh's: Artificial Intelligence Planning

Austin Tate and Gerhard Wickler

Coursera

It is now coming to an end, haven proved to be a challenging and fun experience. I particularly enjoyed implementing my own graphplan planner, albeit without mutex verifications. Other programming assignments were actually quite easy if one used Prolog, but none the less very fun!

One of the assignments (the Creative Challenge) was to come up with some application that benefits from planning techniques, or o particular technology for planning. I decided to take the first option and attempt to make a link between planning and my own work. I am currently working on formal semantics and program verification techniques.

A plan can be viewed as a sequence (or possibly a directed acyclic graph) of steps that takes an environment in a given initial state and transforms it in a way that it ends in a given final state. A program is actually a very similar concept. A program, particularly in imperative languages, is a series of steps needed to take a given input and produce a desired output. This input and output can be expressed in terms of conditions that express what things are true at the start and end of a program respectively. This precondition and postcondition together form the specification or contract for the program.

What if you only had the contract but not the program that implements it? A POP planner could be used to take the contract and expand it into several, more simple, tasks. A plan in which all steps are known to have a direct implementation would be the desired program (one that actually implements the proposed contract). A possible way of expanding tasks into simpler subtasks could be through Morgan & Vicker's refinement calculus. This planner would actually be like an automatization of the refinement process they proposed.

And maybe we could think of a crossover in the other direction. Some planning problems, as well as programs, are limited by resources. These resources might be spatial, temporal, for energy, etc. The logic of bunched implications of O'Hearn and Pym presents a framework for specifying resource dependant reasoning. Particularly, Reynold's separation logic allows reasoning with limited resources and exclusive ownership (mainly memory, but other applications are possible). This kind of reasoning could be exported to planners in order to treat with their own resource constraints. Separation logic has a very nice frame axiom that allows local reasoning, and fits perfectly with the analogous notion of a frame in knowledge representation. I have not found any reference for such a crossover, but I think it could definitely be investigated further.

And this was my small contribution and submission to the creative challenge. Thank you very much for reading! Hope you liked it. :)

Un día para estar orgulloso

Hoy tuve el gusto de poder asistir a la defensa del proyecto de grado (mejor conocido como "Tesis") de dos amigas muy especiales que quiero un mundo: Fabiana Reggio y Krisvely Varela. Yo sabía que les iba a salir muy bien, pues ya había visto versiones preliminares de la presentación mientras practicaban. Pero... Wow! No se acercan a lo genial que les quedó la defensa al final. Hoy estoy sumamente orgulloso y quería compartirlo con todos. :)

Defendiendo, like a boss!!!

Su proyecto de grado fue sobre la implementación y análisis comparativo de algoritmos de búsqueda en árboles R, usando diferentes criterios de poda para mejorar los tiempos de ejecución (con el costo de la potencial incorporación de falsos negativos), todo esto para evaluar consultas de tipo Top-K Skyline.

¿Verdad que suena complicado?

¡Pues lo es!

Hicieron un excelente trabajo durante este año y vendiéndolo a sus jurados (y la audiencia).

Yo fui partícipe de todas las etapas de ese proyecto. Desde la desesperación por que no podían instalar la herramienta, el temor por que la librería estaba hecha en C++ (que no es un lenguaje fácil de manipular) y por toda clase de problemas, jajaja. Y no solo problemas, sino ideas geniales, que finalmente fueron descartadas por una u otra razón. Pero todo ese trabajo no se muestra en un libro, ni en una presentación. Por eso estoy más que contento, pues tuve la oportunidad de vivir todo ese trabajo y acompañarlas en su evolución como profesionales ya hechas y derechas. Además, intentando ayudarlas aprendí mucho sobre un tema muy interesante y retador. :)

La defensa salió muy bien y hasta obtuvieron mención de honor (algo que no le dan a cualquiera). Además había muuuucha comida muy buena, pero creo que "muuuucha" no comienza a describir la cantidad que había. ¡Y todo estaba demasiado bueno! A gordito's paradise! XD

Y bueno, esto era lo que quería compartir por ahora. Conozco a Fabi y a Kris desde hace años ya (creo que estaban viendo Algoritmos II cuando las conocí) y además de la amistad incluso hasta les llegué a dar una materia (Lenguajes de Programación 1). Ver en lo que se han convertido es una inspiración y agradezco haber sido parte de ella. Así concluye el momento cursi de la noche, jajaja. ¡Hasta una próxima entrada! :D

Un Libro al Mes: Enero

En el pasado post ( http://bulda-e-blog.blogspot.com/2013/12/graciabale-2013-palante-marik-2014.html ), último del 2013, una de las cosas que me propuse fue leer al menos un buen libro al mes. Así, puedo aprovechar las maravillas que recién he redescubierto en la biblioteca de la USB y que no puedo seguir ignorando así (must learn new things! XD).

El libro que me propongo leer para Enero está íntimamente relacionado con mi trabajo de maestría, como un antecedente de suma importancia. Como para no salir del tema (dado que pronto sería la defensa) y ahondar más en lo que considero un libro bastante interesante y divertido de leer, me propongo leer entonces:

"Predicate Calculus and Program Semantics"

de Edsger Dijkstra y Carl Scholten

(publicado en 1990, por la editorial Springer-Verlag)

Ya he leído dos o tres capítulos del libro y está sumamente bien escrito, fácil de entender e interesante. Además, la clásica arrogancia de Dijkstra hace que algunos párrafos hasta den un poco de risa, jajaja. Después de todo, Alan Kay decía: "Arrogance in Computer Science is measured in nano-Dijkstras". No puede constarme que así sea, pero aún así la cita es épica. XD

Una vez termine de leerlo posiblemente escriba otro post con lo que más me gustó, lo que no y lo que considero lo más importante/divertido/interesante del libro. Por ahora, les cuento que muy a grandes rasgos el libro trata de explicar un cálculo (reglas de manipulación) aplicado a programas y especificaciones para los mismos, introduciendo con este objetivo los transformadores de predicados (concentrándose principalmente en la precondición más débil). Para esto, se propone una manera ecuacional de tratar con la lógica de predicados que ellos mismos describen como lo suficientemente formal como para que no haya confusiones, pero sin llegar al punto de que las manipulaciones sean ilegibles y antintuitivas.

Nota aparte, es gracioso como muchos nombres famosos de las ciencias de la computación son reconocidos por trabajos que quizá no fueron los más relevantes que tuvieron (al menos en mi opinión). Dijkstra es mayormente conocido por su algoritmo para hallar caminos de costo mínimo, en grafos sin arcos de costo negativo, en O(n.log(n)). Sin embargo, su mayor contribución es posiblemente aquella de los transformadores de predicados para razonar sobre programas (y muchas otras cosas más). Igualmente, Tony Hoare es conocido por su algoritmo de ordenamiento de arreglos: Quicksort. En mi opinión, su definición de tripletas de programas y especificaciones en conjunto con las relgas de manipulación de las mismas es mucho más relevante. Aunque bueno, ese pudiera ser el "formal methods geek" en mi hablando simplemente, jajaja. :P

Bueno, con esto los dejo por ahora. ¡Es el primer post de muchos en el 2014! Y todo el que quiera sigue bienvenido de compartir la bulda.e.locura si les parece interesante, jeje. Hasta la próxima. Bytes! :D

Libro de Tesis: Mis Agradecimientos

En este momento quiero aprovechar para agradecer enormemente a tantas personas por su invaluable apoyo y ayuda durante la ejecución de este proyecto. ¡Muchas gracias! No hubiera sido posible sin ustedes.

En primer lugar quiero agradecer a mi familia, por apoyar esta alocada decisión de continuar estudiando y perseguir una maestría, de la ambición del conocimiento por sobre todo. Quiero agradecer no solo el apoyo incondicional, sino por la ayuda que me han brindado de todas las formas posibles y la paciencia que han tenido conmigo, en especial los últimos momentos antes de entregar. Definitivamente, la familia es un sitio donde uno puede compartir, descansar y sentirse en paz.

Quiero agradecer de manera muy especial a mi tutor, Jesús Ravelo. El apoyo, la paciencia y la buena disposición de Jesús parecen no tener límites, en especial durante momentos en los que el avance no era tan bueno. Siempre pude contar con él para subirme los ánimos y llevarme en la dirección correcta. Agradezco todos las acertadas sugerencias y detalladas conversaciones, sin las cuales nada de esto hubiera sido posible. Toda mi carrera académica admiré a Jesús por sus conocimientos, su didáctica y su excelente trato. Mas durante este proyecto llegué a admirarlo también como tutor y como la excelente persona y gran amigo que es.

Además quiero agradecer con mucho cariño al Departamento de Computación y Tecnología de la Información, mi familia académica, quienes me aceptaron y me apoyaron de muchísimas formas. Muy en especial debo un agradecimiento a Leonid Tineo, quien desinteresadamente me ayudó en los momentos en que peor me encontraba. Siempre pude contar con Leonid para un consejo preciso y palabras de aliento para seguir adelante. Estoy seguro que sin su ayuda, no habría podido agarrar el impulso que finalmente llevó a la elaboración de este proyecto. También debo un agradecimiento a María Esther Vidal y a todo el grupo de investigación de los seminarios de Web Semántica. Si bien tal área raramente intersecta con la mía, me aceptaron y ayudaron a pulir mis habilidades de investigación y exposición, siempre haciéndome sentir bienvenido. Finalmente, agradezco a Jorge Baralt y a todo el grupo de investigación de los seminarios de Teoría Axiomática General de Agregados por despertar en mí la curiosidad y la indagación del origen de las cosas. Gracias a Jorge comprendí que la mejor manera de entender cualquier cosa es comenzar por los sucesos que llevaron a ella y que hasta el más superficial detalle tiene un mundo de profundidad si se le analiza con cuidado.

No puedo dejar de agradecer a los amigos que siempre me apoyaron y velaron por que terminara a tiempo. Muchas gracias, Maribel Acosta, Fabiana Reggio, Krisvely Varela, Natacha Quintero, Andrea Balbas, Gabriel Casique, René De Valery, John Delgado, Gabriela Limonta, Verónica Liñayo, David Prieto, Wilmer Bandres, Simón Castillo, Alejandro Flores, José Sanchez, José Gregorio Piñero, Domingo de Abreu y tantos más que no podría mencionarlos a todos. Además quiero dar un agradecimiento muy especial a mi amigo, colega y compañero de oficina Carlos Alberto Pérez, quien fue un apoyo de verdad invaluable y un gran amigo durante tantos años. También quiero agradecer a Jorge Palacios, a quien a pesar de todo lo que suceda y la distancia que pueda haber, siempre consideraré un hermano de padres distintos. Finalmente, quiero agradecer a David Zaragoza con quien compartí la experiencia de la entrega de un trabajo de maestría a última hora, junto con toda la presión que conlleva. Contar con el apoyo mutuo hizo la experiencia mucho más manejable.

Por último quiero agradecer la Coordinación de Postgrados en Computación, por toda su ayuda en brindarme la oportunidad de culminar con éxito este trabajo. Igualmente, agradezco por adelantado a los jurados de este trabajo (Xiomara Contreras, de la USB y Jorge Salas, de la UCV). ¡Gracias por tomarse el tiempo para leer y entender nuestra propuesta! Igualmente, gracias de antemano por todos los comentarios y sugerencias que harán este trabajo mucho mejor. Espero el tema les llame la atención y disfruten leyéndolo, como yo disfruté realizándolo.

En fin, a todos los que nombré y a muchos más... ¡Muchas gracias por todo!