Pablo Arrighi	homepage

I did my Ph.D in the Computer Laboratory of the U. of Cambridge. Now I am Maître de Conférences, HDR in the IMAG department of University of Grenoble and a researcher in the CAPP team of the LIG laboratory. However I am currently benefiting from a Délégation at ENS de Lyon in the MC2 team of the LIP laboratory. I am also the coordinator of the ANR Young Researcher grant CausaQ ("Causality in Quantum information") over the period 2010-2014. Get in touch via !

Research interests:

- 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)

A (draft) Book on Quantum Cellular Automata.

Some 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) >>.