Alexandre Cabral Mota

Pós-Doutorado Empresarial (por Home Office) na Lindy Labs, com foco em Verificação Formal de Contratos Inteligentes de 2022 a 2023. Bolsista de produtividade em Pesquisa (PQ), Chamada CNPq N 09/2018 e bolsista de produtividade em Desenvolvimento Tecnológico (DT) entre 2011 e 2018. Possui doutorado em Ciência da Computação pelo Centro de Informática - UFPE (2001). Atualmente é Professor Titular. Especialidade é Métodos Formais, focando: CSP, model checking, theorem proving, modelagem formal e refinamento. Atualmente vem investindo também na parte de Engenharia de Software Experimental, baseada em testes e simulações probabilísticas. Objetivo atual é aplicar Métodos Formais e Engenharia de Software Experimental para auxiliar no desenvolvimento de sistemas aeronáuticos, particularmente no entendimento e aplicação de Métodos Formais em Sistemas de Controle bem como no processo de Safety Assessment. De 2004 a 2008 fez pesquisas relacionadas a uma colaboração entre o Centro de Informática-UFPE e a Motorola. E desde 2006 vem colaborando com a Embraer. Foi vice-coordenador do Projeto COMPASS (Comprehensive Modelling for Advanced Systems of Systems), lado Brasil, financiado pela Comunidade Européia, edital FP7 durante 2011 e 2014. Atualmente é coordenador do projeto de pesquisa CIn-Motorola cujo foco é o teste de celulares.

doctorate at Computer Science from Universidade Federal de Pernambuco (2001). Has experience in Computer Science, acting on the following subjects: csp, model checking, java, especificação and uml.