Department: LENGUAJES Y SISTEMAS INFORMÁTICOS

Faculty: E.T.S. DE INGENIERÍAS INFORMÁTICA Y DE TELECOMUNICACIÓN

Area: Computer Languages and Systems

Research group: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS

Email: mjfortiz@ugr.es

Doctor by the Universidad de Granada with the thesis Evolución del software una formalización basada en lógica temporal de predicados y Redes de Petri coloreadas 2000. Supervised by Dr. José Parets Llorca.