Radu Calinescu

• Foundations of Computer Software
• Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
• Large-Scale Complex IT Systems. Development, Operation and Management
• Software Engineering and Formal Methods
• Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
• Software Engineering for Resilient Systems