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:
  • Declarative formalisms

    • Declarative formalisms are known for their higher level of abstraction. They can be considered both as specification languages and, often, as programming languages. Among others, we consider term rewriting, logic programming (Prolog), functional programming (Haskell), and the actor model (Erlang).
  • Static analysis and program transformation techniques

    • These techniques can be used for computing program properties as well as for improving its efficiency, readability, etc. Moreover, they have a rigorous mathematical foundation, which allows us to formally prove their correctness (and other useful properties).
  • Software verification, testing and debugging

    • Ensuring the reliability of critical software is one of the major challenges today. In this context, we consider different approaches, like formal verification (e.g., model checking) and software testing (e.g., concolic testing). Furthermore, debugging techniques are essential to locate bugs in faulty code.
  • Reversible computation

    • Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, to name a few. In particular, we use a reversible semantics for the concurrent language Erlang in order to design a causal consistent reversible debugger, to improve fault-tolerance, etc.
  • Web information retrieval

    • Extracting information from the web is useful for humans. For instance, to extract the news from a newspaper by removing the boilerplate content such as advertisements, templates, banners, etc.). But it is also useful for many automated processes such as the indexing of webpages by only considering the words that appear in the main content. Another interesting example is detecting the template of a website to speed up the processing of its webpages.

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

  • SAFER (4 years, from June, 2020 to May, 2024) Funded by EU (FEDER) and the Spanish MCI/AEI, grant PID2019-104735RB-C41.
    Analysis and Validation of Software and Web Resources
    In collaboration with the Babel, Dec-Tau, Smile, and ISG groups.

  • MERINET (4 years, from Jan 1, 2017 to Dec 31, 2020) Funded by Spanish MINECO/AEI and EU (FEDER), grant TIN2016-76843-C4-1-R.
    Rigorous Methods for the Future Internet
    In collaboration with the Dec-Tau and Smile groups.

  • TAILOR (Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization). ICT-48 H2020-RIA-952215 (from 2020 to 2023).

  • COST action IC1405 on Reversible Computation - Extending Horizons of Computing (from 2015 to 2019).

  • PROMETEO/2019/098 DeepTrust: Deep Logic Technology for Software Trustworthiness (Excellence Research Group GV, 2019-2022)

  • PROMETEOII/2015/013 SmartLogic: Tecnologías Lógicas para la Seguridad, Modelado, Análisis y Rendimiento del software

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