Through the voice of the wound
that you have inflicted on me,
my whole chest
speaks flooding in.
It is my entire person
a tower of injuries
that falls down.
(Miguel Hernández,
died in Alicante
prison, 1942)
Por la voz de la herida
que tú me has hecho
habla desembocando
todo mi pecho.
Es mi persona
una torre de heridas
que se desploma .
(Miguel Hernández,
muerto en la prisión
de Alicante, 1942)
Manuel I. Capel-Tuñón Profesor
Resumen vida académica
Dirección actual:
Departamento de Lenguajes y Sistemas Informáticos
de la Universidad de Granada.Visitas y envíos:
Campus "Almunia de Aynadamar".
Periodista Daniel Saucedo Aranda s/n.
ETSI Informática (3a planta). 18015 Granada (España).
Voz: (+ 34) 958 242 816
Fax: (+ 34) 958 243 179
Manuel Capel-Tuñón
Information in English
Accesos a la página desde 21/11/2003:
Contados con WebCounter
1982: Licenciatura en CC. Físicas, Universidad de Granada.
1983: Profesor Asociado de Lenguajes y Sistemas Informáticos, Universidad de Murcia
1987: Profesor Titular de Escuelas Universitarias de Lenguajes y Sistemas Informáticos, Universidad de Murcia
1989: Comisión de servicios en la Universidad de Granada
1990: Profesor Titular de Escuelas Universitarias de Lenguajes y Sistemas Informáticos, Universidad de Granada
1992: Grado de Doctor en Informática
1995: Profesor Titular de Universidad de Lenguajes y sistemas Informáticos
Inicio
Formal methods for reactive systems.
Temporal logics.
Concurrent and real time programming languages and paradigms.
Distributed object oriented methods for the specification and design of software systems.
Inicio
Publicaciones seleccionadas:
M. J. Hornos, M. I. Capel. “On-the-fly Model Checking from Interval Logic Specifications”. ACM SIGPLAN Notices, v.37, n.12, pp.108-119, 2002.
M.I. Capel. "Mathematical Modeling of Real-Time Processes" in "Mathematical Modeling of technical Processes", pp.63-90, 2001.
Informatech (ISBN: 80-88941-18-0).
M.J.Hornos, M.I.Capel. "On-the-fly Automatic Verification Using Formulas of An Interval Logic". Application of Concurrency to System
Design (ACSD´01), pp.221-230, 2001. IEEE CS (ISBN:0-7695-1071-X)
F.Araque, M.I.Capel, A.Palma, J.M. Mantas. "A Proposal to Improve Reusability in a Language Based on the Occam-CSP
Model". 5§ Euromicro Workshop on Parallel and Distributed Processing, pp.:41-46. IEEE Computer Society.
ISBN: 0-8186-7770-8. 1997.
M.Capel, J.M.Troya.An Object Based Tool and Methodological Approach for Distributed Programming. Software
Concepts and Tools. 15, 4, pp.:177-195. 1994.
M.Capel, J.M.Troya, A.Palma. Distributed Active Objects: A Methodological Proposal and Tool for Distributed
Programming with Transputer Systems. Microprocessing and Microprogramming. 38, pp.:197-204. 1993.
M.I. Capel, J.M. Troya, A. Palma. "A Methodological Scheme and Tool for Program Transformation with Transputer
Systems", in Parallel Computing: Trends and Applications. (edited by G.R.Joubert, D.Trystam, F.J.Peters and D.J.Evans),
pp.: 585-588. Elsevier Science B.V. ISBN: 0-444-81841-3. 1994.
Inicio
Experiencia en proyectos y actividades de I+D
Un Entorno de Desarrollo para Sistemas Distribuidos Heterogéneos (TIC94-930-CO2-2)
Investigador principal (19-05-94 al 19-05-97).
Programación Paralela Avanzada Utilizando Transputers - Advanced Parallel Programming with Transputers
(bilingual course) 7 al 10 de Marzo de 1995.
Director del curso (en colaboration con el Dr.A.Bakkers Twente University -NL-).
Windows NT Server Administration (workshop) Director (en colaboración with Prof. J. Muehlbacher, U. of Linz)
25-01-99 al 01-02-99.
Participación en comités científicos:
"Editorial Board of the Journal of Network and Computer Applications". Elsevier Ltd. desde 1998.
Inicio
Docencia en asignaturas de la ETSI de Informática
Dirección de Proyectos Informáticos (asignatura de 5º curso de Ingeniero Superior en Informática)
Would
you like to see my loved ones?