|
Desde 2003 pertenezco
al Grupo de Investigación Psycotrip, dirigido
por el Dr. Julio Rubio García, Profesor Titular de Ciencias de la
Computación e Inteligencia Artificial de la Universidad de La Rioja.
Intereses profesionales
Demostración Automática.
Computación Simbólica. Verificación formal de sistemas.
Enlaces de interés
sobre Demostración Automática
Enlaces de interés
sobre Computación Algebraica
|
