\documentclass[12pt,pdftex]{article}

\title{CURRICULUM VITAE}
\author{Raul H.C. Lopes}

\begin{document}
\maketitle

\section*{General Data}

\begin{trivlist}
\item full name: Raul Henriques Cardoso Lopes
\item date of birth: 11 October 1963
\item place of birth: Lubango, Angola
\item nationality: Brazilian
\item sex: male
\end{trivlist}

\section*{Education}
\begin{itemize}
	\item University of Leeds 
		\begin{trivlist}
		\item doctoral dissertation (PhD): Inductive generalization of proof search strategies from examples 
		\item supervisor: Dr. Mark Tarver
		\item date: 17 November 1998
		\end{trivlist}
	\item Federal Universisty of Minas Gerais (Brazil)
		\begin{trivlist}
		\item master thesis (MSc): Using subsumption to extract multiple
			answers in logic programming
		\item supervisor: Dr. Newton Jos\'e Vieira
		\item date: 31 March 1991
		\end{trivlist}
\end{itemize}

\section*{Professional career}
\begin{itemize}
	\item \textbf{1999 -- today}
		\begin{trivlist}
		\item Adjoint professor
		\item Department of Computer Science
		\item Federal University of Esp\'{\i}rito Santo
		\end{trivlist}
	\item \textbf{1992 -- 1994}
		\begin{trivlist}
		\item Teaching Assitant
		\item Department of Computer Science
		\item Federal University of Esp\'{\i}rito Santo
		\end{trivlist}
	\item \textbf{1985 -- 1992}
		\begin{trivlist}
		\item Programmer
		\item Computing research group
		\item Telebr\'as 
		\end{trivlist}
		
\end{itemize}
\section*{Publications}
\begin{itemize}
	\item Eri 2004
	\item Sobrapo 2003
	\item
Petroleum Reservoir Simulation using Finite Volume Method with Non-Structured Grids and Parallel Distributed Computing In: 22nd. IBERIAN LATIN-AMERICAN CONGRESS ON COMPUTATIONAL METHODS IN ENGINEERING, 2001, Campinas.
  Proceedings of the 22nd. IBERIAN LATIN-AMERICAN CONGRESS ON COMPUTATIONAL METHODS IN ENGINEERING. , 2001.
  	\item ARW 2000
	\item CADE 1999


\end{itemize}<++>
\section*{Teaching Experience}

\begin{trivlist}
\item Federal University of Esp\'{\i}rito Santo
	\begin{itemize}
		\item Design and Analysis of Computer Algorithms
		\item Theoretical Computer Science
		\item Security in computing
		\item Parallel processing
		\item Data structures
		\item Programming Languages
		\item Formal Methods
		\item Algorithms for String Processing
		\item Operating Systems
	\end{itemize}
\end{trivlist}




\section*{Managerial Experience}
MESTRADO

\section*{Supervision}

fabricio

devair

walter

PCJ

renato


\section*{Grants and Contracts}
ANEEl
\section*{Organizing Committees}
CILAMCE 2005

SBAC-PAD 2003

\end{document}
