BIOGRAPHY Juan A. Carrasco was born in Barcelona, Spain, the 21st of November of 1958. He earned the Engineer degree in Electrical Engineering from Universitat Politècnica de Catalunya in 1981, and the MSc. degree in Computer Science from Stanford University and the Doctor Engineer degree from Universitat Politècnica de Catalunya, both in 1987. Since 1988 he has been Associate Professor ("Profesor Titular") at the Electronics Engineering Department of Universitat Politècnica de Catalunya. He is the autor of about 60 papers in refereed journals and conference proceedings and currently leads a research team on. Stochastic Modeling of Fault-tolerant Systems. He is a Senior member of IEEE. Juan A. Carrasco Departament d'Enginyeria Electrònica, UPC  Diagonal 647, plta 9  08028 Barcelona, Spain  phone: 34 93 4016652  fax: 34 93 4017785  email: carrasco@eel.upc.edu

RESEARCH ACTIVITIES
Prof. Carrasco's research activities deal with the development of techniques and tools for performance, dependability and performability evaluation of digital systems using stochastic processes. Most of his research has to do with the development of bounding techniques and efficient transient analysis algorithms to deal with large continuous time Markov models of fault-tolerant systems. He has also participated in the design and implementation of a tool, METFAC-2.1, for Markovian modeling where Prof. Carrasco integrates his algorithms.

LUDIC ACTIVITIES
Prof. Carrasco enjoys hicking and other outdoor activities. He is fond of melodic and classic music, opera, and fiction cinema.

TO PROBE FURTHER
research publications
technical reports

METFAC-2.1