Pablo Arrighi	homepage

I am Maître de Conférences, HDR in the IMAG department of University of Grenoble and a researcher in the CAPP team, and more specifically its QCG activity. Get in touch via . Currently however I benefit from a Délégation CNRS at ENS-Lyon in the MC2 team.

Teaching resources:

- "An introduction to theoretical physics for CompScis" (PhD course) >>; - "Quantum computation and graph theory" (PhD course) >>; - "Quantum computation" (2nd year Master course) >>; - "New trends in cryptography" (2nd year Master course) >>; - "Security" >> and the more up-to-date "Models of Security" (2nd year Master course) >>; - "Placement and TER" (1st year Master module) >>; - "Compilation project" (1st year Master module) >>; - "Unix etc." (1st year course) >>.

Research interests:

My main topics at the moment are

- Quantum Cellular Automata and the consequences upon theoretical physics; - Quantum Lambda calculus and the consequences upon Proof Theory; - Process algebra and the consequences upon computer security.

Publications: (check both)