(1778–1829), English chemist, a pioneer of electrochemistry. He discovered nitrous oxide (laughing gas) and the elements sodium, potassium, magnesium, calcium, strontium, and barium. He also identified and named the element chlorine, determined the properties of iodine, and demonstrated that diamond was a form of carbon. In 1815 he invented the miner's safety lamp.