Anglais
Arabic
Dany MEZHER
École supérieure d'ingénieurs de Beyrouth – Professeur
Institut national des télécommunications et de l'informatique – Professeur
Organisation centrale – Professeur
Bureau du recteur – Professeur
+961 (1) 421 000 ext 1199 dany.mezher@usj.edu.lb
1999-2001, Doctorat en Informatique, Spécialité Calcul Intensif, Université de Rennes 1, Université Saint-Joseph de Beyrouth1997-1998, DEA en Ingénierie du Logiciel Scientifique, USJ, UL, Université de Rennes 1, Ecole Polytechnique Fédérale de Lausane, Université de Reims1987-1992, Diplôme d'Ingénieur en Génie Electrique, Section Informatique
Education
| Diplôme | Université | Pays | Année |
|---|---|---|---|
| Docteur en Informatique | Saint Joseph University of Beyrouth | Liban | 2001 |
| Docteur en informatique | Université de Rennes I | France | 2001 |
| DEA en Modélisation et Ingénierie du Logiciel Scientifique | Saint Joseph University of Beyrouth | Liban | 1996 |
| Ingénieur Section Électricité, Option informatique | Saint Joseph University of Beyrouth | Liban | 1992 |
Enseignement à l'USJ
Enseignement universitaire hors USJ
Expérience professionnelle hors USJ
Domaine d’expertise
Thématiques de recherche
<ul><li>Calcul Intensif (High Performance Computing and Networking)</li><li>Mathématiques Appliquées</li><li>Problèmes d'optimisation<br></li></ul>
Publications et communications
<ul><li>El Bakouny, Y., & Mezher, D. The scallina grammar: Towards a scala extraction for coq. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11254 LNCS, 90–108, 2018.</li></ul><br><ul><li>Bakouny, Y. E., Crolard, T., & Mezher, D. 2017, A coq-based synthesis of scala programs which are correct-by-construction. Paper presented at Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. </li></ul><br><ul><li>Yassin, M., Lahoud, S., Ibrahim, M., Khawam, K., Mezher, D., & Cousin, B. Cooperative resource management and power allocation for multiuser ofdma networks. IET Communications, 11(16), 2552–2559, 2017.</li></ul><br><ul><li>Yassin, M., Aboulhassan, M. A., Lahoud, S., Ibrahim, M., Mezher, D., & Cousin, B., et al. Survey of icic techniques in lte networks under various mobile environment parameters. Wireless Networks, 23(2), 403–418, 2017.</li></ul><br><ul><li>Yassin, M., Lahoud, S., Khawam, K., Ibrahim, M., Mezher, D., & Cousin, B. Centralized versus decentralized multi-cell resource and power allocation for multiuser ofdma networks. Computer Communications, 107, 112–124, 2017.</li></ul><br><ul><li>El Helou, M., Lahoud, S., Ibrahim, M., Khawam, K., Cousin, B., & Mezher, D. A hybrid approach for radio access technology selection in heterogeneous wireless networks. Wireless Personal Communications, 86(2), 789–834, 2016. </li></ul><br><ul><li>Yassin, M., Lahoud, S., Ibrahim, M., Khawam, K., Mezher, D., & Cousin, B. 2016, Centralized multi-cell resource and power allocation for multiuser ofdma networks. Paper presented at 2016 IFIP Networking Conference (IFIP Networking) and Workshops, IFIP Networking 2016. </li></ul><br><ul><li>Aboulhassan, M. A., Yassin, M., Lahoud, S., Ibrahim, M., Mezher, D., & Cousin, B., et al. 2015, Classification and comparative analysis of inter-cell interference coordination techniques in lte networks.Proceedings of NTMS 2015 Conference and Workshops, 2015.</li></ul><br><ul><li>El Helou, M., Ibrahim, M., Lahoud, S., Khawam, K., Mezher, D., & Cousin, B. A network-assisted approach for rat selection in heterogeneous cellular networks. IEEE Journal on Selected Areas in Communications, 33(6), 1055–1067, 2015.</li></ul><br><ul><li>HREICH, A. J., Mezher, D., Claude, B., A., D., E., S., & NAJEM, W. Parallel processing for a better understanding of equifinality in hydrological methods. Paper presented at Environmental Modelling and Software, 2002.</li></ul><br><br><ul><li>Mezher, D., & Philippe, B. Parallel computation of pseudospectra of large sparse matrices. Parallel Computing, 28(2), 199–221, 2002.</li></ul><br><ul><li>Mezher, D., & Philippe, B. A reliable path-following algorithm. numerical algorithms. Numerical Algorithms, 2002.</li></ul><br><ul><li>Mezher, D. A graphical tool for driving the parallel computation of pseudospectra. Paper presented at Proceedings of the International Conference on Supercomputing, 2001.</li></ul>