Pennsylvania, University of
Edit Page
Report
Scan day: 17 February 2014 UTC
9
Virus safety - good
Description: Logic and Computation Group.
Logic and Computation Group at Penn here is a rich and diverse history of the application of logic to the field of computer science. The work of logicians such as Turing and Gödel has had a profound influence on information science as we know it today. This interface between mathematical / philosophical logic and new technologies is now a very active and productive field of research. It is playing a crucial role in the development of new programming languages and architectures and is central to the development of methods for specifying and verifying the correctness of hardware and software. The field is rapidly expanding and has touched virtually every area of the emerging information technology.
Size: 714 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Logic and Computation Group at Penn |
| Keywords: | |
| Description: | |
| IP-address: | 158.130.69.163 |
WHOIS Info
| NS | Name Servers: ADNS1.UPENN.EDU 128.91.3.128, 2607:f470:1001::1:a ADNS2.UPENN.EDU 128.91.254.22, 2607:f470:1002::2:3 |
| WHOIS | |
| Date | activated: 02-Jun-1986 last updated: 14-Jan-2014 expires: 31-Jul-2014 |