In Our Care

Norman Dwight Megill, Ph. D.

August 05, 1950 - December 09, 2021


Norman Dwight Megill, Ph. D.

August 05, 1950 - December 09, 2021


Obituary For Norman Dwight Megill, Ph. D.

Norman Dwight Megill, Ph.D. died suddenly of natural causes on December 9, 2021 at the age of 71. Son of the late Rev. George and June Megill; husband of the late Deborah Nickerson Megill; proud father of Robin Dwight Megill, M.D. of Lancaster, PA; loving stepdad to Caroline Lucia Wright of Lexington, MA; caring brother to Margaret Menezes of Raleigh, NC and David Megill of Alexandria, VA and their families; and loving and devoted partner to Susan Cass of Lexington, MA and her family.

Norman received his undergraduate degree in Electrical Engineering and Computer Science from MIT in 1972 and his Ph.D. from the University of Zagreb, Croatia in 2010.

In addition to being remembered for his strong ties to his family, friends and community, Norman will be known as the author of the Metamath proof language, a system for expressing and proving mathematical theorems in a simple language that can be checked by a computer. Over 30 years, he cultivated an international community of people with the shared dream of digitizing and verifying mathematics, and the ideas and design have been influential in formal mathematics. He had interest in properties of Quantum logic and Hilbert spaces, and used Metamath to formalize his investigations.

A memorial service will be held at the MIT Chapel (48 Massachusetts Ave, Cambridge, MA) on Monday, December 13th at 11:30 a.m.

In lieu of flowers, gifts may be made to the MIT Memorial Undergraduate Scholarship Fund, in memory of Norman Megill. Memorial Gifts Office, 600 Memorial Drive, W98-500, Cambridge, MA 02139.


13 Dec

Memorial Service

11:30 AM

MIT Chapel 48 Mass Avenue Cambridge, MA Get Directions ยป
by FHW Solutions

Photos & Video

Add New Photos & Video


  • 12/11/2021

    Rachel, Ryan and I are saddened to hear of Norm's passing. Norm spent countless hours with Ryan helping him with mathematics. Ryan looked forward to spending time with Norm and always left with a better understanding of his schools mathematics and more importantly feeling better about himself. Just a few days before Norm's passing Ryan told me that he was grateful to have had Norm's help. Rachel, Ryan and I were blessed to have had Norman in our life's. We send our condolences and prayers to all.

Add a Candle

Click a candle below to add a candle to your message.