Rafael Ceballos, PhD Full-time Lecturer (Profesor Contratado Doctor)

E.T.S. Ingeniería Informática

Dpto. Lenguajes y Sistemas Informáticos

Avda. Reina Mercedes S/N, 41012 Sevilla (Spain)

Education

  • PhD (2007) in Computer Science. Doctoral dissertation, PhD Title: “Automatic techniques for diagnosing errors in designed by contract software“. Directors: Rafael M. Gasca and Carmelo del Valle.
  • MSc (2001) in Computer Engineering from the University of Seville.

Research Areas

  • Diagnosis of software.
  • Automatic Debbuging.
  • Constraint Programming.
  • Design by Contract.
  • Model-Based Diagnosis.
  • Testing.
  • IT Security.