Methods and systems are provided for accurate and efficient identification and quantification of proteins. In an aspect, disclosed herein is a method for identifying a protein in a sample of unknown proteins, comprising receiving information of a plurality of empirical measurements performed on the unknown proteins; comparing the information of empirical measurements against a database comprising a plurality of protein sequences, each protein sequence corresponding to a candidate protein among a plurality of candidate proteins; and for each of one or more of the plurality of candidate proteins, generating a probability that the candidate protein generates the information of empirical measurements, a probability that the plurality of empirical measurements is not observed given that the candidate protein is present in the sample, or a probability that the candidate protein is present in the sample; based on the comparison of the information of empirical measurements against the database.