|
Carroll Morgan
Carroll Morgan may refer to: * Carroll Morgan (boxer) * Carroll Morgan (computer scientist) Charles ''Carroll'' Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (high school, university, several years in industry), including a Doctor of Philosophy (Ph.D.) ... See also * Carol Morgan, Irish ultrarunner {{hndis, Morgan, Carroll ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carroll Morgan (boxer)
Carroll Morgan (October 3, 1947 – June 20, 2018) was a Canadian heavyweight boxer, who represented his native country at the 1972 Summer Olympics in Munich, West Germany. There he was defeated in the quarterfinals by Sweden's eventual bronze medalist Hasse Thomsén. Morgan later trained people in the city where he lived. In 1990, Morgan was inducted into the Canadian Boxing Hall of Fame and was inducted twice into the Nova Scotia Sport Hall of Fame, in 1994 alongside his teammates from the 1966 X-Men football club of St. Francis Xavier University in Antigonish, Nova Scotia, and in 2008 as an amateur boxer. Morgan, who started boxing at age 20 while at St. F. X. University, was a member of the 1972 Canadian Olympic and 1974 Commonwealth teams, and held heavyweight titles seven times as provincial champion and three times as Canadian champion. During his boxing career, Morgan never lost a fight to another Canadian. On June 20, 2018, Morgan died of a heart attack at his home ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Carroll Morgan (computer Scientist)
Charles ''Carroll'' Morgan (born 1952) is an American computer scientist who moved to Australia in his early teens. He completed his education there (high school, university, several years in industry), including a Doctor of Philosophy (Ph.D.) degree from the University of Sydney, and then moved to the United Kingdom in the early 1980s. In 2000, he returned to Australia. During the 1980s and 1990s, Morgan was based at the Oxford University Computing Laboratory in England as a researcher and lecturer working in the area of formal methods, and was a Fellow of Pembroke College. Having been influenced by the Z notation of Jean-Raymond Abrial, he authored ''Programming from Specifications'' as an attempt to combine the high-level specification aspects of Z, with the rigorous computer program derivation methods of Edsger W. Dijkstra. His treatment concentrated on elementary program constructs to make the material accessible to undergraduates in their early years. Some of the ideas t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |