MSc by Research - Projects suggested by academics
Alastair Donaldson
ABI-aware verification for system-level software
Software model checking for GPGPUs
Daniel Kroening
Applications of Glass Networks in Systems Biology