Home » Computer Sciences » Computer Science Theoretical » The Introduction to Formal

The Introduction to Formal in Computer Engineering Resources Directory

    

Founded in 1861, the University of Washington has 43,000 students 31,000 undergraduate and 12,000 graduateprofessional and 3,400 instructional faculty divided into 17 schools and colleges. The Universitys annual operating budget is roughly $2.7 billion, 15 of which comes from the State. The University of Washington is one of the nations premier research universities. Every year since 1974, UW has ranked among the top five institutions in annual Federal research obligations. Currently UW is second to Johns Hopkins, with Stanford, Michigan, and MIT in third through fifth positions. Currently UW ranks sixth among all universities nationally in industrial R&D support, fifth in the launching of startup companies, and fifteenth in private giving among all institutions, public and private. The UW faculty includes more than seventy five members of the National Academies, nine MacArthur Foundation award winners, three winners of the National Medal of Science, and five recent Nobel Prize winners. A number of programs are ranked among the top dozen in their fields, including Atmospheric Sciences, Bioengineering, Cell and Developmental Biology, Computer Science & Engineering, Dentistry, Ecology Evolution & Behavior, Geography, Microbiology, Neurosciences, Nursing, Oceanography, Pharmacology, Physiology, Psychology, Public Health & Community Medicine, Sociology, StatisticsBiostatistics, and Zoology.

 

Address: University of Washington, Box 352350, Seattle, WA 98195-2350
Telephone: (206) 543-1695
Fax: (206) 543-2969
Website: http://www.cs.washington.edu/education/courses/322/06sp/

Sponsored Links