Mar ’13 | Mar |
11 | 15 |
El profesor Jan Rutten visitará el Departament d’Àlgebra de la Universitat de València entre el 11 y el 15 de marzo de 2013. Jan Rutten es investigador sénior del CWI (Centro de Matemáticas e Informática), Ámsterdam, y profesor de informática teórica en la Universidad de Radboud, Nijmegen. Ha sido uno de los fundadores de la coálgebra universal, que es una teoría general del comportamiento circular de autómatas, sistemas dinámicos y estructuras de datos infinitos. Ha sido uno de los iniciadores de la serie de encuentros «Coalgebraic Methods in Computer Science» (CMCSC) y la «Conference on Algebra and Coalgebra in Computer Science (CALCO). Sus intereses en investigación incluyen los fundamentos coalgebraicos de la computación y los métodos formales para la ingeniería de la programación, especialmente programación orientada a servicios y basada en componentes.
Pingback: Visita y charla del profesor Jan Rutten | Blog de Ramon Esteban i Romero
Pingback: Charla Jan Rutten | Blog de «Propiedades aritméticas y estructurales de los grupos, aplicaciones I»