Optimising Experiments for Photometric Redshift Prediction
Formal Verification of Homomorphic Vote Counting Algorithms