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've taken or will take part in the following events:

Las update: 28th February, 2018.