 |
 |
|||
| Welcome | |||
| About us | |||
| Research | |||
| Publications | |||
| Technology Transfer & Services | |||
| Capabilities | |||
| Memories of LIFIA 2000-2007 | |||
 |
|||
 |
|||
| Short Bio & Research Interest | Publications |Projects & Teaching | ||
| Dr. Eduardo Bonelli | ||
|
||
| Short bio | ||
| I obtained my undergraduate degree in 1996 (Licentiate in Computer Science). After spending a year and a half in the industry I pursued graduate studies. In 2001, I obtained a PhD in Computer Science at Université de Paris Sud, in France in collaboration with the University of Buenos Aires. I am currently affiliated with CONICET. | ||
| Research interest | ||
Rewrite systems, lambda calculus, explicit substitutions, proof
theory, type theory, process calculi, security based on programming languages. |
