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

Research Areas

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