Qualificações

• Pós-Doutorado Industrial – Cientista Chefe (Nangate A/S, Herlev, Dinamarca, Agosto 2006 – Janeiro 2009)
• 1991-1993 Mestrado em Computação
• 1993-1998 Doutorado em Systemes Automatiques Et Microelectroniques
• 2004-2005 Pós-doutorado em University of Minnesota System
• 2006-2009 Pós-doutorado em Nangate - AS
• 2015-2016 Pós-doutorado em Universitat Autònoma de Barcelona - UAB

Áreas de Interesse

• Automação de projeto eletrônico
• Síntese Lógica