LSI

Inicio English home page Page d'acceuil en franšais
  Rafael Ceballos Guerrero

MSc in Computer Science, PhD Student
Dpt. of Computer Languages
and Systems
at University of Seville
E-mail: ceballos (a) lsi. us. es

Telephone: +34 954553865

 


   

Home

Welcome to my personal web. I am a Lecturer at the University of Seville (Spain). I am a Computer Science Engineer. Now I am a PhD student, and my thesis is about diagnosis of software. My research lines are constraint programming, automatic debugging of programs, design by contract, model-based diagnosis (DX and FDI), software diagnosis, software verification, testing and IT security. I am a member of QUIVIR group.

If you are at the University, my office is the F051 on the ground floor of the L4 in the Superior Technical School of Computer Science.

I hope that this page will be useful for you. Some zones are not finished yet, but as soon as possible it will be on-line. Thanks for your visit