Protein Folding, De Novo Protein Design, and Peptide Identification in Proteomics Christodoulos A. Floudas