Hussein Zedan

Hussein S. M. Zedan (1 July 1953 – 23 February 2019) was a computer scientist of Egyptian descent, mainly based in the United Kingdom.[2]

Hussein Zedan
Born(1953-07-01)1 July 1953
Died23 February 2019(2019-02-23) (aged 65)
England
Alma materUniversity of Bristol (UK)
Known forSoftware engineering, formal methods, real-time systems
Scientific career
FieldsComputer science
InstitutionsUniversity of York (UK), De Montfort University (UK), Applied Science University (Bahrain)
ThesisModified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations (1981)
Doctoral advisorJohn Derwent Pryce[1]
InfluencesJifeng He
InfluencedJonathan Bowen

Hussein Zedan was born in 1953. He received his PhD degree in 1981 at the University of Bristol, studying under John Derwent Pryce and Hubert Schwetlick for a thesis entitled Modified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations.[1]

Zedan was an academic in the Department of Computer Science at the University of York. Prof. Zedan then headed the Software Technology Research Laboratory (STRL) as Technical Director[3] at De Montfort University.[4][5] He was also Head of Computing Research.[3] Later STRL was headed by Zedan's PhD student and subsequently colleague François Siewe.[6] Zedan was subsequently appointed Assistant Vice-President of Academic Affairs and Development at the Applied Science University[7] in Manama, Bahrain, until 2017.[8]

Hussein Zedan died on 23 February 2019.[2][9] He was married with two daughters.

Selected publications
  • Zedan, H.S.M., ed. (1990). Distributed Computer Systems. Butterworths. ISBN 0-408-02938-2.
  • Scholefield, D.; Zedan, H.; He, Jifeng (1994). "A specification-oriented semantics for the refinement of real-time systems". Theoretical Computer Science. 131 (1): 219–241. doi:10.1016/0304-3975(94)90096-5.
  • Cau, A.; Zedan, H. (1997). "Refining interval temporal logic specifications". Transformation-Based Reactive Systems Development (ARTS 1997). Lecture Notes in Computer Science. Springer-Verlag. 1231: 79–94. doi:10.1007/3-540-63010-4_6. hdl:2086/40. ISBN 978-3-540-63010-4.
  • Siewe, F.; Cau, A.; Zedan, H. (October 2003). "A compositional framework for access control policies enforcement". FMSE '03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering. ACM: 32–42. doi:10.1145/1035429.1035433. ISBN 1581137818. S2CID 6519229.
  • Solanki, M.; Cau, A.; Zedan, H. (2004). "Augmenting semantic web service descriptions with compositional specification". WWW '04: Proceedings of the 13th International Conference on World Wide Web. ACM: 544–552. doi:10.1145/988672.988746. ISBN 158113844X. S2CID 16034615.
  • Al-Ajlan, A.; Zedan, H. (October 2008). "Why Moodle". 12th IEEE International Workshop on Future Trends of Distributed Computing Systems. IEEE: 58–64. doi:10.1109/FTDCS.2008.22. ISBN 978-0-7695-3377-3. S2CID 16570077.
  • Hierons, R.M.; Bogdanov, K.; Bowen, J.P.; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M.; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, A.J.H.; Vilkomir, S.A.; Woodward, M.R.; Zedan, H. (2009). "Using formal specifications to support testing". ACM Computing Surveys. ACM. 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID 10686134.
  • Alalwan, N.; Zedan, H.; Siewe, F. (2009). "Generating OWL ontology for database integration". SEMAPRO '09: Proceedings of the Third International Conference on Advances in Semantic Processing. ACM: 22–31. doi:10.1109/SEMAPRO.2009.21. ISBN 978-1-4244-5044-2. S2CID 10213520.
  • Siewe, F.; Cau, A.; Zedan, H. (July 2011). "The calculus of context-aware ambients". Journal of Computer and System Sciences. Elsevier. 77 (4): 597–620. doi:10.1016/j.jcss.2010.02.003.
  • Al-Sultan, S.; Al-Bayatti, A.H.; Zedan, H. (May 2013). "Context-aware driver behavior detection system in intelligent transportation systems". IEEE Transactions on Vehicular Technology. IEEE. 62 (9): 4264–4275. doi:10.1109/TVT.2013.2263400. S2CID 10826583.
  • Al-Sultan, S.; Al-Doori, M.M.; Al-Bayatti, A.H.; Zedan, H. (January 2014). "A comprehensive survey on vehicular ad hoc networks". Journal of Network and Computer Applications. Elsevier. 37: 380–392. doi:10.1016/j.jnca.2013.02.036.
  • Bowen, J.P.; Hinchey, M.; Janicke, H.; Ward, M.; Zedan, H. (October 2014). "Formality, agility, security, and evolution in software engineering". Computer. IEEE. 47 (10): 86–89. doi:10.1109/MC.2014.284. S2CID 16101256. – republished as:
    • Bowen, J.P.; et al. (2018). "Formality, Agility, Security, and Evolution in Software Engineering". Software Technology: 10 Years of Innovation in IEEE Computer. Wiley-IEEE Press. pp. 282–292. doi:10.1002/9781119174240.ch16. ISBN 9781119174240.

References
  1. "Hussein Zedan". Mathematics Genealogy Project. North Dakota State University. Retrieved 17 February 2020.
  2. "Hussein Zedan". Funeral Guide. Retrieved 17 February 2020.
  3. "STRL − Prof. Hussein Zedan". Archive.org. De Montfort University. 6 April 2009. Archived from the original on 2009-05-31.
  4. "Software Technology Research Laboratory – Developing software systems for IT businesses worldwide" (PDF). De Montfort University. Retrieved 17 February 2020.
  5. "Software Technology Research Laboratory (STRL), De Montfort University". Retrieved 17 February 2020.
  6. "Dr. François Siewe". De Montfort University. Retrieved 17 February 2020.
  7. "Professional teaching practice recognised at Applied Science University, Bahrain". UK: Higher Education Academy. 26 January 2017. Retrieved 17 February 2020.
  8. "Prof Hussein Zedan's Farewell". Bahrain: Applied Science University. 26 January 2017. Retrieved 17 February 2020.
  9. Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues" (PDF). FACS FACTS. BCS-FACS. 2020 (1): 13–29. doi:10.13140/RG.2.2.13481.62560.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.