I joined the research group Psycotrip in 2003, directed by Julio Rubio García.

Our research group has a weekly open meeting named "Seminario de Informática Mirian Andrés". Talks are announced by mail and through the seminar website.

Some professional interests:

A few links in theorem proving:

A link in Computer Algebra:

Since 2007 I am also member of the MAP (Mathematics, Algorithms and Proofs) interest group, for which I also maintain the web site.

In 2010 our research group obtained the FP7 European Project, ForMath. Its web site also contains some interesting information about our work and goals.

I will be taking part in the following events in the nearby future:

Las update: 19th September, 2016.