? El martes que viene tenemos una actividad diferente preparada. Esta vez no seremos quienes os demos la chapa, pero ya hemos hablado con gente de fuera para que venga a ello.
? El mismísimo director del IMDEA, Manuel Carro, vendrá a hablarnos de de una forma completamente distintas de programar. ¿Pensábais que lo habíais visto todo? Seguro que esto os sorprende.
? No solo el lenguaje en el que escribe os resultará novedoso, sino que la misma forma de afrontar los problemas os abrirá nuevas perspectivas. No siempre vamos a resolver algo (o programarlo) si no tenemos un lenguaje apropiado para describirlo.
✅ Deberíamos hacer testing, nos dicen. Y lo hacemos, ¿verdad? ¿Verdad? ¿No sería genial que el compilador encontrase errores en nuestro diseño? ¿Y si pudiésemos escribir programas que sean correctos por definición?
¡Pues ven el martes 7 a las 15:00 al H-1002 y descúbrelo!
? La charla que Manuel Carro va a ofrecer está muy íntimamente relacionada con el nuevo Máster interuniversitario en Método Formales en Ingeniería Informática. Cuando acabe la charla (de unos 40 minutos), se presentará dicho Máster. Contaremos con la presencia de más profesores como Julio Mariño, además de representación de la UCM y la UAM.
Si os resulta interesante el tema, es una magnífica oportunidad para conocer de qué va este máster. Así que ya sabéis, si os interesa vuestro futuro o simplemente te llama la atención el tema de la charla pásate el martes a las 15:00 por el Hemiciclo 1002.
Deja una respuesta
Lo siento, debes estar conectado para publicar un comentario.