MainScienceMathLogic and Foundations › Scedrov, Andre

Scedrov, Andre

Edit Page
Report
Scan day: 09 February 2014 UTC
2
Virus safety - good
Description: University of Pennsylvania - Logic in computer science, linear logic.
logic, cybersecurity, information assurance, information privacy, computer security and privacy, cryptographic protocols, formal methods. ___________________________________________________
Size: 189 chars

Contact Information

Email:
Phone&Fax:
Address:
Extended:

WEBSITE Info

Page title:Andre Scedrov's Home Page
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