Manuel I. Capel receives his BSC, MSc in Physics in 1982 and the PhD in Computer Science at 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 the professorship in the College of Informatics and Telecommunications Engineering in 1995 and the full-professorship (2009).Professor Manuel I. Capel is currently the leader of the research group Concurrent Systems in the University of Granada and his research work includes 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 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).Manuel I. 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.Specialties: • Formal methods for reactive systems.• Temporal logics. • Business Process Formal Modelling• Concurrent and real time programming languages and paradigms• Specification and design methods for software systems.