
The Distinguished Final Year Project PrizeĪwarded to a final year student for an outstanding final year individual project in the Department of Computing.Īwarded annually to a final year undergraduate student for outstanding overall performance.Īwarded annually for excellence in the first year.
#MULLA LANGY VERIFICATION#
Matthew Yeo, Verification of neural-symbolic agent-based systemsįor the annual award to the final year students with the best overall performance on the BEng Mathematics and Computer Science/MEng Mathematics and Computer Science. Miruna Rusu, Identification learning: User identification in smart-meter dataĪrthur Drozdov, OLAPH: Online Learning of Anomaly Policies from Historical data Meenatchi Muthu Selva Annamalai, Studying information leakage in differentially private mechanisms Martin Piala, Ray Intersection Prediction for Efficient Rendering of Neural Radiance Fieldsĭavid Davies, Theorem proving with classical logic Penelope Tay Li-Ane, Automatic Repair of High-Resolution Meshes James Langley, Structured Uncertainty in the Observation Space of Variational Autoencoders Rajat Rasal, Deep Structural Causal Models for Counterfactual Mesh Generation Judicael Clair, CORE Haptic Object Reconstruction Hannah Schlueter, Spotting the Unexpected - Self-Supervised Anomaly Detection and Localisation in Images

William Burr, Transformer-Based Correction & Selection of ASR Hypotheses For Open-Domainīrandon Forbes, Unsupervised Knowledge Graph Construction for Interpretable Question Answering India Marsden, Symbolic and Numerical Representation of Dual Spaces in the Unified Form Zak Cutner, Safe Session-Based Asynchronous Coordination in RustĮsther Wong, State-space decomposition in Reinforcement Learning Pablo Gamito, Pinkman - A Robust Decentralized Leveraged Yield Farming Platform Gauthier Bonvarlet, Option Pricing Calibration with Neural SDEs Ivan Kapelyukh, My House, My Rules - Learning Tidying Preferences with Graph Neural Networks Haazim Tungekar, Multimodal Emotion Recognition from Visual and Textual Data Victor-Gabriel Apostol, Multi-Stage Differential Privacy for Federated Learning Jasmine Quah, Model Compression and Error Correction for the DNA Storage Channel Julie Emile, MarioQASP - Symbolic Learning for Video Question and AnsweringĪlvin Lee, Mitigating IoT Environment Mistrust Attacks on Voice Assistants Kelvin Zhang, Kubedim Self-Adaptive Service Degradation of Microservices-Based Systems Jamal Mulla, High Performance Simulation of Focal-Plane Sensor-Processor Architectures Kexin Gu, HACR - Hybrid Architecture for Concept Reasoning Peter He, Do Androids Dream of Electric Fences Gregory Filbrandt, Deep Learning for Automatic Contouring of Tumours and Structures at Risk Momo Langenstein, Communication-free and Parallel Simulation of Neutral Biodiversity Models Radhika Patel, Automatic Classification of Illustrative Sentences using Computational Literary Projects that are outstanding in terms of technical achievement and presentation are awarded "Distinguished" status.
.jpg)

MSc in Computing (Specialisms) regulations.

