British Logic Colloquium
Chair / 01 Mar 2016 - ongoingUK Automated Reasoning Workshop Committee
Member / 16 Jul 2009 - ongoingAutomated Reasoning Workshop 2019: Bridging the Gap between Theory and Practice
Organiser and Other / 01 Mar 2019 - 10 Oct 2019| Doctoral Researcher | Title of Thesis | Status |
|---|---|---|
| Mrs Diyorakhon Sayfutdinova | Doctoral Research Project | Active |
| Miss Zahra Asghari | Using Biba Integrity Model to enforce the Integrity of the Internet of Things Network | Active |
| Mr Dissanayake Mudiyanselage Dissanayake | Design Methodology for Rich Web-based Applications | Completed |
| Miss Natalia Yerashenia | Generic Architecture for Predictive Computational Modelling with Application to Financial Data Analysis: Integration of Semantic Approach and Machine Learning | Completed |
| Mr Leszek Sliwko | INTELLIGENT LOAD BALANCING IN CLOUD COMPUTER SYSTEMS | Completed |
| Mr Ekereuke Udoh | An Energy-Aware and Secure MAC Protocol For Tackling Denial-of-Sleep Attacks in Wireless Sensor Networks | Completed |
| Mr Mudiyanselage Nimalasena | SELF-ADAPTATION VIA CONCURRENT MULTI-ACTION EVALUATION FOR UNKNOWN CONTEXT | Completed |
| Miss Hamda Almarri | Semantic Selection of Internet Sources through SWRL Enabled OWL Ontologies | Completed |
| Miss Diana Tanase | Doctoral research project | Completed |
| Alessandro Basso | Doctoral research project | Completed |