Alejandro Díaz-Caro

Current

PhD Student at LIG

Past

Teaching Assistant (Mathematical Analysis I) at Universidad Nacional de Rosario
Teaching Assistant (Algebra and Geometry I) at Universidad Nacional de Rosario
Teaching Assistant (Mathematical Analysis IV) at Universidad Nacional de Rosario

see less...

Education

Université Joseph Fourier (Grenoble I)
Universidad Nacional de Rosario
E.E.T. 1 de Paraná

see less...

Recommended

1 person has recommended Alejandro

Connections

67 connections

Industry

Research

Websites

Alejandro Díaz-Caro’s Summary

I am a PhD student at Université Joseph Fourier in the Quantum Computation in Grenoble group which is part of the CAPP team at Laboratoire d'Informatique de Grenoble. I work under the supervision of Pablo Arrighi and I am researching on type theory and quantum logics.

Before comming to Grenoble, I obtained the title of «Licenciatura» in Computer Science (December 21th, 2007) at Universidad Nacional de Rosario, Argentina. It is a five-year degree with thesis, equivalent to a Master degree in the EU system. I also worked as teaching assistant at UNR.

Alejandro Díaz-Caro’s Specialties:

Quantum Functional Programming Languages, Quantum Lambda Calculus, Quantum Type Theory, Quantum Logic

Alejandro Díaz-Caro’s Experience

PhD Student

LIG

(Research industry)

October 2008 — Present (10 months)

I am a PhD student under Pablo Arrighi at QCG (Quantum Computation in Grenoble) group, a subgroup of the CAPP (Calculi, Algorithms, Programs, Proofs) group at LIG (Laboratoire d'Informatique de Grenoble), France.
Teaching Assistant (Mathematical Analysis I)

Universidad Nacional de Rosario

(Higher Education industry)

June 2008 — September 2008 (4 months)

Graduate Teaching Assistant on Mathematical Analysis I at the Basic Sciences School, Universidad Nacional de Rosario (National University of Rosario)
Teaching Assistant (Algebra and Geometry I)

Universidad Nacional de Rosario

(Higher Education industry)

April 2008 — September 2008 (6 months)

Graduate Teaching Assistant on Algebra and Geometry I at the Basic Sciences School, Universidad Nacional de Rosario (National University of Rosario)
Teaching Assistant (Mathematical Analysis IV)

Universidad Nacional de Rosario

(Higher Education industry)

August 2007 — January 2008 (6 months)

Undergraduate Teaching Assistant on Mathematical Analysis IV at the Department of Computer Science, Universidad Nacional de Rosario (National University of Rosario)

Alejandro Díaz-Caro’s Education

Université Joseph Fourier (Grenoble I)

PhD , Computer Science , 2008 — 2011 (expected)

PhD student under Pablo Arrighi at QCG (Quantum Computation in Grenoble) group, a subgroup of the CAPP (Calculi, Algorithms, Programs, Proofs) group at LIG (Laboratoire d'Informatique de Grenoble), France.
Universidad Nacional de Rosario

Licenciatura (equivalent to MS degree at EU) , Computer Science , 2000 — 2007

Activities and Societies:

eXactas.org, LCC, Infra, Ñoño, GECC
E.E.T. 1 de Paraná

High School , Electronics , 1993 — 1999