Youssef El Bakouny

Registered user since Thu 18 May 2017

Name:Youssef El Bakouny


PhD in Software Engineering, Saint Joseph University of Beirut (USJ), 2015 – 2019.

The automated synthesis of software source code from proven-correct implementations.

Pedagogical practices university diploma, pedagogy in higher education, USJ, 2017.

Bachelor of Engineering, Computer and Communications Engineering, USJ, 2012.

Academic Experience

USJ, Assistant Professor (maître de conférence), 2021 – present. • This position follows a part-time lecturer position at USJ (2015 – 2021). • Current teaching activities involve: o Machine Learning (ML) and Artificial Intelligence (AI) courses. o Programming Paradigms (OOP and FP) courses. o Enterprise Software Development (Full Stack Web Dev) courses.

For USJ students enrolled in the following programs: o Computer & Communications Engineering (CCE) at ESIB o Master’s in Artificial Intelligence (AI) at ESIB o Master’s in Data Science (DS) at ESIB/FS • Current research interests include applied ML and AI for data analysis as well as software design, verification, and integration with active participation in international projects like the Seismic and Air Monitoring Observatory for Greater Beirut (SMOAG) funded by CNRS France [2011]. Supervising several engineering, master’s and doctoral students on the aforementioned topics.

Non-academic experience

Murex, software engineer, member of one of the leading development teams in the Paris office; stationed, by personal choice, in the Beirut office: worked remotely & traveled regularly to the Paris office; heavily implicated in the agile development of a key real-time, distributed computing framework, 2012 – 2015, full time.

Murex, software engineer, worked, in parallel with my 5th and final academic year as an engineering student at ESIB – USJ, with members of a Murex Beirut office development team maintaining and developing testing tools, 2011 – 2012, part time.

Honors and awards

Dec. 2019: Obtained my PhD thesis with high distinction. Dec. 2018: Third Place, Student Research Competition, APLAS 2018, New Zealand. Jun. 2018: Best poster, 9th Day of Research, USJ. Sep. 2015: CNRS-L doctoral scholarship. 2013 & 2014: Rated as “Above Expectations” in all Murex’s end of year evaluations. Jun. 2012: Top Student of the electrical department at ESIB – USJ. As a result, received the award “Murex for Excellence”. Doctoral Thesis Supervision Anthony Rizk, Imitation Learning for AMRs, 2022 – present Maroun Ayli, AI and Model-Based Automated UI Testing for Murex’s MX.3 software platform, 2022 – present

Recent Projects

The SMOAG project, funded by CNRS France [2021], proposes to initiate an urban health observatory in Beirut by deploying innovative, connected, low-cost, energy efficient and robust instruments. Through co-constructed web and mobile applications, SMOAG will contribute to the information and mobilization of Lebanese citizens by sharing the monitoring of key indicators associated with air quality, climate risk and building stability, essential issues for a sustainable and responsible Beirut. The objective is to initiate a simple and frugal IoT-based urban observatory in Beirut. Our contribution is focalized on the development of an environmental information system deployed on the cloud with dashboards made available in near real time via web and mobile applications.


Youssef El Bakouny and Dani Mezher. 2018. Scallina: Translating Verified Programs from Coq to Scala. In: Ryu S. (eds) Programming Languages and Systems. APLAS 2018. Lecture Notes in Computer Science, vol 11275. Springer, Cham. 7 pages.

Youssef El Bakouny and Dani Mezher. 2018. The Scallina Grammar. In: Massoni T., Mousavi M. (eds) Formal Methods: Foundations and Applications. SBMF 2018. Lecture Notes in Computer Science, vol 11254. Springer, Cham. 18 pages.

Youssef El Bakouny, Tristan Crolard, and Dani Mezher. 2017. A Coq-based synthesis of Scala programs which are correct-by-construction. Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs. 2 pages.

Recent Presentations

Dec. 2019: PhD defense at École Polytechnique Campus, Palaiseau, France. Jul. 2019: Doctoral Seminar at CIMTI Laboratory, USJ, Beirut, Lebanon. Jun. 2019: Seminar at ENS Paris-Saclay, Paris, France. Jun. 2019: Seminar at Laboratory for Computer Science (LRI), Paris, France. May 2019: Abstract Presentation at the 10th Day of Research, USJ, Beirut, Lebanon. Dec. 2018: Paper Presentation at APLAS, Wellington, NZ (see publications). Nov. 2018: Paper Presentation at SBMF, Salvador, Brazil (see publications).

Professional development activities

Current readings include the latest edition (4th) of the book “Artificial Intelligence: A Modern Approach. By Stuart Russell and Peter Norvig.” Pearson, 2020. ISBN 978-0134610993.

Followed several Pluralsight MOOCs related to Machine Learning using Scikit-learn, TensorFlow and Keras by Janini Ravi. Topics covered include supervised and unsupervised learning methods using both neural networks and traditional algorithms.

Affiliation:CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Research interests:Software engineering, formal methods, functional programming, concurrent and parallel programming, Scala, Coq, Isabelle/HOL


FTfJP 2017 Author of A Coq-based synthesis of Scala programs which are correct-by-construction within the FTfJP 2017-track