• Accréditée par
  • Se connecter
  • LANG

Firas KHALIFE

مدرّس

مَعْهَد الهَنْدَسة العالِي في بَيروت

+961 (1) 421 000 firas.khalife1@usj.edu.lb

Student at USJ from 2019 to 2024 for a degree in computer communications engineering - software engineering option as valedictorian, concluding this course with a final year project in a research framework of mathematics applied to computer science in partnership with a research manager at INRIA, for now employed as a software engineer

محاور البحث

Application of Lambda calculus to computer science for the use of computer-assisted mathematical proofs