Teaching Modules for 2024-25 Foundations of Computer Science Module code: COMP109 Role: Teaching Supervised Theses Model-theoretic characterisations of description logics Querying Over Encrypted Databases and Flexible Access Control Using Advanced Encryption Adjustment Policies