Research interests

The MiST research group is focused on different aspects of programming languages, combining both theoretical developments and practical applications. You can find below a summary of our main research interests:

Current members

Former members

Some (past and present) collaborators

Research Projects

The MiST research group is currently involved in the following R+D projects:


You can check the group's repository here. Some additional tools can be found in the personal pages of the members of the group.