I joined the research group Psycotrip in 2003, directed by Julio Rubio García.
Some professional interests:
Theorem proving in Mathematics. Computer Algebra. Formal methods applied to algorithmics.
A few links in theorem proving
- Web site of the Isabelle proof assistant in Munich
- Some interesing projects being carried out in with Isabelle
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 we obtained a European Project, ForMath. Its web site also contains some interesting information about our work and goals.
Última modificación: 28 de Abril de 2010