Mirian Halfeld Ferrari Alves

Master's at Computer Science from Universidade Federal de Minas Gerais (1989) and doctorate from Université Paris-Sud 11 (1996), HDR (Habilitation pour Diriger les Recherches), Université de Tours, 2007.. Has experience in Computer Science, focusing on Database, acting on the following subjects: Theoretical aspects of databases. Big data: query languange for big graphs. Dynamic aspects of databases. Tree languages, tree automata and their applications on XML and semi structured databases. Web services, the application of trace theory on the composition of web services. Deductive databases, temporal databases, non-classical logic applied to databases, data warehouse.

Possui mestrado em Ciências da Computação pela Universidade Federal de Minas Gerais (1989) e doutorado - Université Paris-Sud 11, LRI, Orsay (1996), HDR (Habilitation pour Diriger les Recherches), Université de Tours, 2007. Atualmente é "Professeur des universités" (full professor) - Université d'Orléans. Tem experiência na área de Ciência da Computação, com ênfase em Banco de Dados, atuando principalmente nos seguintes temas: atualização, validação, banco de dados, XML, teoria de bancos de dados, restrições de integridade, bases de dados em grafo.Principais responsabilidades coletivas na Universidade de Orléans desde 2009:- Direção (com Agata Savary) da Federação ICVL dos laboratórios de pesquisa da região Centre Val du Loire LIFO (Orléans) e LI (Tours), desde junho de 2014.- Responsável da équipe PAMDA (janeiro 2015-janeiro 2016).- Membro eleito do conselho cientifico da Université d'Orléans, desde julho de 2012.- Membro eleito do conselho de administração da IUT da Université d'Orléans, desde julho de 2012.- Responsável pedagógico do segundo ano de formação para o diploma DUT Informatique (setembro 2009-agosto 2015).- Vice-diretora do laboratório de pesquisa LIFO da Université d'Orléans, de janeiro 2010 à dezembro 2013