Universidad de Granada Directorio de la Universidad de Granada

Acceder con tu cuenta UGR

Te permite iniciar tu sesión con tus credenciales de la Universidad de Granada

Accede para:

  • Actualizar Curriculum
  • Editar Investigación
  • Modificar Otros Datos
  • Actualizar Redes Sociales
Login Federado Le permite iniciar sesión con sus credenciales de la UGR.
Buscar
imagen personal

Imagen con el código QR de esta página

Manuel Isidoro Capel Tuñón

CATEDRÁTICO DE UNIVERSIDAD
Departamento de Lenguajes y Sistemas Informáticos
E.T.S. de Ingenierías Informática y de Telecomunicación
C/ Periodista Daniel Saucedo Aranda S/N C.P. 18071 (Granada) Granada
958242816
610444686
Importar contacto

HORARIO DE TUTORÍAS

PRIMER SEMESTRE
Día de la semana Horario Lugar
Lunes 11:30-13:30 Etsiit 3ª P Despacho 37
Martes 9:30-11:30 Etsiit 3ª P Despacho 37
Miércoles 15:30-17:30 Etsiit 3ª P Despacho 37
SEGUNDO SEMESTRE
Día de la semana Horario Lugar
Lunes 11:30-13:30 Etsiit 3ª P Despacho 37
Miércoles 11:30-13:30 Etsiit 3ª P Despacho 37
Viernes 11:30-13:30 Etsiit 3ª P Despacho 37

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 coordinator of TECDIS (Red Iberoamericana de Investigación en Tecnologías Concurrentes, Distribuidas y Paralelas). 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 80 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 editor in chief of Annals of Multicore and GPU Programming.

likes mountaineering

Accesibilidad Protección de Datos Política de privacidad © 2021 Universidad de Granada Oficina Web UGR