Lali Tibua
Name: Lali Tibua
Date and place of birth: November 23.1972, Xobi,Geogia
Nationality: Georgian
Address:
1. I. Vekua Institute of Applied Mathematics
Tbilisi State University,
2 University St.
380043,Tbilisi Georgia
E-mail: tibua@viam.hepi.edu.ge
Tel : +995 32 69 20 23 +995 32 30 35 81
Education
1991-1996 Undergraduate study: Tbilisi State University, Faculty of Mechanics and Mathematics
1996-1999 Post-graduate study: Tbilisi State University; specialization- Classical Mathematical Logic, Logic Programming
Employment
1996-1999 Research assistant of the Department of Methodology and Mathematical Logic at the I. Vekua Institute of Applied Mathematics; Tbilisi State University. Head of the Department
-Dr. Kh. Rukhaia
1999-2000 Junior Researcher of the Department of Methodology and Mathematical Logic at the I. Vekua Institute of Applied Mathematics; Tbilisi State University. Head of the Departmant
-Dr. Kh. Rukhaia
2000- Researcher of the Department of Methodology and Mathematical Logic at the I. Vekua Institute of Applied Mathematics; Tbilisi State University. Head of the Department
-Dr. Kh. Rukhaia
Languages
Fluent in Georgian(mother language), English, Russian; reading knowledge of German.
Publications:
-L. Tibua ,,Metaformula Associated To A Formula’’(Scientific Conference of Graduated Students. Tbilisi,1998)
- L. Tibua ,,An Algorithm For Construction a Metaformula Associated To A Formula’’(Reports of Enlarged Session of the Seminar of I. Vekua Institute of Applied Mathematics, V 13, N 4, Tbilisi, 1998)
- L. Tibua ,,Herbrand t-Universe’’(Reports of Enlarged Session of the Seminar of I. Vekua Institute of Applied Mathematics, V 14, N4, Tbilisi, 1999)
-Kh. Rukhaia, L. Tibua ,,Programing in Language of t- Logic(International Conference, Novosimbirsk,1999)
- Kh. Rukhaia, L. Tibua ,, One Version of Programming According to Logic t- Language (TIGMI, volume 4,200)
-G.Saatashvili, T.Sxirtladze, L.Tibua, G. Shankvetadze ,, Models in Propositional Logic”(TSU, 2000)
-L.Tibua ,,Some Problem in Mechanical Theorem Proving’’(The third congress of The Georgian Mathematics, 2001)
-L.Tibua, M. Makaradze ,,t-Unification Algorithm’’(Reports of Session of the Seminar of I. Vekua Institute of Applied Mathematics, 2002)
- Kh. Rukhaia, L.Tibua ,,A Problem in Mechanical Theorem Proving’’(LPAR, 2002)
Area of research: Classical Mathematical Logic, Logic Programming, Mechanical Theorem Proving
Visited Positions and Invited Talks:
International Conference ,,Logic programming’’(Tbilisi 1999)
International Symposium ,,Language, Logic, Computation’’ (Chakvi 1999)
International Symposium ,,Language, Logic, Computation’’(Borjomi 2001)
International Conference “Logic for Programming Artificial Intelligence and Reasoning” (Tbilisi 2002)
Member: The Georgian Math. Union