Dipl.-Inform. Deni Raco

Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstra├če 55
D-52074 Aachen

racoatse-rwth.de

tel. +49 / 241 / 80 - 21 31 8
fax: +49 / 241 / 80 - 22 21 8
room: 4221

About me:

  • I studied Computer Science and Mathematics and I held a Scholarship of the DFG Research Training Group AlgoSyn. My research interest lies in the Formalization and Verification of Distributed Systems.