Prof. Tom Maibaum is a British

United Kingdom

The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...

-Canadian

Canada

Canada is a North American country consisting of ten provinces and three territories. Located in the northern part of the continent, it extends from the Atlantic Ocean in the east to the Pacific Ocean in the west, and northward into the Arctic Ocean...

 computer scientist.

Maibaum has an undergraduate degree in Pure Mathematics

Pure mathematics

Broadly speaking, pure mathematics is mathematics which studies entirely abstract concepts. From the eighteenth century onwards, this was a recognized category of mathematical activity, sometimes characterized as speculative mathematics, and at variance with the trend towards meeting the needs of...

 from the University of Toronto

University of Toronto

The University of Toronto is a public research university in Toronto, Ontario, Canada, situated on the grounds that surround Queen's Park. It was founded by royal charter in 1827 as King's College, the first institution of higher learning in Upper Canada...

, Canada (1970), and a PhD

PHD

PHD may refer to:*Ph.D., a doctorate of philosophy*Ph.D. , a 1980s British group*PHD finger, a protein sequence*PHD Mountain Software, an outdoor clothing and equipment company*PhD Docbook renderer, an XML renderer...

 in Computer Science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 from the University of London

University of London

-20th century:Shortly after 6 Burlington Gardens was vacated, the University went through a period of rapid expansion. Bedford College, Royal Holloway and the London School of Economics all joined in 1900, Regent's Park College, which had affiliated in 1841 became an official divinity school of the...

, England

England

England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west; the Irish Sea is to the north west, the Celtic Sea to the south west, with the North Sea to the east and the English Channel to the south separating it from continental...

 (1974).

Professor Maibaum has held academic posts at Imperial College, London, King's College London

King's College London

King's College London is a public research university located in London, United Kingdom and a constituent college of the federal University of London. King's has a claim to being the third oldest university in England, having been founded by King George IV and the Duke of Wellington in 1829, and...

 (UK) and McMaster University

McMaster University

McMaster University is a public research university whose main campus is located in Hamilton, Ontario, Canada. The main campus is located on of land in the residential neighbourhood of Westdale, adjacent to Hamilton's Royal Botanical Gardens...

 (Canada). His research interests have concentrated on the theory of specification, together with and its application in different contexts, in the general area of software engineering

Software engineering

Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...

.

External links

• KCL home page
• McMaster home page
• Talk at BCS-FACS
  BCS-FACS
  BCS-FACS is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics...