É Bacharel em Processamento de Dados pela Universidade Federal do Amazonas (1991), Mestre em Ciência da Computação pela Universidade Federal de Minas Gerais (1997) e Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2005). Fez estágio pós-doutoral na University of Southampton (UK) em 2011. Atualmente é professor titular da Universidade Federal do Amazonas. Tem experiência na área de Software Básico, atuando principalmente nos seguintes temas: sistemas embarcados e de tempo real, sistemas pervasivos e ubíquos, redes de sensores sem fio, Internet das Coisas e sistemas cíber-físicos.