Two new interns will be starting this spring on topics related to their Master’s program (MPRI).
- Zakaria Chihani will be working on Proof certificates for some basic proof systems in classical logic. He will be starting 15 March 2012.
- Florence Clerc will be working on Relating double-negation translations and focused proof systems. She will be starting 16 April 2012.