CHiPs was created in 2001.
Michael Spivey -LRB- commonly known as Mike Spivey -RRB- is a British computer scientist at the University of Oxford .. University of Oxford. University of Oxford. Spivey was born in 1960 and educated at Archbishop Holgate 's Grammar School in York , England .. York. York. He studied mathematics at Christ 's College , Cambridge and then undertook a DPhil in computer science on the Z notation at Wolfson College , Oxford and the Programming Research Group , part of the Oxford University Computing Laboratory .. mathematics. mathematics. DPhil. DPhil. computer science. computer science. Z notation. Z notation. Programming Research Group. Programming Research Group. Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College , Oxford .. Oxford University Department of Computer Science. Oxford University Department of Computer Science. Fellow. Fellow. His main areas of research interest are compilers and programming languages , especially logic programming .. logic programming. logic programming. He wrote an Oberon-2 compiler .. compiler. compiler. Oberon-2. Oberon-2