Professors Visitants
Qui ens visita aquest mes
Jolita Ralyté
Jolita Ralyté és actualment professora i investigadora al Department of Information Systems at the University of Geneva. Les à rees de recerca de la Dr. Ralyté inclouen
situational methods engineering i
came tool development, entre d'altres. Ha participat en diversos projectes europeus, les seus treballs han estat publicats en diverses conferències internacionals aixà com a publicacions internacionals. El grup de recerca GESSI, dirigit per en Xavier Franch, va convidat a la Dr. Ralyté a participar de l'activitat de l'LSI durant el mes d'abril. La passada setmana, del 7 d'abril a l'11 d'aquest mateix mes, la professora Jolita Ralyté va impartir les classes
Methods and Methods Engineering for IS development dins dels cursos del mà ster en computació.
Tobias Müller
El grup de recerca ALBCOM comptarà amb la presència del professor Tobias Müller de la Technische Universiteit Eindhover des del 14 d'abril fins al 25 d'aquest mateix mes.
El Professor Müller és bioinformà tic. Treballa dins d'una disciplina emergent cada cop amb més força. Els seus interessos com a investigador estan relacionats amb la combinatòria y la probabilitat incloent teories de grà fiques aleatòries i extremes, el color i la tria de les grà fiques, geometria discreta i estocà stica i l'anà lisi probabilÃstic d'algorismes.
Geert Poels
Tres ies després d'haver acomiadat al professor Müller, i un altre cop dins del marc de cursos per al mà ster en computació podrem donar la benvinguda al professor Geert Poels. El professor Poels ha estat convidat pel grup GESSI i s'encarregarà de la docència en la part experimental de la recerca en modelatge conceptual. Els cursos s'impartiran a l'Edifici Omega a l'aula S216 el dilluns dia 28, dimarts 29 i dimecres 30 d'abril.
David Turner
David Turner ha estat professor al Queen Mary College, a la Universitat de Texas a Austin, i a la Universitat de Kent. Actualment és Professor Emeritus a la Universitat de Middlesex i també a la Universitat de Kent. El professor Turner és conegut com a l'inventor del combinator graph reduction, i pel disseny i implementació d'una sèrie de llenguatges no-estricts purament funcionals, entre ells Miranda, el qual va ser el principal precursor de Haskell. Ell va inventar o co-inventar moltes de les idees que ara són un està ndard a la programació funcional com els patrons amb guardes, les llistes per comprensió i el mètode de lists of successes per eliminar el backtracking. Els seus interessos actuals de recerca inclouen strong functional programming on es garanteix la terminació, els sistemes de tipus amb tipus dependents, i les connexions entre la programació funcional i la lògica intuicionista.
Estarà entre nosaltres, al Departament de LSI des del dia 13 al dia 17 de Maig. Ha estat convidat per treballar en temes de graphic-functional languages amb Silvia Clérici i Cristina Zoltan, i el dimecres 14 donarà una xerrada pel Mà ster en Computació sobre Total Functional Programming.
Contacte premsa:
ilapuente@lsi.upc.edu
