vai al contenuto della pagina vai al menu di navigazione

Software Engineering, Programming Languages and Formal Methods

Research on programming languages and formal methods exploits mathematical techniques for designing, realizing and verifying complex software systems. It covers a wide range of activities, including theoretical studies on basic properties of computability and interaction, the design of new programming languages, the development of engineering techniques for the production of large industrial software.

At DISI, we cover all this spectrum. On the more theoretical side we study automatic theorem proving and theories, logics and models for concurrent systems. On languages we concentrate on coordination languages, languages for service-oriented computing, agent-oriented languages, AI languages and constraint programming. On the engineering side we devote our attention to software architectures and software factories.