Las tutorías del Martes 3 de Mayo pasan al Jueves 5 por motivos del ciclo de Conferencias del Departamento.
Disculpar las molestias.
marzo 28th, 2011
Una para el recuerdo
Se acabaron las clases presenciales para el curso de 2º y todas sus asignaturas.
Una de ellas ha sido Programación Declarativa, la cuál la he impartido durante todos los años que llevo de docente, tanto en Huelva como los 2 años que he estado en Sevilla y al final acaba uno cogiéndole hasta “cariño” a la asignatura.
El caso es que en la última clase del cuatrimestre, y por tanto de esta historia de la asignatura, un alumno se dió cuenta del detalle y propuso hacernos una fotografía para inmortalizar tal evento…. y aquí está!!
Pues buena suerte a todos!!.. y quizás nos veamos alguna vez en el futuro!
Gonzalo.
marzo 14th, 2011
Comienza el segundo cautrimestre
Pues, la verdad es que el primer cuatrimestre “ha sido de locos” y no he podido escribir demasiado.
Este segundo no pinta mucho mejor… por lo que no creo que actualize demasiado, vamos, lo estrictamente necesario.
Las tutorías para este cuatrimestre serán:
- Martes, de 10:00 a 13:00 horas, y
- Martes de 16:00 a 19:00 horas
en el despacho de Torreumbría
Gonzalo.
octubre 24th, 2010
Cambios
Hola,
La semana pasada estuve en el congreso “Concept Lattices and Their Applications” (CLA 2010) que organizaba mi grupo de investigación, en Sevilla.
Ha sido una semana MUY movida y SATISFACTORIA.
Ahora toca volver al mundo real:
– Esta semana que entra, las tutorías del Lunes(25-Octubre) de 12 a 13 horas, pasarán al Jueves(28-Octubre) de 13:30 a 14:30
– Comienzan las clases de prácticas de Laboratorio de Programación Declarativa y Compiladores.
Pues nada, nos veremos en las clases!
G
septiembre 28th, 2010
Tutorías (I Cuatrimestre) 2010-11
Los horarios y sitios para las tutorías para este primer cuatrimestre del curso van a ser:
- Lunes: 12:00 – 13:00
Campus del Carmen. Aula I.2.1 - Lunes: 17:30 – 19:00
Campus de La Rábida. Edif. Torreumbría. Desp 7 - Jueves: 10:30 – 13:30
Campus de La Rábida. Edif. Torreumbría. Desp 7
septiembre 28th, 2010
Docencia 2010/2011
Acabo de publicar la docencia para este curso que va a empezar, 2010/11, en la página de Docencia, y que se ajusta a lo habitual estos últimos años.
También voy a publicar los horarios(y sitios) de tutorías para el curso que viene en un siguiente post, para diferenciarlo de éste.
septiembre 20th, 2010
Incidencias
Por motivos personales, las tutorías del Martes 21 de Septiembre pasan al Miércoles 22.
Disculpar las molestias.
agosto 9th, 2010
Transversalidad científica
Es lo que se impone hoy día: la transversalidad !
La mayoría de los campos de investigación que antes estaban bastante focalizados en un tema y con un conjunto reducido de técnicas hiper-especializadas, se están abriendo a la colaboración entre campos, incluso muy dispares, de la ciencia.
Acabo de leer uno de ellos, donde egiptólogos y robóticos están colaborando para tratar de descubrir más cosas y llegar donde nadie a llegado. El objetivo de esta colaboración consiste en la utilización de un robot autónomo (creado por la Univ de Leeds) y que “explore” a partir de ciertos pasillos que son imposible para los científicos. Una aplicación DIRECTA del típico ejercicio del robot explorador!
El texto completo de la noticia está en: http://www.independent.co.uk/news/science/robot-to-explore-mysterious-tunnels-in-great-pyramid-2046506.html
julio 27th, 2010
Tutorial rápido de Haskell
Es indudable el enorme crecimiento que están teniendo los lenguajes funcionales en los últimos años y su aplicabilidad (y aplicación!) en los sectores industriales…. Ericsson, Ilog, … etc.
La razón fundamental para ese crecimiento puede estar en la sencillez de su programación y en la brevedad de su código. Si consideramos que el número de errores de un código es proporcional al número de líneas escritas, ésto último lo hace más fiable que la mayoría de los paradigmas existentes.
Para demostrar la sencillez de programación, cada día van saliendo más material que nos ayuda a acercarnos a estos lenguajes. Lo último en aparecer ha sido un tutorial interactivo via web que nos da unas nociones de Haskell y que deja entrever su potencia:
Pruébalo y comenta tus sensanciones! (sobre él, claro.)
junio 22nd, 2010
La realidad de los métodos formales… ¿nueva era?
Ha aparecido un post en un blog sobre el tema de los métodos formales, que hemos introducido en clase, y que plantea los pros y contras de implementarlos en la empresa.
A la vez de plantear los problemas, constata que Microsoft cada vez los está usando más y conviertiendo su código en más estable (en algunos casos no era dificil)
Título: Why Can’t Johnny Develop Secure Software?
http://computinged.wordpress.com/2010/06/22/why-cant-johnny-develop-secure-software/