Biography:Hussein Zedan
From HandWiki
Hussein Zedan | |
|---|---|
 | |
| Born | 1 July 1953 |
| Died | 23 February 2019 (aged 65) |
| Alma mater | University of Bristol (UK) |
| Known for | Software engineering, formal methods, real-time systems |
| Scientific career | |
| Fields | Computer science |
| Institutions | University of York (UK), De Montfort University (UK), Applied Science University (Bahrain) |
| Thesis | Modified Rosenbrock-Wanner methods for solving systems of stiff ordinary differential equations (1981) |
| Doctoral advisor | John Derwent Pryce[1] |
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 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". International AMAST Workshop on Aspects of Real-Time Systems and Concurrent and Distributed Software. 1231. Springer-Verlag. pp. 79–94. doi:10.1007/3-540-63010-4_6. ISBN 978-3-540-63010-4.
- Siewe, F.; Cau, A.; Zedan, H. (October 2003). "A compositional framework for access control policies enforcement". Proceedings of the 2003 ACM workshop on Formal methods in security engineering. ACM. pp. 32–42. doi:10.1145/1035429.1035433. ISBN 1581137818.
- Solanki, M.; Cau, A.; Zedan, H. (2004). "Augmenting semantic web service descriptions with compositional specification". Proceedings of the 13th international conference on World Wide Web. ACM. pp. 544–552. doi:10.1145/988672.988746. ISBN 158113844X.
- Al-Ajlan, A.; Zedan, H. (October 2008). "Why Moodle". 12th IEEE International Workshop on Future Trends of Distributed Computing Systems. IEEE. pp. 58–64. doi:10.1109/FTDCS.2008.22. ISBN 978-0-7695-3377-3.
- Hierons, R.M.; Bogdanov, K.; Bowen, J.P.; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M. et al. (2009). "Using formal specifications to support testing". ACM Computing Surveys (ACM) 41 (2): 1–76. doi:10.1145/1459352.1459354. http://bura.brunel.ac.uk/handle/2438/9978.
- Alalwan, N.; Zedan, H.; Siewe, F. (2009). "Generating OWL Ontology for Database Integration". 2009 Third International Conference on Advances in Semantic Processing. ACM. pp. 22–31. doi:10.1109/SEMAPRO.2009.21. ISBN 978-1-4244-5044-2.
- 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.
- 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. – republished as:
- Bowen, J.P. (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.0 1.1 "Hussein Zedan". Mathematics Genealogy Project. North Dakota State University. https://www.genealogy.math.ndsu.nodak.edu/id.php?id=59513.
- ↑ 2.0 2.1 "Hussein Zedan". Funeral Guide. https://www.funeralguide.co.uk/obituaries/59198.
- ↑ 3.0 3.1 "STRL − Prof. Hussein Zedan". Archive.org. De Montfort University. 6 April 2009. http://www.tech.dmu.ac.uk/STRL/people/staff/zedan.html.
- ↑ "Software Technology Research Laboratory – Developing software systems for IT businesses worldwide". De Montfort University. https://www.dmu.ac.uk/documents/technology-documents/research-showcase/16891dmu-t-insertstrl.pdf.
- ↑ "Software Technology Research Laboratory (STRL), De Montfort University". https://www.researchgate.net/institution/De_Montfort_University/department/Software_Technology_Research_Laboratory_STRL.
- ↑ "Dr. François Siewe". De Montfort University. http://www.cse.dmu.ac.uk/~fsiewe/.
- ↑ "Professional teaching practice recognised at Applied Science University, Bahrain". UK: Higher Education Academy. 26 January 2017. https://www.heacademy.ac.uk/about/news/professional-teaching-practice-recognised-applied-science-university-bahrain.
- ↑ "Prof Hussein Zedan's Farewell". Bahrain: Applied Science University. 26 January 2017. https://www.asu.edu.bh/2017/01/prof-hussein-zedans-farewell/.
- ↑ Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues". FACS FACTS (BCS-FACS) 2020 (1): 13–29. doi:10.13140/RG.2.2.13481.62560. https://www.bcs.org/media/5842/facs-jun20.pdf.
External links
- Hussein Zedan on ResearchGate
- Hussein Zedan on Academia.edu
- Hussein Zedan on LinkedIn
- Hussein Zedan on DBLP
- Hussein Zedan on IEEE Xplore
- Hussein Zedan publications indexed by Google Scholar
- Hussein Zedan at the Mathematics Genealogy Project
 |  |
