His research interests include the application of formal methods to software engineering, reflection and metaprogramming, componentbased software development, open distributed programming, and software composition. Contact him at duran@lcc.uma.es. See also http://www.lcc.uma.es/~duran.