Computer science, especially software engineering,
is my favorite field of study and research. It is very difficult for me to
choose among the different possibilities in this field.
Although I have chosen formal specification and
verification of software as my main research area, but I do not confine
myself to that.
I am very interested in viewing software methodologies
from a philosophical standpoint. Why not?! A software system is a simple
model of the universe, so why not be able to have such a viewpoint over
software?
