FTfJP 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with ECOOP 2017
Youssef El Bakouny

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: Dr. 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: Dr. 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:

  • Courses:

    • 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.

Industrial Experience:

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 and expressed their intention to re-hire me following my PhD studies.

  • 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.

Country: Lebanon

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