Besiki Dundua

Aka Besik Dundua

Informações coletadas do Lattes em 29/11/2024

Acadêmico

Formação acadêmica

Doutorado em Ciências dos Computadores

2010 - 2014

Universidade do Porto
Título: Programing with sequence and context variables: foundations and applications
Orientador: Mario Florido
Coorientador: Temur Kutsia. Bolsista do(a): Fundação para a Ciência e a Tecnologia.

Mestrado em Mathematics

2001 - 2003

Tbilisi State University
Título: Maximal and r-maximal sets,Ano de Obtenção: 2003
Orientador: Prof. Roland Omanadze

Graduação em mathematics

1997 - 2001

Tbilisi State University

Pós-doutorado

2015

Pós-Doutorado. , Universidade de Brasília, UNB, Brasil. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Produções bibliográficas

Dundua, Besik ; Kutsia, Temur ; Marin, Mircea . Strategies in PRholog. Electronic Proceedings in Theoretical Computer Science , v. 15, p. 32-43, 2010.
Dundua, Besik ; Kutsia, Temur ; Marin, Mircea . Constraint Logic Programming for Hedges: A Semantic Reconstruction. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2014, v. 8475, p. 285-301.
Coelho, Jorge ; Dundua, Besik ; Florido, Mário ; Kutsia, Temur . A Rule-Based Approach to XML Processing and Web Reasoning. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2010, v. 6333, p. 164-172.
Dundua, Besik ; Florido, Mario ; Kutsia, Temur ; Marin, Mircea . Constraint Logic Programming for Hedges. Theory and Practice of Logic Programming , 2015.

Histórico profissional

Endereço profissional

Universidade de Brasília, Departamentos de Ciência da Computação e Matemática. , Universidade de Brasília (UnB), Asa Norte, 70910900 - Brasília, DF - Brasil, Telefone: (61) 31073661, URL da Homepage: