Manuel I. Capel received his B.Sc. and M.Sc. in Physics in 1982 and his Ph.D. in Computer Science from the University of Granada (Spain) in 1992. He joined the University of Murcia (Spain) as an Assistant Professor in 1984, obtaining a permanent post in 1987. In 1989, he moved to the University of Granada as a Professor in CS, where he obtained his professorship from the College of Informatics and Telecommunications Engineering in 1995 and his full professorship in 2009. Professor Capel is currently the leader of the research group on Concurrent Systems in the University of Granada and the coordinator for TECDIS (Red Iberoamericana de Investigación en Tecnologías Concurrentes, Distribuidas y Paralelas). His research works include the study of Formal Methods (Temporal Logics and Process Algebras) applied to the systematic development of embedded real-time systems. Recent results in this field include a formal specification method for real-time systems through the transformation of UML-RT models, an on-the-fly model-checking algorithm for Future Interval Logic formulae and, most recently, a compositional formal verification method of critical systems (MEDISTAM-RT). Capel has published more than 40 articles in journals, magazines, books, and conferences in Computer Science in the last years and serves as a member of the Editorial Board of the Journal of Network and Computer Applications, Elsevier Science Ltd., and the Editor in Chief of Annals of Multicore and GPU Programming.
