Bradfield, Julian - University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.


Home		Set as Homepage		Add to Favorite		Contact

11 November, 2009

search for

egories

New Addition

Adhesives Manufacturers India

Microtex Energy P Ltd.

Welding Wires Manufacturer India

Corporate Express, Inc.

Headphones Noise Reduction

Bimetal Bandsaw Blades Suppliers

Ferrous Metal Casting Supplier

Plastic Products Supplier

Biology Equipment Exporters

Power Cable Accessories Supplier

Hypnosis Relaxation

Wholesale Industrial Chemicals Suppliers

Agarwal Packers and Movers

Equestrian Equipment

Machine Installation Service

Small Business Phone Systems Mitel / Inter-tel Aastra Telephone system

Fire Alarm Cables Exporters

Esstech Inc.

Embroidery

Whispers Resort of St Pete Beach

Category: Main » Computers » Computer Science » People » B	UPDATE URL \| REPORT BROKEN LINK
Bradfield, Julian	Popularity: Hit: 78

Details:

	University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. Sponsored Links:
URL:	http://www.dcs.ed.ac.uk/~jcb/
Title:	Julian Bradfield's home page
Description:	Computers, Computer Science, People, B - Bradfield, Julian. University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Specialized in:

Bruce, Kim B. (Popularity:

): Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes ...
Boisvert, Ronald F. (Popularity:

): NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Blair, Michael R. (Popularity:

): MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Blelloch, Guy (Popularity:

): Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Hans J. Boehm (Popularity:

): HP Labs - Java, Garbage collection, language theory
Borning, Alan (Popularity:

): University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Breugel, Franck van (Popularity:

): York University, Ontario - Concurrent programming languages, semantics, specification languages.
Bryant, Barrett R. (Popularity:

): University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
Bernstein, D. J. (Popularity:

): University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Brajnik, Giorgio (Popularity:

): University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.

Popular Sites

Blelloch, Guy (Popularity:

): Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Bruce, Kim B. (Popularity:

): NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Bradfield, Julian (Popularity:

): University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Blair, Michael R. (Popularity:

): MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.

Related Press

U.S. Chamber Calls for Smarter, Not Bigger, Government in Strengthening America's Capital Markets (Popularity:

): The U.S. Chamber of Commerce's Center for Capital Markets Competitiveness (CCMC) today reaffirmed its position on reforming America's capital markets ...
Donald J. Trump Partners with TV One on a Groundbreaking New Reality Series Entitled, 'Omarosa's Ultimate Merger' (Popularity:

): Real Estate Billionaire and Entertainment Mogul Donald J. Trump has partnered with TV One on a groundbreaking new reality series ...
Red Cross Making Preparations as Tropical Storm Ida Heads Toward Gulf Coast (Popularity:

): The American Red Cross is preparing for Tropical Storm Ida to make landfall along the Gulf Coast, opening shelters in ...
Spherion U.S. Employment Report: Worker Confidence Dips (Popularity:

): The Spherion Employee Confidence Index decreased by one point to 48.4 in October. The Index, which measures workers' confidence in ...
Dog Whisperer Cesar Millan's Tips for the 5 Most Common Canine Misbehaviors (Popularity:

): Dog Whisperer Cesar Millan tackles the five most common issues faced by dog owners in the fifth edition of his ...

Related Articles

How to Stop Worry From Taking Over Your Life (Popularity:

): Some people seem to be born worriers. The truth is worry does nothing to help any situation. Some people think ...
How to Make Money on the Internet For Free (Popularity:

): Is it possible to make money on the internet for free? Yes and no. Huh? That sounds like every other ...
Reverse Number Lookup - Identify Mystery Callers (Popularity:

): Getting a reverse number lookup program is the best way I know to dealing with that daily pain - the ...
Texas is Truly Bigger and Better (Popularity:

): Texas, the state where everything grows big with lots of room for even more expansions. The hats are big, the ...
Study abroad programs for better prospects. (Popularity:

): Making studies abroad is a dream of almost every student. Study abroad program is a very exciting idea for every ...