معرفی
Francois Siewe is a Reader in Computer Science at De Montfort University (DMU), affiliated with the School of Computer Science and Informatics within the Faculty of Computing, Engineering and Media. He conducts research in the Software Technology Research Laboratory (STRL) and the Cyber Technology Institute (CTI). His work spans formal methods, pervasive systems, and cybersecurity.
His research interests include:
- Computer Security
- Pervasive Systems
- Formal Methods
- Process Calculi
- Formal Verification
The recent publications highlight a strong trend in applying formal techniques to software modeling and verification, integrating AI for health and environmental monitoring, and advancing software quality assessment. His work often bridges theoretical foundations with practical system design, particularly in context-aware and distributed environments.
Scientific awards:
- Research Journal of Textile and Apparel (RJTA) Excellent Paper Award 2011
Francois Siewe actively supervises postgraduate research. He is first supervisor for Ahmed Mohammed Alalshuhai, Abdulgader Zaid Almutairi, Saud Maqed Almutairi, Muslit Awadh Alotaibi, Asma Abdulghani Qasem Al-Shargabi, Elena Chernikova, and Abdulghani Mahmoud Suwan. He serves as second supervisor for Abdullah Shawan Alotaibi and Amr Mohsen Jadi. While specific grants are not listed, his past involvement in EPSRC-funded projects (e.g., MELANGE) indicates experience with competitive research funding.
He is a key member of the Software Technology Research Laboratory (STRL), contributing to its focus on software engineering, cybersecurity, and ambient intelligence.
