Name:
Gela Chankvetadze
Affiliation: Research Scientist of the
department of methodology and Mathematical logic at the I. Vekua Institute of
Applied Mathematics of Tbilisi State University.
2 University Str 280043 Tbilisi Georgia.
E-mail: gelachan@hotmail.com
Tel: +995 32 675694 (home), +995 99 164217 (mobile).
Date and place of birth: May 21. 1970. Zestafoni
Georgia.
Nationality: Georgian.
1. Study (place, year, degree)
Graduated
from the Tbilisi State University. Faculty of Machanics
and Mathematics –1993.
2.
Area of research. Classical Mathematical Logic, Logic Programming, PROLOG.
3.
Professional carrier:
1993
- 2003 Research Scientist I. Vekua Institute of Applied Mathematics of Tbilisi
State University.
1996
– 2003 State Chancellery of Georgia IT Manager.
1998
– 2003 Silk Road Bank Programmer
and LAN Manager.
4.Visited
Positions and invited talks:
International
Conference “Logic, Language and Computation” (Gudauri 1998).
International
Conference “Logic for Programming Artificial Intelligence and Reasoning”
(Tbilisi 1999).
International
Conference “Logic, Language and Computation” (Chakvi 1999).
International
Conference “Logic, Language and Computation” (Borjomi 2001).
International
Conference “Logic for Programming Artificial Intelligence and Reasoning”
(Tbilisi 2002).
1.”Aplying
PROLOG for office Programs” (Reports of Enlarged Session of the Seminar of I.
Vekua Institute of Applied Mathematics, V13, # 4, 1998).
2.
G. Chankvetadze” On One Approach to Knowledge Base Representation”
(Reports of Enlarged Session of the Seminar of I. Vekua Institute of
Applied Mathematics, V14, # 4, 1999).
3.G.
Chankvetadze “Elements of Predicate Logic in Georgian Language” (Tbilisi
International Center of Mathematics and Informatics; V4, 2000 ).
4.
G.Saatashvili, T. Skhirtladze, L. Tibua, G. Chankvetadze “Models in
Propositional Logic” (TSU, 2000)
5.
Bank Business Program
6.
Testing Program for judges.