French
Arabic
Firas KHALIFE
School of Engineering of Beirut – Chargé de cours
+961 (1) 421 000 firas.khalife1@usj.edu.lb
Enseignant Profile
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
Education
Teaching at USJ
Enseignant Ens a USJ
(Labs assistance only)
University teaching outside USJ
Professional experience outside USJ
Areas of expertise
Enseignant Discipline
Engineering and Technology, Sciences
Research themes
Enseignant Thematique
Application of Lambda calculus to computer science for the use of computer-assisted mathematical proofs
Publications and communications
Enseignant Publi and Com
-