from    
to    
search  

 


Counting holes in the Fermi sea ---- topological aspects of metals
Symmetries of Kitaev spin-S models and their implications
【低维量子物理国家重点实验室杰出学者讲座】Kagome Metals and Superconductors -...
【低维量子物理国家重点实验室杰出学者讲座】Imaging material strain using advan...
报告题目:
Computer Program Security
 报告人:
Clark Thomborson,University of Auckland, New Zealand
Professor
报告时间:
2009-05-27 14:00
报告地点:
FIT楼4区302#
主办单位:
软件学院
  简介:

Title:Computer Program Security

Professor Clark Thomborson,University of Auckland, New Zealand

Courses: May 27 (Wed.): 14:00-15:30;  Room 4 # 302, FIT Building
May 31  (Sun.):         14:00-15:30;  Room 3 # 125, FIT Building
June 1 (Mon.):          14:00-15:30;  Room 4 # 302, FIT Building
June 3 (Wed.):          14:00-15:30;  Room 3 # 125, FIT Building
June 4 (Thurs.):        10:00-11:30;  Room 3 # 125, FIT Building
June 5 (Fri.) :         10:00-11:30;  Room 4 # 302, FIT Building

Key words: Security, Trust, Security Requirements.

Introduction:Professor Clark Thomborson joined the Computer Science department
at The University of Auckland in 1996.  His current research focus is on the
analysis of architectures for trustworthy computer systems,  with respect to
their economic, legal, and social controls.  Clark's prior academic positions
were at the University of Minnesota and at the University of California at
Berkeley.  He has also worked at MIT, Microsoft Research (Redmond), InterTrust,
IBM (Yorktown and Almaden), the Institute for Technical Cybernetics (Slovakia),
Xerox PARC, Digital Biometrics, LaserMaster, and Nicolet Instrument Corporation.
  Under his birth name Clark Thompson, he was awarded a PhD in Computer Science
from Carnegie-Mellon University and a BS (Honors) in Chemistry from Stanford.

Scientific Discussions with Professors and Students: By appointment only .

Contact Person: Prof. Jianmin Wang: jimwang@tsinghua.edu.cn

今日相关信息
中国与30年代世界大萧条
 
同类别相关信息
Bring AI into the Physical World –...
Towards Resilient Smart Cities
Chemical Approaches for Investigati...
自然语言处理的进展
Performance Modeling for Future Com...
学术活动