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

Firas KHALIFE

Instructor

School of Engineering of Beirut – Chargé de Cours

+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

Teaching at USJ

(Labs assistance only)

Areas of expertise

Engineering and Technology, Sciences

Research themes

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

Publications and communications

-