Radu Calinescu

My main research interests are in

• automated, model- and metadata-driven software engineering
• formal specification, modelling and verification
• high-performance computing

and the application of the theories, approaches and techniques specific to the above research areas to the modelling, development and analysis of

 

• self-* systems and systems of systems
• complex, context-dependent and adaptive IT systems
• health informatics

Building on industrial research experience I gained in my previous job as the Technical Architect of an Oxford University spin-out software company, I developed a general-purpose framework for the model- and metamodel-driven development of autonomic computing solutions. The vision and theoretical foundations underpinning this framework are described in Springer's 2009 volume on Autonomic Computing and Networking, and its implementation details are presented in a research paper that won a Best Paper Award at the 4th International Conference on Autonomic and Autonomous Systems.

I am a Senior Research Officer on the Predictable Software Systems project, a major component of UK's Large-Scale Complex IT Systems research and training initiative; and a part-time Lecturer on the Software Engineering Programme at Oxford.

Prior to rejoining Oxford University in July 2005, I spent six years as the Technical Architect/Senior Development Manager of Sychron Ltd, an Oxford software company specialising in the development of policy-driven datacentre management solutions.

My University of Oxford DPhil thesis on Autonomic-Independent Loop Parallelisation received a British Computer Society Distinguished Dissertation Award, and is available as a Springer-Verlag book.

teaching

other activities

program committee memberships

• PC Member - Communicating Process Architectures 2008 (CPA 2008)
• PC Co-Chair - 5th International Conference on Autonomic and Autonomous Systems (ICAS 2009)
• PC Member - 24th Annual ACM Symposium on Applied Computing, Special Track on Wireless Sensor Networks (SAC 2009)
• Advisory Committee Co-Chair - 1st International Conference on Future Computational Technologies and Applications (FUTURE COMPUTING 2009)
• Advisory Committee Co-Chair - 1st International Conference on Adaptive and Self-Adaptive Systems and Applications (ADAPTIVE 2009) 
• PC Co-Chair - 16th Monterey Workshop (Monterey 2010)
• PC Chair - 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010)
• PC Member - 6th International Conference on Autonomic and Autonomous Systems (ICAS 2010)

editorial boards

• International Journal on Advances in Intelligent Systems
• Formal and Practical Aspects of Autonomic Computing and Networking

recent invited presentations

• Laboratoire d'Algorithmique, Complexité et Logique, Université Paris-12 (March 2009, slides)
• HP Labs, Bristol (February 2009, slides)
• TNO (Netherlands Organisation for Applied Scientific Research) (December 2008)

professional memberships

• Senior Member of the IEEE
• Member of the IEEE Computer Society