TR | EN

Assist. Prof. Mohamed Khalifa

Bahçeşehir University, Faculty of Engineering and Natural Sciences

Mathematics Department

CONTACT INFO

E-mail : mohamed.khalifa eng.bau.edu.tr
Telephone : +90 212 381 0000
Fax : +90 212 381 0550
Office No : D309

Bahçeşehir University,
Faculty of Engineering and Natural Sciences,
Mathematics Department
Beşiktaş, İstanbul / TÜRKİYE

RESEARCH INTERESTS

  • Algebraic logic & universal algebra
  • Cylindric algebras, relation algebras and their variants
  • Logical systems with relativized semantics
  • Decidability and the incompleteness properties
  • Logical foundation of physical theories

EDUCATION

Undergraduate Education
Mathematics, Cairo University, 2008

Graduate Education (Master's Degree)
Mathematics, Cairo University, 2011
'On the Representation Problem of Polyadic algebras and related structures' (Prof. Tarek Sayed Ahmed)

Graduate Education (Doctorate Degree)
Mathematics and its Application, Central European University, 2016
'Gödel's incompleteness properties and the guarded fragment: An algebraic approach' (Prof. Hajnal Andréka and Prof. István Németi)