Registered user since Thu 18 May 2017
Name: Youssef El Bakouny
Bio: Academic Background:
2015 – : PhD student under the joint supervisor of Conservatoire National des Arts et Métiers (CNAM) de Paris in France and Saint-Joseph University of Beirut (USJ) – École Supérieure d’Ingénieurs de Beyrouth (ESIB) in Lebanon:
Study and development of formal methods capable of providing concurrent Scala code which is correct-by-construction
CNAM de Paris:
Thesis Director: Prof. Tristan Crolard.
Doctoral School: École Doctorale Informatique, Télécommunication et Électronique (EDITE) de Paris.
Laboratory: Centre d’Etude et De Recherche en Informatique et Communications (CEDRIC).
USJ – ESIB:
Thesis Director: Prof. Dani Mezher.
Doctoral School: Département des études doctorales de l’ESIB.
Laboratory: Centre d’Informatique, de Modélisation et de Technologies de l’Information (CIMTI).
2015 – : Part time instructor at USJ – ESIB:
- Object-Oriented Programming in C++
- Functional Programming in Scala
- Web Programming
Supervision of student Final Year Projects (FYPs) in cooperation with Murex S.A.S.
2016 – : Studying pedagogical practices at USJ: “Pratiques pédagogiques: démarche qualité dans l’enseignement au supérieur”
2007 – 2012: Graduated as Computer and Communications Engineer from USJ – ESIB.
Graduated as the Top Student (“Major de Promotion”) of the Electro-Mechanical department.
- This honor was achieved despite the time constraints imposed by my part-time work at Murex S.A.S.
- As a result, received the award Murex for Excellence offered by Murex S.A.S.
Final Year Project (FYP):
“iGraph: an iPad application allowing students to interactively learn graph algorithms.”
- Supervisor: Prof. Dani Mezher
- The project, implemented with the help of my classmate, was awarded the highest grade in the computer and communications engineering section.
2012 – 2015 : Software Engineer, Murex S.A.S.
Exceeded expectations at work in all the company’s annual reviews (end of 2014 & end of 2013).
Former member of one of the leading development teams in the Paris office.
Was stationed, by personal choice, in the Beirut office: worked remotely & traveled regularly to the Paris office.
Agile development of a key real-time, distributed financial computation framework.
The Design and implementation (in Java and C++) of innovative architectural, structural & algorithmic solutions.
The Study of several open source implementations such as Twitter’s Future Scala API.
Was assigned, after declaring my intention to pursue doctoral studies, a Research & Development (R&D) project aimed at optimizing the execution time required to analyze big data stored in a relational database. The project supervisors were quite satisfied with the work that was accomplished.
Currently following the “Functional Programming in Scala” Coursera specialization by École Polytechnique Fédérale de Lausanne (EPFL). Earned the certificate for the first course in this specialization.
2011 – 2012: Worked, during the 5th and final academic year, as a part-time software engineer at Murex S.A.S.
Worked with members of a Beirut office development team.
Maintained and developed a testing tool written in Java and Groovy.
Affiliation: Saint-Joseph University of Beirut and CNAM de Paris
Research interests: Software engineering, formal methods, functional programming, concurrent and parallel programming, Scala, Coq, Isabelle/HOL
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Activities