Algorithmic Study on Mass Spectrometry and Proteomics by Bingwen Lu