C/ Daniel Saucedo Aranda s/n. 
About my work ....
The Technologies of Information and Communications (TIC) are advancing rapidly producing an endless amount of products, systems and applications, which are being incorporated into all facets of our daily lives with the commitment of providing unimaginable services within a relatively short time in order to satisfy and improve our quality of life.
Inside this vast and varied technological world, I work mainly on Software Development from different approaches; especially, software for control, real-time, ubiquitous, mobile, distributed and embedded systems with a direct application into Home Automation, Automation, Robotics, and Scientific Instrumentation among others.
I am interested in methodologies and techniques which allow developing software systems to ensure the satisfaction of critical nonfunctional requirements (dependability, real-time constraints, availability, safety), as well as the development of “automatic” design tools which help the design, the automatic code generation or the verification of properties in software systems.
I am also interested in the development of advanced software technologies such as operating systems, execution cores, virtual machines, middleware and frameworks, which are portable to different hardware platforms on embedded and mobile devices.