João Jorge Ribeiro Soares Gonçalves de Araújo

Professor Catedrático

Email: jj.araujo@fct.unl.pt

Interesses Científicos

Semigrupos, grupos, combinatória, álgebra computacional e demonstração automática de teoremas