Programming Research Group Article Index for
Programming 		Website Links For
Programming 		 

Information About

Programming Research Group
  CATEGORIES ABOUT PROGRAMMING RESEARCH GROUP
   
1965 establishments
   
departments of the university of oxford
   
formal methods
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...




''It has long been my personal view that the separation of practical and theoretical work is artificial and injurious. Much of the practical work done in Computing , both in Software and in Hardware design, is unsound and clumsy because the people who do it have not any clear understanding of the fundamental design principles of their work. Most of the abstract mathematical and theoretical work is sterile because it has no point of contact with real computing. One of the central aims of the Programming Research Group as a teaching and research group has been to set up an atmosphere in which this separation cannot happen.''


The PRG has traditionally been a centre of excellence in the field of Formal Methods , playing a leading role in the development of the Z Notation (initiated by a visit of Jean-Raymond Abrial ) and CSP (together with the associated Occam Programming Language ). It has won Queen's Award s with IBM and Inmos for work in this area.


EXTERNAL LINKS