I am Miguel, Associate Professor at the Computer Science Department of the University of Oviedo, Ph.D. in Computer Science and Computer Engineer.
My research interests are focused on programming languages and software development. I am member of the Computational Reflection Research Group
In this page you can find my teaching information, list of publications and contact info.
Gathering type information of dynamic typing code at compile time can be used to improve early type error detection and runtime performance of the code generated. We have implemented the research language StaDyn to measure the real benefits of this approach.
AOSD facilitates a modularisation of diﬀerent functionalities which cut across the entire system software. In particular, we do research on how dynamic and static AOSD can be used to separate common security concerns of distributed systems.
Investigate the suitability of dynamic languages to implement systems with high runtime adaptability requirements. We do research on how the distinguishing features of dynamic languages can be used to program dynamically adaptive services in a robotics framework.
+34 985 10 4134