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", from wich I am the coordinator. Talks are announced through the seminar website and also through a mail list (please let me know if you are interested in receiving the announces).

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: February 8, 2023.