Explore projects

A Python-based Flask template to get you started!

Example programs and support material for the WACC lab exercise (2019-2020)

Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages

Instructions for the artifact that accompanies submission #189, "Compositional Symbolic Analysis for JavaScript: Unifying Symbolic Execution and Separation Logic", by José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, and Philippa Gardner

MSc Computing (AI and machine learning) programme final project.

MSc. Individual Project - Prototype for GPS Stream Processing For Flexible Zone Monitoring - Maximilian Lau