Skip to content

Jose Reinaldo Silva

  • Doctor in Engineer
  • Associate Professor
  • Universidade de Sao Paulo
  • 8h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 191CitationsNumber of citations received by Jose Reinaldo's publications. Updated daily.


Graduate in Physics in 1981 in the Federal University of Bahia, Brazil, received a master in science degree in 1985 by the Federal University of Pernambuco, Brazil, and a master in arts in Interdisciplinary Computer Science by Mills College, Okland, USA, in 1987. Back to Brazil, got a PHD in Computer Engineering and Automation by Escola Politécnica, University of São Paulo in 1992. Pós-doctoral positions in Systems Design Engineering (Systems Design Eng. Dept., and Computer Science (Computer Science Dept.), both by University of Waterloo, Canada during 1994-1995 (cross-appointment). Today is a senior associate professor in University of São Paulo, Dept. of Mechatronics Engineering.

Recent publications

  • Post-design analysis for building and refining AI planning systems

    • Vaquero T
    • Silva J
    • Beck J
  • The verification of real time systems using the TINA tool

    • González Del Foyo P
    • Silva J

Professional experience

Associate Professor

Universidade de Sao Paulo

March 1989 - Present

Assistant Professor

Universidade de Sao Paulo

March 1989 - September 2006(18 years)



University of Waterloo

January 1994 - April 1995(a year)

PHD in Computer Engineering

Escola Politécnica USP

March 1989 - September 1992(4 years)


Co-authors (86)