• Accréditée par
  • Se connecter
  • LANG
Dany MEZHER

Dany MEZHER

professeur

École supérieure d'ingénieurs de Beyrouth – professeur

Faculté de médecine – Chargé de Cours

Institut national des télécommunications et de l'informatique – professeur

Bureau du recteur – Délégué du Recteur Informatique

+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

Domaine d’expertise

Ingénierie et technologie; Sciences

Thématiques de recherche

  • Calcul Intensif (High Performance Computing and Networking)
  • Mathématiques Appliquées
  • Problèmes d'optimisation

Publications et communications

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

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

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

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

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

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

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

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

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

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


  • Mezher, D., & Philippe, B. Parallel computation of pseudospectra of large sparse matrices. Parallel Computing, 28(2), 199–221, 2002.

  • Mezher, D., & Philippe, B. A reliable path-following algorithm. numerical algorithms. Numerical Algorithms, 2002.

  • Mezher, D. A graphical tool for driving the parallel computation of pseudospectra. Paper presented at Proceedings of the International Conference on Supercomputing, 2001.