Daniel Dávalos

Research

I am a doctoral student in computer science at the University of Buenos Aires - ICC - Conicet. My tutor is Dr. Hernán Melgratti (UBA).

Topics: quantum computing, concurrency, reversibility, proof assistant.

Contacto: davalos@uba.ar