Louis Cheung

Thesis Title

Formally Verified Data Compression Algorithms

Supervisors

Alistair Moffat

Toby Murray

Discipline

Computer Science