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.
Current members
Former members
Some (past and present) collaborators
Research Projects
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
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.
