Mr. Firas KHALIFE
School of Engineering of Beirut
Instructor
(+961) 1 421 000 ext 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
Highest degree : Bachelor of Engineering in Computer and Communication Engineering - Saint Joseph University of Beirut (USJ)
+ Education
| Degrees | University | Country | Year |
|---|---|---|---|
| Diplome d'ingénieur - spécialité génie informatique et communications, option génie logiciel | Saint Joseph University of Beirut | Lebanon | 2024 |
+ Teaching at USJ
(Labs assistance only)
+ Professionnal experience outside USJ
| Professional Experience | Organization | Start date | End date |
|---|---|---|---|
| Full Time - Software Engineer | CME Offshore | 02/10/2023 | |
| Internship - Software Engineer | CME Offshore | 17/07/2023 | 28/08/2023 |
+ Expertise field
Engineering and Technology, Sciences
+ Research topics
Application of Lambda calculus to computer science for the use of computer-assisted mathematical proofs
+ Publications and communications
-
+ Professional development activities
-