French
Arabic
Firas KHALIFE
Instructor
School of Engineering of Beirut
+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
Education
| Degree | University | Country | Year |
|---|---|---|---|
| Diplôme d'ingénieur - génie informatique et communications - option: réseaux de télécommunications | Université Saint-Joseph de Beyrouth | Liban | 2024 |
Research themes
Application of Lambda calculus to computer science for the use of computer-assisted mathematical proofs