JFG es el jefe del lugar donde estoy. Estuvimos hablando sobre hacer cosas útiles y dijo cosas muy interesantes que voy a escribir acá para no olvidarmelas.
Estoy tratando de modelar un protocolo usando mcrl2, entonces vino a preguntarme en que andaba la cosa. Le dije que no había vuelto al tema desde la última vez, pero le dije que me gustaria que me cuente cómo se acerca uno a la industria para empezar a hacer cosas más útiles. Las cosas que me dijo en algún orden:
Estoy tratando de modelar un protocolo usando mcrl2, entonces vino a preguntarme en que andaba la cosa. Le dije que no había vuelto al tema desde la última vez, pero le dije que me gustaria que me cuente cómo se acerca uno a la industria para empezar a hacer cosas más útiles. Las cosas que me dijo en algún orden:
- Hay que saber que tiene uno para ofrecer. Hay muchas herramientas de verificación pero cuales yo sé usar .... mmm.... ninguna.
- Suponiendo que supiera algo, hay que llegar a la "industria", entender que están haciendo (esto es realmente difícil porque quizás ni ellos saben que están haciendo) y ver cómo uno puede ser útil. Luego, hay que "irradiar" la suficiente confianza para que ellos entiendan que realmente uno tiene algo importante para ofrecer.
- Llevar la teoria a la practica no es fácil. Muchos grupos de investigación trataron de hacerlo y fracasaron.
- Es un proceso que lleva años, entre 5 y 10 años.
- A este proceso hay que complementarlo con una materia en la curricula de la carrera que enseñe sobre estas cosas, eso facilitará el camino al largo plazo. En famaf tenemos dos de estas materias: Ingenieria del Software I y II. Las odie, pero desde que yo las hice cambiaron mucho, debería hacerlas de vuelta.
- Sobre los teóricos. La teoria es buena y esta bueno que haya gente que se gaste años encerrados en un cuarto pensando cosas.... peeeero también hay mucha gente que piensa problemas que le quedan grande y que nunca van a aportar nada. Eso es lamentable, no en el sentido despectivo, sino en el sentido de importancia de una vida. Tb habló de las modas en la ciencia: hoy se estudia un tema, mañana otro, pasado otro y luego se vuelve al primero. Esto pasa, en parte, porque se encuentra problemas resolubles en un area, se acaban estos problemas y se pasa a otra, y así se va saltando de área en área hasta que se cae de vuelta en la misma. También hablo sobre la mirada estrecha que tienen los teóricos sobre el mundo. Cabe recalcar acá que JFG la gasta como teórico \o/
Con seguridad, las cosas sonaron más interesantes cuando el las dijo :) Al mismo tiempo, al releerlas me doy cuenta que no son cosas que no esperaba.
Con respecto a mi mínima experiencia con respecto al modelado, es un proceso bastante interesante porque mientras uno modela surgen las preguntas: ¿Qué hago acá?¿Qué pasa si llega este mensaje?.... de vuelta, no estoy diciendo nada muy loco, pero las cosas útiles rara veces son locas.
