Software Engineering & Programming Languages

Software Engineering & Programming Languages


Investigate new development methodologies (including analysis, design and testing techniques), flexible linguistic constructs for code evolution and reuse (including integration with code mobility and the agent paradigm), and extensions of traditional static typechecking by dynamic/incremental checks and more sophisticated types which express semantic properties.


Activities and research areas

  • Design, foundations and implementation of programming languages
  • Object-oriented paradigm
  • Advanced modular programming
  • Type systems
  • Service Oriented Architecture
  • Visual notations
  • Model Driven Engineering
  • Empirical Software Engineering
  • Software and Web Testing
  • Agent Oriented Software Engineering


Prof. Viviana Mascardi

  • Modeling, verification, rapid prototyping, and development of platforms for complex and distributed systems (multiagent systems)
  • Agent specification and implementation languages
  • Semantic Web and ontologies.
  • Personal website

    Selected list of publications

    Prof. Gianna Reggio

  • Software development methods
  • Formal specification and modelling of concurrent systems
  • Semantics of programming languages
  • Personal website

    Selected list of publications

    Prof. Maura Cerioli

  • Mathematical foundation of specification languages
  • Methods and methodologies supporting specification languages in practice.
  • Personal website

    Selected list of publications


    Link to the Lab website

    Selected list of publications

    Forgot password?

    (*) Required fields

    I agree with OptimaSales Terms & Privacy Policy