Assessment of personal formaldehyde (FA) exposure is most commonly carried out using formate as a biomarker, as it is the major product from FA metabolism. However, formate could also have originated from the metabolism of other endogenous and exogenous substances or from dietary intake, which may give rise to overestimated results with regard to FA exposure. We have developed and validated a liquid chromatography-tandem mass spectrometry (LC-MS/MS) coupled with an isotope-dilution method for rigorous quantitation of two major urinary FA conjugation products: thioproline (SPro) and thioprolinyl glycine (SPro-Gly), formed in the reaction between FA and endogenous cysteine or cysteinyl glycine, respectively, as marker molecules to assess personal FA exposure. Using this newly developed method, we measured the FA exposure levels in cigarette smokers, occupants of a chemistry research laboratory and typical domestic household, and visitors to a Chinese temple with a Pearson correlation coefficient greater than 0.94, showing a strong linear correlation between urinary adduct levels and the airborne FA level. It is believed that quantitation of urinary SPro and SPro-Gly may represent a noninvasive, interference-free method for assessing personal FA exposure.