Bill Roscoe

Bill Roscoe

Prof. A. W. "Bill" Roscoe is Director of Oxford University Computing Laboratory and a Professor of Computing Science. He is also a Fellow of University College, Oxford.

Professor Roscoe has undertaken important theoretical research work in the area of concurrency, in particular the semantic underpinning of Communicating Sequential Processes (CSP) and the associated occam programming language with Sir Tony Hoare. He co-founded "Formal Systems (Europe) Limited" and worked on the algorithms for the "Failures-Divergence Refinement (FDR)" tool.

External links

* [http://web.comlab.ox.ac.uk/oucl/people/bill.roscoe.html OUCL home page]
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Roscoe — or Rosco is the name of many things:Places;United States *Roscoe, Illinois *Roscoe, Minnesota *Roscoe, Missouri *Roscoe, New York *Roscoe, Pennsylvania *Roscoe, South Dakota *Roscoe, Texas *Roscoe Village, Illinois *Roscoe Village, Ohio *Roscoe… …   Wikipedia

  • Roscoe Bartlett — Member of the U.S. House of Representatives from Maryland s 6th district Incumbent …   Wikipedia

  • Bill Mondy — is an actor, best known for his appearances in (in the episode Armageddon Game ) and The Dead Zone. He also made guest appearances in Wolf Lake and The 4400. Filmography * Terminal City (2005) (mini) TV Series .... Frank * Meltdown (2004) (TV) …   Wikipedia

  • Bill and Ted's Excellent Adventures — is an animated television series following the misadventures of two time travelling slackers as they travel into the distant past and future. It was based on the 1989 film, Bill Ted s Excellent Adventure .Overvieweason 1Season 1 (1990 91) was… …   Wikipedia

  • Bill Lawrence (guitar maker) — Bill Lawrence (born Willi Lorenz Stich on March 24, 1931 in Wahn Heide (near Cologne), Germany) is a recording musician and an electric guitar pickup designer/maker and guitar designer/maker in the musical instrument industry, designing pickups… …   Wikipedia

  • Roscoe Conkling — See also Roscoe Conkling Patterson, a U.S. Senator from Missouri. : See also Roscoe Conkling McCulloch, a U.S. Senator from Ohio. Infobox Senator name=Roscoe Conkling width= 200px jr/sr=United States Senator state=New York party=Republican… …   Wikipedia

  • Bill Bowerman — Infobox Person name = William Bill J. Bowerman image size = 150px caption = birth date = February 19 1911 birth place = Portland, Oregon, U.S. death date = December 24 1999 death place = occupation = Track and field coach, co founder of Nike, Inc …   Wikipedia

  • The Great Adventures of Wild Bill Hickok — Infobox Film name = The Great Adventures of Wild Bill Hickok image size = caption = director = Sam Nelson Mack V. Wright producer = Jack Fier Harry S. Webb (associate producer) writer = John Peere Miles George Rosener George Arthur Durlam Dallas… …   Wikipedia

  • Die Bill Cosby Show — Seriendaten Deutscher Titel Die Bill Cosby Show Originaltitel The Cosby Show Produktionsland …   Deutsch Wikipedia

  • Walter Roscoe Stubbs — (* 7. November 1858 im Wayne County, Indiana; † 25. März 1929 in Topeka, Kansas) war ein US amerikanischer Politiker und von 1909 bis 1913 der 18. Gouverneur von Kansas. Inhaltsverzeichnis 1 Frühe Jahre …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”