José M. Álvarez Palomo Associate Professor 32750 jmalvarez@uma.es Personal Website Model based Specification, Analysis and Testing José M. Álvarez Palomo Ordinary Member – Associate Professor . Javier Cámara Moreno Ordinary Member – Associate Professor . Francisco Durán Muñoz Ordinary Member – Full Professor . Manuel Fernández Bertoa Ordinary Member – Non-tenured Associate Professor . Francisco Luque Schempp Trainee Research – Predoctoral Researcher . Antonio Maña Gómez Ordinary Member – Associate Professor . Pedro Merino Gómez Ordinary Member – Full Professor . Nathalie Moreno Vergara Ordinary Member – Non-tenured Associate Professor . Paula Muñoz Ariza Trainee Research – Predoctoral Researcher . Laura Panizo Jaime Ordinary Member – Assistant Professor . Ernesto Pimentel Sánchez Ordinary Member – Full Professor . Delia Rico Marchena Postdoc – Qualifica Fellow . Javier Troya Castilla Ordinary Member – Associate Professor . Application Management for Cloud-Fog-Edge José M. Álvarez Palomo Ordinary Member – Associate Professor . Mercedes Amor Pinilla Ordinary Member – Associate Professor . Inmaculada Ayala Viñas Ordinary Member – Associate Professor . Javier Cámara Moreno Ordinary Member – Associate Professor . Ángel Cañete Valverde Trainee Research – Predoctoral Researcher . Francisco Durán Muñoz Ordinary Member – Full Professor . Fernando Gallego Donoso Trainee Research – Predoctoral Researcher . Cristian Martín Fernández Ordinary Member – Non-tenured Associate Professor . José Ángel Morell Martínez Postdoc, Trainee Research – Postdoctoral Researcher . Mónica Pinto Alarcón Ordinary Member – Full Professor . Bartolomé Rubio Muñoz Ordinary Member – Associate Professor . Pablo Serrano Trainee Research – Predoctoral Researcher . Other Applications José M. Álvarez Palomo Ordinary Member – Associate Professor . Ángel Cañete Valverde Trainee Research – Predoctoral Researcher . Carlos Cotta Porras Ordinary Member – Full Professor . Francisco Durán Muñoz Ordinary Member – Full Professor .
