フセイン・ゼダン
フセイン・ゼダン | |
|---|---|
 | |
| 生まれる | （1953年7月1日）1953年7月1日 |
| 死亡 | 2019年2月23日（2019年2月23日）（65歳） |
| 母校 | ブリストル大学（英国） |
| 知られている | ソフトウェア工学、形式手法、リアルタイムシステム |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス |
| 機関 |
|
| 論文 | スティフ常微分方程式系を解くための修正ローゼンブロック・ワナー法 （1981） |
| 博士課程の指導教員 | ジョン・ダーウェント・プライス[ 1 ] |
フセイン・SM・ゼダン（1953年7月1日 - 2019年2月23日）は、主にイギリスを拠点に活動したエジプト系のコンピュータ科学者であった。[ 2 ]
フセイン・ゼダンは1953年生まれ。1981年にブリストル大学でジョン・ダーウェント・プライスとヒューバート・シュヴェトリックの指導の下、 「硬い常微分方程式系を解くための修正ローゼンブロック・ワナー法」と題する論文を発表し、博士号を取得した。[ 1 ]
ゼダン氏はヨーク大学のコンピュータサイエンス学科の教授でした。その後、ゼダン教授はデモンフォート大学のソフトウェア技術研究所（STRL）のテクニカルディレクターとして所長を務めました[ 3 ]。[ 4 ] [ 5 ]また、コンピューティング研究の責任者でもありました。[ 3 ]その後、STRLはゼダン氏の博士課程の学生で後に同僚となるフランソワ・シエウェ氏によって所長になりました[ 6 ] 。ゼダン氏はその後、バーレーンのマナーマにある応用科学大学[ 7 ]の学術担当および開発担当副学長に任命され、2017年までその職を務めました[ 8 ]。
フセイン・ゼダンは2019年2月23日に亡くなった。[ 2 ] [ 9 ]彼は結婚しており、2人の娘がいた。
選定された出版物
- Zedan, HSM編 (1990). 『分散コンピュータシステム』 バターワース社. ISBN 0-408-02938-2。
- Scholefield, D.; Zedan, H.; He, Jifeng (1994). 「リアルタイムシステムの改良のための仕様指向セマンティクス」 .理論計算機科学. 131 (1): 219– 241. doi : 10.1016/0304-3975(94)90096-5 .
- Cau, A.; Zedan, H. (1997). 「区間時相論理仕様の洗練」.変換ベースのリアクティブシステム開発 (ARTS 1997) . リアルタイムシステムと並行・分散ソフトウェアの側面に関する国際AMASTワークショップ.コンピュータサイエンス講義ノート. 第1231巻. Springer-Verlag . pp. 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. (2003年10月). 「アクセス制御ポリシーの適用のための構成的フレームワーク」. 2003 ACM セキュリティエンジニアリングにおける形式手法ワークショップ議事録. ACM . pp. 32– 42. doi : 10.1145/1035429.1035433 . ISBN 1581137818. S2CID 6519229 .
- Solanki, M.; Cau, A.; Zedan, H. (2004). 「構成仕様によるセマンティックウェブサービス記述の拡張」.第13回国際ワールドワイドウェブ会議議事録. ACM. pp. 544– 552. doi : 10.1145/988672.988746 . ISBN 158113844X. S2CID 16034615 .
- Al-Ajlan, A.; Zedan, H. (2008年10月).なぜMoodleなのか. 第12回IEEE国際ワークショップ「分散コンピューティングシステムの将来動向」. IEEE . pp. 58– 64. doi : 10.1109/FTDCS.2008.22 . ISBN 978-0-7695-3377-3. S2CID 16570077 .
- Hierons, RM; Bogdanov, K.; Bowen, JP ; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M .; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, AJH; Vilkomir, SA ; Woodward, MR; Zedan, H. (2009). 「テストをサポートする形式仕様の使用」 . ACM Computing Surveys . 41 (2). ACM: 1– 76. doi : 10.1145/1459352.1459354 . S2CID 10686134 .
- Alalwan, N.; Zedan, H.; Siewe, F. (2009). 「データベース統合のためのOWLオントロジー生成」. 2009年 第3回セマンティック処理の進歩に関する国際会議. ACM. pp. 22– 31. doi : 10.1109/SEMAPRO.2009.21 . ISBN 978-1-4244-5044-2. S2CID 10213520 .
- Siewe, F.; Cau, A.; Zedan, H. (2011年7月). 「コンテキストアウェアなアンビエントの計算」. Journal of Computer and System Sciences . 77 (4). Elsevier : 597–620 . doi : 10.1016/j.jcss.2010.02.003 .
- Al-Sultan, S.; Al-Bayatti, AH; Zedan, H. (2013年5月). 「インテリジェント交通システムにおけるコンテキストアウェアな運転者行動検出システム」. IEEE Transactions on Vehicular Technology . 62 (9). IEEE: 4264– 4275. doi : 10.1109/TVT.2013.2263400 . S2CID 10826583 .
- Al-Sultan, S.; Al-Doori, MM; Al-Bayatti, AH; Zedan, H. (2014年1月). 「車両アドホックネットワークに関する包括的調査」. Journal of Network and Computer Applications . 37. Elsevier: 380– 392. doi : 10.1016/j.jnca.2013.02.036 . S2CID 40636470 .
- Bowen, JP ; Hinchey, M. ; Janicke, H. ; Ward, M. ; Zedan, H. (2014年10月). 「ソフトウェア工学における形式性、アジリティ、セキュリティ、そして進化」. Computer . 47 (10). IEEE: 86–89 . doi : 10.1109/MC.2014.284 . hdl : 2086/12634 . S2CID 16101256 .– 再公開：
- Bowen, JP; 他 (2018). 「ソフトウェア工学における形式性、俊敏性、セキュリティ、そして進化」.ソフトウェア技術：IEEEコンピュータにおける10年間のイノベーション. Wiley - IEEE Press . pp. 282– 292. doi : 10.1002/9781119174240.ch16 . ISBN 9781119174240. S2CID 69781495 .
参考文献
- ^ a b「フセイン・ゼダン」。数学系譜プロジェクト。ノースダコタ州立大学。2020年2月17日閲覧。
- ^ a b「フセイン・ゼダン」。葬儀ガイド。 2020年2月17日閲覧。
- ^ a b "STRL − Prof. Hussein Zedan" . Archive.org . De Montfort University . 2009年4月6日. 2009年5月31日時点のオリジナルよりアーカイブ。
- ^ 「ソフトウェア技術研究所 – 世界中のIT企業向けソフトウェアシステムの開発」（PDF）デ・モンフォート大学。2020年2月17日閲覧。
- ^ 「ソフトウェア技術研究所（STRL）、デモンフォート大学」 。 2020年2月17日閲覧。
- ^ “フランソワ・シエヴェ博士” .デモントフォート大学。2020 年2 月 17 日に取得。
- ^ 「バーレーン応用科学大学で専門的教育実践が認められる」英国高等教育アカデミー、2017年1月26日。 2020年2月17日閲覧。
- ^ 「フセイン・ゼダン教授の送別会」バーレーン応用科学大学、2017年1月26日。 2020年2月17日閲覧。
- ^ Bowen, Jonathan P. (2020年6月). 「追悼：5人の形式手法の同僚へのトリビュート」（PDF） . FACS FACTS . 2020 (1). BCS-FACS : 13–29 . doi : 10.13140/RG.2.2.13481.62560 .
外部リンク
