The goal of my research is to make it easy to write reliable software systems through the use of programming language technology. Since software itself evolves over time, its evolution should be also easy and reliable. For constructing such extensible systems, my research interest concerns the design and implementation of advanced programming languages. I also exploit emerging software engineering principles and practices in order to develop reliable software systems and promote their evolution.
