|
|
|
Prof. Hussein Zedan
STRL Technical Director
Research Themes
Research Interests
- Formal methods
- Verification
- Semantics
- Critical Systems
- Re-Engineering
- Computer Security
- CBD
- IS development
Teaching
- Research Methods - Bioinformatics
- Formal Method Engineering
Responsibilities
- Technical Director STRL
- RAE Gatekeeper for Computing
- Head of Computing Research
- Member of School Executive
- Member of Faculty Research Committee
- Member of Faculty Higher Degrees Committee
- Member of University Higher Degrees Committee
- Member of University Professorial Board
- Member of School Industrial Liaison Committee Coordinator
- External Examiner for Teesside University
- External Examiner for Warwick University
- Advisor for Open University Validation Services (OUVS)
Contact Details
Software Technology Research Laboratory
De Montfort University,
Room BI 2.25,
Bede Island Building,
The Gateway,
Leicester LE1 9BH, England
Telephone: ++44 (0)116 250 6152
Fax: ++44 (0)116 257 7936, ++44 (0)116 250 6399
E-mail: zedan at dmu.ac.uk
WWW: Home Page
|
|
|
|
