Barve
Barve
\begin {document}
\chapter* {personal statement}
I, Rakesh Barve, am in the final year of the four year {\it Bachelor of
Technology} program of the {\it Computer Science and Engineering}
program of the {\it Indian Institute of Technology, Bombay}.My career
objectives lie in the pursuance of research and academics in theoretical
computer science - especially in {\bf mathematical logic, automated
theorem proving,program correctness and semantics of programming
languages}.I believe that graduate studies leading to a {\bf Ph.D}
through research work of quality in these fields are a necessary step
towards my goal.
I have also had a good deal of teaching experience as can be seen from
attached certificates. This experience convinced that I have the
communication skills and the ability to explain things precisely to
become a teacher.
\begin {itemise}
{\item Finding efficient proof procedures for first order logic theorem
proving.}
{\item Reasoning in equational logics}
{\item Program correctness and program transformation}
\end {itemise}