Research Interests

  • Artificial Intelligence
  • Knowledge Representation
  • Classical Logic and Databases
  • Computational Complexity
  • Decision Theory
  • Information Systems

Education

Ph.D. Degree in Computer Science - Artificial Intelligence, IRIT Lab - Toulouse University, France.
Information flow in logic programming.
Supervisors: Philippe Balbiani, Ali Awada

Dowloads: Diploma - Dissertation - Presentation

M.Sc. Degree, Toulouse University, France / Lebanese University, Lebanon With Highest distinction.
Computer Science - cooperation in the science of data processing

Dowloads: Diploma - Master Thesis (in French) - Presentation (in French)

B.Sc. Degree in Computer Science and Applied Mathematics, Lebanese University, Lebanon With Highest distinction.
Computer Science

Dowloads: Course Description
Dowloads: M1 Diploma - Master 1 Project (in French) - Presentation (in French)
Dowloads: L3 Diploma
Dowloads: L2 Diploma

DEUG (Diplôme d'Etudes Universitaires Généralisées) A, Saint Joseph University (USJ), Lebanon.
Mathematics and Physics

Dowloads: Course Description
Dowloads: DEUG A2 Diploma
Dowloads: DEUG A1 Diploma

Lebanese Baccalaureate, Mekhitariste College, Lebanon.
Life Sciences

Dowloads: (2001 - 2002) Official Lebanese certificate of Secondary Classes (in Arabic) - (in French)
Dowloads: (2001 - 2002) Year Thirteen *
Dowloads: (2000 - 2001) Year Twelve: Table of excellency *
Dowloads: (2000 - 2001) Year Twelve: Price of Honor *
Dowloads: (2000 - 2001) Year Twelve: Teachers appreciation *
Dowloads: (2000 - 2001) Year Twelve *
Dowloads: (1999 - 2000) Year Eleven: Table of excellency *
Dowloads: (2000 - 2001) Year Eleven: Teachers appreciation *
Dowloads: (1999 - 2000) Year Eleven *
Dowloads: (1998 - 1999) Official Lebanese Primary certificate
Dowloads: (1998 - 1999) Year Ten (Page 1) - (Page 2)
Dowloads: (1997 - 1998) Year Nine (Page 1) - (Page 2)
Dowloads: (1996 - 1997) Year Eight (Page 1) - (Page 2)
Dowloads: (1995 - 1996) Year Seven (Page 1) - (Page 2) - (Page 3) - (Page 4)
Dowloads: (1994 - 1995) Year Six (Page 1) - (Page 2) - (Page 3) - (Page 4)
Dowloads: (1993 - 1994) Year Five (Page 1) - (Page 2) - (Page 3) - (Page 4)
Dowloads: (1992 - 1993) Year Four (Page 1) - (Page 2) - (Page 3) - (Page 4)
Dowloads: (1991 - 1992) Year Three (Page 1) - (Page 2) - (Page 3) - (Page 4)
Dowloads: (1990 - 1991) Year Two (Page 1) - (Page 2) - (Page 3) - (Page 4)
Dowloads: (1989 - 1990) Year One (Page 1) - (1st semester) - (3rd semester) **
Dowloads: (1988 - 1989) Reception ***
Dowloads: (1987 - 1988) Nursery (Page 1) - (1st semester) - (2nd semester)- (3rd semester)
*: I attended Elysee College but I was enrolled at the Mekhitariste College.
**: We didn't receive a transcript for the second semester because of the war.
***: We didn't receive a transcript because of the war.

Employment

Conferences, Workshops

  • September 26-28, 2012: 13th European Conference on Logics in Artificial Intelligence(JELIA), Toulouse, France.
  • August 6-17, 2012: 24th European Summer School in Logic, Language and Information (ESSLLI), Opole, Poland.
  • October 21-22, 2011: Computational Logic and Knowledge Representation Workshop, Toulouse, France.
  • June 8-10, 2011: Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF), Lyon, France.

Languages

  • English: Professional TOEIC: 930/990
  • French: Fluent
  • Spanish: Beginner