 |
 |
||
| Bienvenida | ||
| Sobre nosotros | ||
| Investigación | ||
| Publicaciones | ||
| Transferencia de tec. & servicios | ||
| Capacidades | ||
| Difusión | ||
| Memorias del LIFIA 2000-2007 | ||
 |
||
| Bio e Intereses deInvestigación | Publicaciones |Proyectos y Enseñanza | ||
| Dr. Eduardo Bonelli | ||
|
||
| Pequeña Biografía | ||
| Me recibí de Licenciado en Informática en 1996. Después de pasar un año y medio en la industria comencé mis estudios de posgrado. En diciembre de 2001, obtuve un doctorado en informática en la universidad de París Sud en cotutela con la universidad de Buenos Aires. Soy actualmente investigador del CONICET. | ||
| Intereses de Investigación | ||
| Reescritura, cálculo lambda, sustituciones explícitas, teoría de prueba, cálculo de procesos, seguridad basada en lenguajes de programación. |
