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)

• LinkedIn
• Mail

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.